de.uka.ilkd.key.logic

Class SortCollector

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.logic.SortCollector

All Implemented Interfaces:

Visitor

public class SortCollector
extends DefaultVisitor

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Sort>	sorts

Constructor Summary

Constructors

Constructor and Description
SortCollector()

Method Summary

Modifier and Type	Method and Description
java.util.Set<Sort>	getSorts()
void	visit(Term visited) the entry method for the visitor pattern

Methods inherited from class de.uka.ilkd.key.logic.DefaultVisitor

subtreeEntered, subtreeLeft, visitSubtree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sorts

private java.util.Set<Sort> sorts

Constructor Detail

SortCollector

public SortCollector()

Method Detail

getSorts

public java.util.Set<Sort> getSorts()

visit

public void visit(Term visited)

Description copied from interface: Visitor

the entry method for the visitor pattern

Parameters:

visited - the Term to be visited