edu.wis.jtlv.env.core.smv
Class StructuralInit
java.lang.Object
edu.wis.jtlv.env.core.smv.StructuralInit
public class StructuralInit
- extends java.lang.Object
Method Summary |
void |
add_element(java.lang.String module_name,
SMVAbstractElementInfo var,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
add_module(java.lang.String a_name,
java.lang.String[] args,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
add_module(java.util.Vector<java.lang.String> name_plus_args,
org.antlr.runtime.IntStream input)
|
void |
do_phase_end()
|
void |
do_phase2()
|
static StructuralInit |
get_instance()
|
SMVModuleInfo |
get_module(java.lang.String module_name,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_array_var(java.lang.String var_name,
SMVVarInfo proto,
java.lang.String size,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_boolean_var(java.lang.String var_name,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_define_var(java.lang.String var_name,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_process_var(java.lang.String var_name,
java.lang.String proc_module_name,
boolean is_sync,
java.util.Vector<java.lang.String> inst_vec,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_range_array_var(java.lang.String var_name,
SMVAbstractElementInfo proto,
java.lang.String from,
java.lang.String to,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_range_var(java.lang.String var_name,
java.lang.String from,
java.lang.String to,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_values_var(java.lang.String var_name,
java.util.Vector<java.lang.String> type_values,
org.antlr.runtime.IntStream input)
|
SMVAbstractElementInfo |
mk_word_var(java.lang.String var_name,
java.lang.String base,
java.lang.String width,
org.antlr.runtime.IntStream input)
|
static void |
resetParser()
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
get_instance
public static StructuralInit get_instance()
resetParser
public static void resetParser()
do_phase_end
public void do_phase_end()
add_module
public SMVAbstractElementInfo add_module(java.lang.String a_name,
java.lang.String[] args,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
add_module
public SMVAbstractElementInfo add_module(java.util.Vector<java.lang.String> name_plus_args,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_boolean_var
public SMVAbstractElementInfo mk_boolean_var(java.lang.String var_name,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_word_var
public SMVAbstractElementInfo mk_word_var(java.lang.String var_name,
java.lang.String base,
java.lang.String width,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_values_var
public SMVAbstractElementInfo mk_values_var(java.lang.String var_name,
java.util.Vector<java.lang.String> type_values,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_range_var
public SMVAbstractElementInfo mk_range_var(java.lang.String var_name,
java.lang.String from,
java.lang.String to,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_process_var
public SMVAbstractElementInfo mk_process_var(java.lang.String var_name,
java.lang.String proc_module_name,
boolean is_sync,
java.util.Vector<java.lang.String> inst_vec,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_array_var
public SMVAbstractElementInfo mk_array_var(java.lang.String var_name,
SMVVarInfo proto,
java.lang.String size,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_range_array_var
public SMVAbstractElementInfo mk_range_array_var(java.lang.String var_name,
SMVAbstractElementInfo proto,
java.lang.String from,
java.lang.String to,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
mk_define_var
public SMVAbstractElementInfo mk_define_var(java.lang.String var_name,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
add_element
public void add_element(java.lang.String module_name,
SMVAbstractElementInfo var,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
get_module
public SMVModuleInfo get_module(java.lang.String module_name,
org.antlr.runtime.IntStream input)
throws SMVParseException
- Throws:
SMVParseException
do_phase2
public void do_phase2()
throws SMVParseException
- Throws:
SMVParseException