Package com.uppaal.model.io2
Class XTAReader
- java.lang.Object
-
- com.uppaal.model.io2.XTAReader
-
- All Implemented Interfaces:
XTAReaderConstants
public class XTAReader extends Object implements XTAReaderConstants
-
-
Field Summary
Fields Modifier and Type Field Description Token
jj_nt
Next token.Token
token
Current token.XTAReaderTokenManager
token_source
Generated Token Manager.-
Fields inherited from interface com.uppaal.model.io2.XTAReaderConstants
ASSIGN, BECOMES, BODY, BRANCHPOINT, CHAN, CLBR, CLBRACE, CLOCK, CLOSE, COLON, COMMA, COMMIT, CONST, DEFAULT, DOT, DOUBLE, EOF, EQUAL, ERROR, EXCLMARK, EXTERNAL, FROM, GEQ, GRT, GUARD, ID, IMPLIES, IMPORT, INIT, INT, IS, ISNOT, LEQ, LESS, LOCAL, MINUS, MLCOMMENT, NAT, OPBR, OPBRACE, OPEN, PLUS, PROBABILITY, PROCESS, QM, SELECT, SEMICOLON, SLASH, SLCOMMENT, STATE, SYNC, SYSTEM, TIMES, tokenImage, TRANS, UNCONTROLLABLETRANS, URGENT, WS
-
-
Constructor Summary
Constructors Constructor Description XTAReader(XTAReaderTokenManager tm)
Constructor with generated Token Manager.XTAReader(InputStream stream)
Constructor with InputStream.XTAReader(InputStream stream, String encoding)
Constructor with InputStream and supplied encodingXTAReader(Reader stream)
Constructor.
-
Method Summary
-
-
-
Field Detail
-
token_source
public XTAReaderTokenManager token_source
Generated Token Manager.
-
token
public Token token
Current token.
-
jj_nt
public Token jj_nt
Next token.
-
-
Constructor Detail
-
XTAReader
public XTAReader(InputStream stream)
Constructor with InputStream.
-
XTAReader
public XTAReader(InputStream stream, String encoding)
Constructor with InputStream and supplied encoding
-
XTAReader
public XTAReader(Reader stream)
Constructor.
-
XTAReader
public XTAReader(XTAReaderTokenManager tm)
Constructor with generated Token Manager.
-
-
Method Detail
-
parse
public Document parse(Element prototype) throws ParseException
- Throws:
ParseException
-
getErrors
public String getErrors()
-
systemSpec
public final void systemSpec(Document document) throws ParseException
- Throws:
ParseException
-
declaration
public final void declaration(Document document) throws ParseException
- Throws:
ParseException
-
processdecl
public final void processdecl(Document document) throws ParseException
- Throws:
ParseException
-
PTHead
public final void PTHead(Template template) throws ParseException
- Throws:
ParseException
-
PTParamList
public final void PTParamList(Template template) throws ParseException
- Throws:
ParseException
-
PTBody
public final void PTBody(Template template) throws ParseException
- Throws:
ParseException
-
body
public final void body(Template template) throws ParseException
- Throws:
ParseException
-
bodyStates
public final void bodyStates(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyBranchPoints
public final void bodyBranchPoints(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyState
public final void bodyState(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyBranchPoint
public final void bodyBranchPoint(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyCommitted
public final void bodyCommitted(Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyUrgent
public final void bodyUrgent(Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyInit
public final void bodyInit(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyTransitions
public final void bodyTransitions(Template template, Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
bodyTransitionSymbol
public final boolean bodyTransitionSymbol() throws ParseException
- Throws:
ParseException
-
location
public final AbstractLocation location(Map<String,AbstractLocation> locations) throws ParseException
- Throws:
ParseException
-
destination
public final void destination(Template template, Map<String,AbstractLocation> locations, AbstractLocation src, boolean controllable) throws ParseException
- Throws:
ParseException
-
ReInit
public void ReInit(InputStream stream)
Reinitialise.
-
ReInit
public void ReInit(InputStream stream, String encoding)
Reinitialise.
-
ReInit
public void ReInit(Reader stream)
Reinitialise.
-
ReInit
public void ReInit(XTAReaderTokenManager tm)
Reinitialise.
-
getNextToken
public final Token getNextToken()
Get the next Token.
-
getToken
public final Token getToken(int index)
Get the specific Token.
-
generateParseException
public ParseException generateParseException()
Generate ParseException.
-
enable_tracing
public final void enable_tracing()
Enable tracing.
-
disable_tracing
public final void disable_tracing()
Disable tracing.
-
-