net.sf.smc
Class SmcSyntaxChecker

java.lang.Object
  extended by net.sf.smc.SmcVisitor
      extended by 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.
 
Method Summary
 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