| de.uka.ilkd.key.logic.sort.SortDefiningSymbols
All known Subclasses: de.uka.ilkd.key.logic.sort.AbstractSort,
SortDefiningSymbols | public interface SortDefiningSymbols extends Sort(Code) | | Interface for sorts having specific symbols
(e.g. functions/predicates of collection sorts)
|
addDefinedSymbols | void addDefinedSymbols(Namespace functions, Namespace sorts)(Code) | | Creates symbols defined by this sort and inserts them into the
namespace "functions".
Parameters: p_func_ns - Namespace to which functions and predicatesshould be added to |
lookupSymbol | SortDependingSymbol lookupSymbol(Name p_name)(Code) | | Lookup the symbol of kind "p_name", which is a sort
independent identifier for this symbol
Symbol with (kind) name "p_name"("ret.getKind().equals(p_name)"), null if no such object exists |
|
|