Package: PDefinitionAssistantInterpreter
PDefinitionAssistantInterpreter
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDefinitionAssistantInterpreter(IInterpreterAssistantFactory) |
|
|
|
|
|
||||||||||||||||||||
findExpression(PDefinition, int) |
|
|
|
|
|
||||||||||||||||||||
findStatement(LinkedList, int) |
|
|
|
|
|
||||||||||||||||||||
findStatement(PDefinition, int) |
|
|
|
|
|
||||||||||||||||||||
getNamedValues(PDefinition, Context) |
|
|
|
|
|
||||||||||||||||||||
getProofObligations(PDefinition, POContextStack) |
|
|
|
|
|
||||||||||||||||||||
getValues(PDefinition, ObjectContext) |
|
|
|
|
|
||||||||||||||||||||
isInstanceVariable(PDefinition) |
|
|
|
|
|
||||||||||||||||||||
isRuntime(PDefinition) |
|
|
|
|
|
||||||||||||||||||||
isTypeDefinition(PDefinition) |
|
|
|
|
|
||||||||||||||||||||
isValueDefinition(PDefinition) |
|
|
|
|
|