src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java

   1 package edu.uci.eecs.specCompiler.codeGenerator;
   2
   3 public class CodeVariables {
   4         // C++ code or library
   5         public static final String ThreadIDType = "thread_id_t";
   6         public static final String BOOLEAN = "bool";
   7
   8         // Specification variables
   9         public static final String SPEC_CLASS = "Sequential";
  10         public static final String SPEC_INSTANCE = "__sequential";
  11         public static final String SPEC_CONDITION = "__cond";
  12         public static final String SPEC_ID = "__id";
  13         public static final String SPEC_INTERFACE_ENUM = "_interface_t";
  14         public static final String SPEC_INTERFACE = "__interface";
  15
  16         public static final String SPEC_INTERFACE_WRAPPER = "__wrapper_";
  17
  18         // Specification library
  19         public static final String SPEC_QUEUE = "spec_queue";
  20         public static final String SPEC_STACK = "spec_stack";
  21         public static final String SPEC_HASHTABLE = "spec_hashtable";
  22         public static final String SPEC_TAG = "spec_tag";
  23
  24         // Macro
  25         public static final String MACRO_ID = "__ID__";
  26         public static final String MACRO_COND = "__COND_SAT__";
  27         public static final String MACRO_RETURN = "__RET__";
  28
  29 }