public static class KeYParser.accessterm_bracket_suffix_return extends ParserRuleReturnScope
Modifier and Type | Field and Description |
---|---|
boolean |
increaseHeapSuffixCounter |
Term |
result |
start, stop
Constructor and Description |
---|
KeYParser.accessterm_bracket_suffix_return() |
getStart, getStop, getTree
getTemplate
public Term result
public boolean increaseHeapSuffixCounter