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 encoding
XTAReader(Reader stream)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	body(Template template)
void	bodyBranchPoint(Template template, Map locations)
void	bodyBranchPoints(Template template, Map locations)
void	bodyCommitted(Map locations)
void	bodyInit(Template template, Map locations)
void	bodyState(Template template, Map locations)
void	bodyStates(Template template, Map locations)
void	bodyTransitions(Template template, Map locations)
boolean	bodyTransitionSymbol()
void	bodyUrgent(Map locations)
void	declaration(Document document)
void	destination(Template template, Map locations, AbstractLocation src, boolean controllable)
void	disable_tracing()	Disable tracing.
void	enable_tracing()	Enable tracing.
ParseException	generateParseException()	Generate ParseException.
String	getErrors()
Token	getNextToken()	Get the next Token.
Token	getToken(int index)	Get the specific Token.
AbstractLocation	location(Map locations)
Document	parse(Element prototype)
void	processdecl(Document document)
void	PTBody(Template template)
void	PTHead(Template template)
void	PTParamList(Template template)
void	ReInit(XTAReaderTokenManager tm)	Reinitialise.
void	ReInit(InputStream stream)	Reinitialise.
void	ReInit(InputStream stream, String encoding)	Reinitialise.
void	ReInit(Reader stream)	Reinitialise.
void	systemSpec(Document document)

Methods inherited from class java.lang.Object

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

Field Details

token_source

public XTAReaderTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Details

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 Details

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 locations) throws ParseException

Throws:

ParseException

bodyBranchPoints

public final void bodyBranchPoints(Template template, Map locations) throws ParseException

Throws:

ParseException

bodyState

public final void bodyState(Template template, Map locations) throws ParseException

Throws:

ParseException

bodyBranchPoint

public final void bodyBranchPoint(Template template, Map locations) throws ParseException

Throws:

ParseException

bodyCommitted

public final void bodyCommitted(Map locations) throws ParseException

Throws:

ParseException

bodyUrgent

public final void bodyUrgent(Map locations) throws ParseException

Throws:

ParseException

bodyInit

public final void bodyInit(Template template, Map locations) throws ParseException

Throws:

ParseException

bodyTransitions

public final void bodyTransitions(Template template, Map locations) throws ParseException

Throws:

ParseException

bodyTransitionSymbol

public final boolean bodyTransitionSymbol() throws ParseException

Throws:

ParseException

location

public final AbstractLocation location(Map locations) throws ParseException

Throws:

ParseException

destination

public final void destination(Template template, Map 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.