Package jhoafparser.extensions
Class HOAFParserCCFixed
- java.lang.Object
-
- jhoafparser.extensions.HOAFParserCCFixed
-
- All Implemented Interfaces:
jhoafparser.parser.generated.HOAFParserCCConstants
public class HOAFParserCCFixed extends Object implements jhoafparser.parser.generated.HOAFParserCCConstants
-
-
Field Summary
Fields Modifier and Type Field Description static jhoafparser.parser.generated.Tokenjj_ntNext token.static jhoafparser.parser.generated.TokentokenCurrent token.static jhoafparser.parser.generated.HOAFParserCCTokenManagertoken_sourceGenerated Token Manager.-
Fields inherited from interface jhoafparser.parser.generated.HOAFParserCCConstants
ABORT, ACCEPTANCE, ACCNAME, ALIAS, AND, AP, BODY, DEFAULT, END, EOF, FALSE, HOA, IN_COMMENT, IN_COMMENT_DEEP, LBRACKET, LCURLY, LEXICAL_ERROR, LPARENTH, NAME, NOT, OR, PROPERTIES, RBRACKET, RCURLY, REG_ANAME, REG_HEADERNAME, REG_IDENT, REG_INT, REG_STRING, RPARENTH, START, STATE, STATES, tokenImage, TOOL, TRUE, WHITESPACE
-
-
Constructor Summary
Constructors Constructor Description HOAFParserCCFixed(InputStream stream)Constructor with InputStream.HOAFParserCCFixed(InputStream stream, String encoding)Constructor with InputStream and supplied encodingHOAFParserCCFixed(Reader stream)Constructor.HOAFParserCCFixed(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)Constructor with generated Token Manager.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>AcceptanceCondition()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>AcceptanceConditionAnd()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>AcceptanceConditionAtom()static jhoafparser.ast.AtomAcceptance.TypeAcceptanceConditionTemporalOperator()static List<Integer>AcceptanceSignature()static StringAliasName()static voidAutomata()static voidAutomaton()static voidBody()static voidEdge()static voidEdges()static voidFormat()static jhoafparser.parser.generated.ParseExceptiongenerateParseException()Generate ParseException.static jhoafparser.parser.generated.TokengetNextToken()Get the next Token.static jhoafparser.parser.generated.TokengetToken(int index)Get the specific Token.static voidHeader()static voidHeaderItem()static voidHeaderItemAcceptance()static voidHeaderItemAccName()static voidHeaderItemAlias()static voidHeaderItemAP()static voidHeaderItemMisc()static voidHeaderItemName()static voidHeaderItemProperties()static voidHeaderItemStart()static voidHeaderItemStates()static voidHeaderItemTool()static StringHeaderName()static StringIdentifier()static intInteger()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>Label()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>LabelExpr()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>LabelExprAnd()static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel>LabelExprAtom()static voidnotifyAbort()static voidparseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer)Entry point for parsing a single automaton in HOA format (with default settings).static voidparseHOA(Reader str, jhoafparser.consumer.HOAConsumerFactory userFactory, jhoafparser.parser.HOAFParserSettings settings)Entry point for parsing a stream of automata in HOA format.static voidparseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer, jhoafparser.parser.HOAFParserSettings settings)Entry point for parsing a single automaton in HOA format.static StringQuotedString()static voidReInit(InputStream stream)Reinitialise.static voidReInit(InputStream stream, String encoding)Reinitialise.static voidReInit(Reader stream)Reinitialise.voidReInit(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)Reinitialise.static voidSingleAutomaton()static List<Integer>StateConjunction()static voidStateName()
-
-
-
Constructor Detail
-
HOAFParserCCFixed
public HOAFParserCCFixed(InputStream stream)
Constructor with InputStream.
-
HOAFParserCCFixed
public HOAFParserCCFixed(InputStream stream, String encoding)
Constructor with InputStream and supplied encoding
-
HOAFParserCCFixed
public HOAFParserCCFixed(Reader stream)
Constructor.
-
HOAFParserCCFixed
public HOAFParserCCFixed(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)
Constructor with generated Token Manager.
-
-
Method Detail
-
parseHOA
public static void parseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer) throws jhoafparser.parser.generated.ParseException
Entry point for parsing a single automaton in HOA format (with default settings).
Note: this parser is non-reentrant, i.e., it is not possible to parse two streams at the same time!- Parameters:
str- The input stream with the automaton descriptionuserConsumer- The consumer that receives the notifications about the parsed elements from the parser- Throws:
jhoafparser.parser.generated.ParseException
-
parseHOA
public static void parseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer, jhoafparser.parser.HOAFParserSettings settings) throws jhoafparser.parser.generated.ParseException
Entry point for parsing a single automaton in HOA format.
Note: this parser is non-reentrant, i.e., it is not possible to parse two streams at the same time!- Parameters:
str- The input stream with the automaton descriptionuserConsumer- The consumer that receives the notifications about the parsed elements from the parsersettings- Settings for the parser (may benull)- Throws:
jhoafparser.parser.generated.ParseException
-
parseHOA
public static void parseHOA(Reader str, jhoafparser.consumer.HOAConsumerFactory userFactory, jhoafparser.parser.HOAFParserSettings settings) throws jhoafparser.parser.generated.ParseException
Entry point for parsing a stream of automata in HOA format.
Note: this parser is non-reentrant, i.e., it is not possible to parse two streams at the same time!- Parameters:
str- The input stream with the automaton descriptionuserFactory- A factory that produces HOAConsumers, one for each automaton encountered, that receive the notifications about the parsed elements from the parsersettings- Settings for the parser (may benull)- Throws:
jhoafparser.parser.generated.ParseException
-
notifyAbort
public static void notifyAbort()
-
Automata
public static final void Automata() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
SingleAutomaton
public static final void SingleAutomaton() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Automaton
public static final void Automaton() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Header
public static final void Header() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Format
public static final void Format() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItem
public static final void HeaderItem() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemStates
public static final void HeaderItemStates() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemStart
public static final void HeaderItemStart() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemAP
public static final void HeaderItemAP() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemAlias
public static final void HeaderItemAlias() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemAcceptance
public static final void HeaderItemAcceptance() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
AcceptanceCondition
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> AcceptanceCondition() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
AcceptanceConditionAnd
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> AcceptanceConditionAnd() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
AcceptanceConditionAtom
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> AcceptanceConditionAtom() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
AcceptanceConditionTemporalOperator
public static final jhoafparser.ast.AtomAcceptance.Type AcceptanceConditionTemporalOperator() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemAccName
public static final void HeaderItemAccName() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemTool
public static final void HeaderItemTool() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemName
public static final void HeaderItemName() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemProperties
public static final void HeaderItemProperties() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderItemMisc
public static final void HeaderItemMisc() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Body
public static final void Body() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
StateName
public static final void StateName() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Edges
public static final void Edges() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Edge
public static final void Edge() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
Label
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> Label() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
LabelExpr
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> LabelExpr() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
LabelExprAnd
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> LabelExprAnd() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
LabelExprAtom
public static final jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> LabelExprAtom() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
AcceptanceSignature
public static final List<Integer> AcceptanceSignature() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
StateConjunction
public static final List<Integer> StateConjunction() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
Identifier
public static final String Identifier() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
Integer
public static final int Integer() throws jhoafparser.parser.generated.ParseException- Throws:
jhoafparser.parser.generated.ParseException
-
QuotedString
public static final String QuotedString() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
HeaderName
public static final String HeaderName() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
AliasName
public static final String AliasName() throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
ReInit
public static void ReInit(InputStream stream)
Reinitialise.
-
ReInit
public static void ReInit(InputStream stream, String encoding)
Reinitialise.
-
ReInit
public static void ReInit(Reader stream)
Reinitialise.
-
ReInit
public void ReInit(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)
Reinitialise.
-
getNextToken
public static final jhoafparser.parser.generated.Token getNextToken()
Get the next Token.
-
getToken
public static final jhoafparser.parser.generated.Token getToken(int index)
Get the specific Token.
-
generateParseException
public static jhoafparser.parser.generated.ParseException generateParseException()
Generate ParseException.
-
-