|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.wis.jtlv.env.core.smv.schema.SMVAbstractElementInfo
edu.wis.jtlv.env.core.smv.schema.SMVVarInfo
edu.wis.jtlv.env.core.smv.schema.SMVBooleanVarInfo
public class SMVBooleanVarInfo
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 |
---|
public SMVBooleanVarInfo(java.lang.String a_name, SMVParsingInfo an_info) throws SMVParseException
SMVParseException
Method Detail |
---|
public SMVAbstractElementInfo clone_element() throws SMVParseException
clone_element
in class SMVAbstractElementInfo
SMVParseException
public java.lang.String typeString()
typeString
in class SMVAbstractElementInfo
public void mk_variables(SMVModule instance_holder) throws SMVParseException
mk_variables
in class SMVAbstractElementInfo
SMVParseException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |