de.uka.ilkd.key.parser

Class KeYParser.accessterm_bracket_suffix_return

java.lang.Object

org.antlr.runtime.RuleReturnScope

org.antlr.runtime.ParserRuleReturnScope

de.uka.ilkd.key.parser.KeYParser.accessterm_bracket_suffix_return

Enclosing class:

KeYParser

public static class KeYParser.accessterm_bracket_suffix_return
extends ParserRuleReturnScope

Field Summary

Fields

Modifier and Type	Field and Description
boolean	increaseHeapSuffixCounter
Term	result

Fields inherited from class org.antlr.runtime.ParserRuleReturnScope

start, stop

Constructor Summary

Constructors

Constructor and Description
accessterm_bracket_suffix_return()

Method Summary

Methods inherited from class org.antlr.runtime.ParserRuleReturnScope

getStart, getStop, getTree

Methods inherited from class org.antlr.runtime.RuleReturnScope

getTemplate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

result

public Term result

increaseHeapSuffixCounter

public boolean increaseHeapSuffixCounter

Constructor Detail

accessterm_bracket_suffix_return

public accessterm_bracket_suffix_return()