byucc.jhdl.Fsm
Class TransitionCheck

java.lang.Object
  byucc.jhdl.Fsm.TransitionCheck

public class TransitionCheck

extends java.lang.Object

Class that checks a truth table to verify that the arcs leaving each state cover all cases and don't overlap

Constructor Summary

TransitionCheck(java.lang.String fsmFileName, FsmData fd)

Method Summary

void	checkStateTransitions(java.lang.String stateName) Check state transitions for a specific state
void	TransitionCheckIt(java.lang.String s, int[] vals)
void	TransitionCheckIt(java.lang.String s, int n, int val, int[] vals)

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionCheck

public TransitionCheck(java.lang.String fsmFileName,
                       FsmData fd)
                throws ParseException

Method Detail

checkStateTransitions

public void checkStateTransitions(java.lang.String stateName)
                           throws ParseException

Check state transitions for a specific state

Parameters:

stateName - the name of the state to check

Throws:

ParseException

TransitionCheckIt

public void TransitionCheckIt(java.lang.String s,
                              int[] vals)
                       throws ParseException

Throws:

ParseException

TransitionCheckIt

public void TransitionCheckIt(java.lang.String s,
                              int n,
                              int val,
                              int[] vals)
                       throws ParseException

Throws:

ParseException