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 |
SmcSyntaxChecker(java.lang.String fsm,
int targetLanguage)
Creates a syntax checker for the named FSM and target
programming language. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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.
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