edu.wis.jtlv.env.core.smv
Class StructuralInit

java.lang.Object
  extended by 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
 

Method Detail

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