Package: POContextStack
POContextStack
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
POContextStack() |
|
|
|
|
|
||||||||||||||||||||
checkType(PExp, PType) |
|
|
|
|
|
||||||||||||||||||||
clearStateContexts() |
|
|
|
|
|
||||||||||||||||||||
getContextNode(PExp) |
|
|
|
|
|
||||||||||||||||||||
getGenerator() |
|
|
|
|
|
||||||||||||||||||||
getLast_Vars() |
|
|
|
|
|
||||||||||||||||||||
getName() |
|
|
|
|
|
||||||||||||||||||||
getObligation(String) |
|
|
|
|
|
||||||||||||||||||||
getPredWithContext(PExp) |
|
|
|
|
|
||||||||||||||||||||
indentNewLines(String, String) |
|
|
|
|
|
||||||||||||||||||||
noteType(PExp, PType) |
|
|
|
|
|
||||||||||||||||||||
pop() |
|
|
|
|
|
||||||||||||||||||||
setGenerator(UniqueNameGenerator) |
|
|
|
|
|