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.Token	jj_nt	Next token.
static jhoafparser.parser.generated.Token	token	Current token.
static jhoafparser.parser.generated.HOAFParserCCTokenManager	token_source	Generated 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 encoding
HOAFParserCCFixed(Reader stream)	Constructor.
HOAFParserCCFixed(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)	Constructor with generated Token Manager.

Method Summary

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.Type	AcceptanceConditionTemporalOperator()
static List<Integer>	AcceptanceSignature()
static String	AliasName()
static void	Automata()
static void	Automaton()
static void	Body()
static void	Edge()
static void	Edges()
static void	Format()
static jhoafparser.parser.generated.ParseException	generateParseException()	Generate ParseException.
static jhoafparser.parser.generated.Token	getNextToken()	Get the next Token.
static jhoafparser.parser.generated.Token	getToken(int index)	Get the specific Token.
static void	Header()
static void	HeaderItem()
static void	HeaderItemAcceptance()
static void	HeaderItemAccName()
static void	HeaderItemAlias()
static void	HeaderItemAP()
static void	HeaderItemMisc()
static void	HeaderItemName()
static void	HeaderItemProperties()
static void	HeaderItemStart()
static void	HeaderItemStates()
static void	HeaderItemTool()
static String	HeaderName()
static String	Identifier()
static int	Integer()
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 void	notifyAbort()
static void	parseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer)	Entry point for parsing a single automaton in HOA format (with default settings).
static void	parseHOA(Reader str, jhoafparser.consumer.HOAConsumerFactory userFactory, jhoafparser.parser.HOAFParserSettings settings)	Entry point for parsing a stream of automata in HOA format.
static void	parseHOA(Reader str, jhoafparser.consumer.HOAConsumer userConsumer, jhoafparser.parser.HOAFParserSettings settings)	Entry point for parsing a single automaton in HOA format.
static String	QuotedString()
static void	ReInit(InputStream stream)	Reinitialise.
static void	ReInit(InputStream stream, String encoding)	Reinitialise.
static void	ReInit(Reader stream)	Reinitialise.
void	ReInit(jhoafparser.parser.generated.HOAFParserCCTokenManager tm)	Reinitialise.
static void	SingleAutomaton()
static List<Integer>	StateConjunction()
static void	StateName()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public static jhoafparser.parser.generated.HOAFParserCCTokenManager token_source

Generated Token Manager.

token

public static jhoafparser.parser.generated.Token token

Current token.

jj_nt

public static jhoafparser.parser.generated.Token jj_nt

Next token.

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 description

userConsumer - 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 description

userConsumer - The consumer that receives the notifications about the parsed elements from the parser

settings - Settings for the parser (may be null)

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 description

userFactory - A factory that produces HOAConsumers, one for each automaton encountered, that receive the notifications about the parsed elements from the parser

settings - Settings for the parser (may be null)

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.