public static class JLPSSyntaxParser.postconditions_return
extends org.antlr.runtime.ParserRuleReturnScope
Modifier and Type | Field and Description |
---|---|
HashSet<String> |
facts |
ArrayList<Initiator> |
initiators |
ArrayList<Terminator> |
terminators |
Constructor and Description |
---|
JLPSSyntaxParser.postconditions_return() |