edu.wis.jtlv.env.core.smv.schema
Class SMVBooleanVarInfo

java.lang.Object
  edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
      edu.wis.jtlv.env.core.smv.schema.SMVVarInfo
          edu.wis.jtlv.env.core.smv.schema.SMVBooleanVarInfo

All Implemented Interfaces:

java.lang.Cloneable

public class SMVBooleanVarInfo
extends SMVVarInfo

Field Summary

Fields inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo

name

Constructor Summary

SMVBooleanVarInfo(java.lang.String a_name, SMVParsingInfo an_info)

Method Summary

SMVAbstractElementInfo	clone_element()
void	mk_variables(SMVModule instance_holder)
java.lang.String	typeString()

Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVVarInfo

mk_defines, mk_fix_names, mk_module_args, mk_modules_skel

Methods inherited from class edu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo

get_holder, set_holder, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SMVBooleanVarInfo

public SMVBooleanVarInfo(java.lang.String a_name,
                         SMVParsingInfo an_info)
                  throws SMVParseException

Throws:

SMVParseException

Method Detail

clone_element

public SMVAbstractElementInfo clone_element()
                                     throws SMVParseException

Specified by:

clone_element in class SMVAbstractElementInfo

Throws:

SMVParseException

typeString

public java.lang.String typeString()

Specified by:

typeString in class SMVAbstractElementInfo

mk_variables

public void mk_variables(SMVModule instance_holder)
                  throws SMVParseException

Specified by:

mk_variables in class SMVAbstractElementInfo

Throws:

SMVParseException