| de.uka.ilkd.key.logic.op.SortDependingSymbol
All known Subclasses: de.uka.ilkd.key.logic.op.SortDependingFunction, de.uka.ilkd.key.logic.op.ArrayOp,
| SortDependingSymbol | | public interface SortDependingSymbol extends Named(Code) | | Interface for a class (function, predicate) from which instances
exist for every sort (e.g. the functions/predicates of the
collection sorts)
|
| getInstanceFor | | SortDependingSymbol getInstanceFor(SortDefiningSymbols p_sort)(Code) | | Get the instance of this term symbol defined by the given sort
"p_sort"
a term symbol similar to this one, or null if thissymbol is not defined by "p_sort"POSTCONDITION: result==null || (this.isSimilar(result) &&result.getSortDependingOn()==p_sort) |
| getKind | | Name getKind()(Code) | | Assign a name to this term symbol, independant of concrete
instantiations for different sorts
the kind of term symbol this object is an instantiationfor |
| getSortDependingOn | | Sort getSortDependingOn()(Code) | | the sort this object has been instantiated for |
| isSimilar | | boolean isSimilar(SortDependingSymbol p)(Code) | | Compares "this" and "p"
Parameters:
p - object to compare true iff this and p are instances of the same kind ofsymbol, but possibly instantiated for different sorts |
|
|