| java.lang.Object
 de.uka.ilkd.key.parser.ocl.PropertyManager
| PropertyManager | | class PropertyManager (Code) | | Resolves property calls of any kind.
Keeps a stack of namespaces to deal with several levels of local variables
(e.g. "self", or iterator variables in forall() or select() subtrees).
|
| needVarDeclaration | | public boolean needVarDeclaration(String propertyName)(Code) | | Determines whether a variable has to be put into localVariableNamespace
Parameters:
propertyName - name of the propertyCall true, if propertyName needs a variable to be put intolocalVariableNamespace |
| popLocalVariablesNamespace | | public void popLocalVariablesNamespace()(Code) | | Throws away the topmost namespace on the stack.
|
| pushLocalVariablesNamespace | | public void pushLocalVariablesNamespace()(Code) | | Pushes a new, empty namespace onto the stack.
|
| putIntoTopLocalVariablesNamespace | | public void putIntoTopLocalVariablesNamespace(ParsableVariable pv)(Code) | | Puts a local variable into the topmost namespace on the stack
|
| putIntoTopLocalVariablesNamespace | | public void putIntoTopLocalVariablesNamespace(ListOfLogicVariable pvs)(Code) | | Puts a list of local variables into the topmost namespace on the stack.
|
| resolve | | public OCLEntity resolve(OCLEntity receiver, String name, OCLParameters parameters) throws OCLTranslationError(Code) | | Resolves arbitrary property calls.
Parameters:
receiver - the specified explicit receiver, or null
Parameters:
name - name of the property
Parameters:
parameters - actual parameters of the property call, or null corresponding term, type or collection if successful, null otherwise
throws:
OCLTranslationError - |
|
|