controller.syntax

Class JLPSSyntaxParser.postconditions_return

java.lang.Object

org.antlr.runtime.RuleReturnScope

org.antlr.runtime.ParserRuleReturnScope

controller.syntax.JLPSSyntaxParser.postconditions_return

Enclosing class:

JLPSSyntaxParser

public static class JLPSSyntaxParser.postconditions_return
extends org.antlr.runtime.ParserRuleReturnScope

Field Summary

Fields

Modifier and Type	Field and Description
HashSet<String>	facts
ArrayList<Initiator>	initiators
ArrayList<Terminator>	terminators

Fields inherited from class org.antlr.runtime.ParserRuleReturnScope

start, stop, tree

Constructor Summary

Constructors

Constructor and Description
JLPSSyntaxParser.postconditions_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

terminators

public ArrayList<Terminator> terminators

initiators

public ArrayList<Initiator> initiators

facts

public HashSet<String> facts

Constructor Detail

JLPSSyntaxParser.postconditions_return

public JLPSSyntaxParser.postconditions_return()