edu.wis.jtlv.env.core.smv.eval
Class StmtDefineOperator

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.AbstractUnaryOperator
          extended by edu.wis.jtlv.env.core.smv.eval.StmtDefineOperator

public class StmtDefineOperator
extends AbstractUnaryOperator


Constructor Summary
StmtDefineOperator(SMVModule a_context, AbstractElement the_stmt)
           
 
Method Summary
 java.lang.String elemToString()
           
 ValueStmt eval_stmt()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.AbstractUnaryOperator
getVal, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

StmtDefineOperator

public StmtDefineOperator(SMVModule a_context,
                          AbstractElement the_stmt)
                   throws SMVParseException
Throws:
SMVParseException
Method Detail

elemToString

public java.lang.String elemToString()
Specified by:
elemToString in class AbstractElement

eval_stmt

public ValueStmt eval_stmt()
                    throws SMVParseException
Throws:
SMVParseException