net.sf.smc

Class SmcSyntaxChecker

java.lang.Object

net.sf.smc.SmcVisitor

net.sf.smc.SmcSyntaxChecker

public final class SmcSyntaxChecker
extends SmcVisitor

Performs a global syntax check on the various elements of the abstract syntax tree.

See Also:

SmcElement

Constructor Summary

Constructors

Constructor and Description
SmcSyntaxChecker(java.lang.String fsm, int targetLanguage) Creates a syntax checker for the named FSM and target programming language.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<SmcMessage>	getMessages() Returns a list of warning and error messages.
boolean	isValid() Returns true if no errors were found and false if there are syntax errors.
void	visit(SmcFSM fsm)
void	visit(SmcGuard guard)
void	visit(SmcMap map)
void	visit(SmcParameter parameter)
void	visit(SmcState state)
void	visit(SmcTransition transition)

Methods inherited from class net.sf.smc.SmcVisitor

visit

Methods inherited from class java.lang.Object

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

Constructor Detail

SmcSyntaxChecker

public SmcSyntaxChecker(java.lang.String fsm,
                int targetLanguage)

Creates a syntax checker for the named FSM and target programming language.

Parameters:

fsm - the finite state machine's name.

targetLanguage - the target programming language.

Method Detail

isValid

public boolean isValid()

Returns true if no errors were found and false if there are syntax errors.

Returns:

true if no errors were found and false if there are syntax errors.

getMessages

public java.util.List<SmcMessage> getMessages()

Returns a list of warning and error messages.

Returns:

a list of warning and error messages.

visit

public void visit(SmcFSM fsm)

Overrides:

visit in class SmcVisitor

visit

public void visit(SmcMap map)

Overrides:

visit in class SmcVisitor

visit

public void visit(SmcState state)

Overrides:

visit in class SmcVisitor

visit

public void visit(SmcTransition transition)

Overrides:

visit in class SmcVisitor

visit

public void visit(SmcGuard guard)

Overrides:

visit in class SmcVisitor

visit

public void visit(SmcParameter parameter)

Overrides:

visit in class SmcVisitor