public static final String FinalState = "Final";
public static final String PrintState = "Print";
public static final String Commutativity = "Commutativity";
+
+ // Define construct
+ public static final String Define = "Define";
// Interface construct
public static final String Interface = "Interface";
public static final String MODELASSERT = "\"model-assert.h\"";
public static final String LIBRACE = "\"librace.h\"";
public static final String SPECANNOTATION = "\"specannotation.h\"";
- public static final String SPECCOMMON = "\"spec_common.h\"";
+ public static final String SPEC_COMMON = "\"spec_common.h\"";
public static final String CDSSPEC = "\"cdsspec.h\"";
public static final String METHODCALL = "\"methodcall.h\"";
+
+ // Header files to include in the cdsspec-generated.h
+ public static final String SPECANNOTATION_API = "\"specannotation-api.h\"";
+
+ // Header files to include in the cdsspec-generated.cc
+ // <cdsannotate.h>
+ // "spec_common.h"
+ // "methodcall.h"
+ // "cdsspec.h"
+ // "specannotation.h"
static {
// Initialize the header set and list
includedHeadersList.add(MODELASSERT);
includedHeadersList.add(LIBRACE);
includedHeadersList.add(SPECANNOTATION);
- includedHeadersList.add(SPECCOMMON);
+ includedHeadersList.add(SPEC_COMMON);
includedHeadersList.add(METHODCALL);
includedHeadersList.add(CDSSPEC);
// Some CDSSpec keywords and function names
public static final String NewSize = "NEW_SIZE";
+ public static final String New = "NEW";
// Some CDSSpec types
public static final String CString = "CSTR";
public static final String EmptyCString = "_EMPTY";
public static final String AnnoInit = "AnnoInit";
public static final String AnnoTypeInit = "INIT";
public static final String AnnoInterfaceInfo = "AnnoInterfaceInfo";
+ public static final String CAnnoInterfaceInfo = "CAnnoInterfaceInfo";
public static final String SpecAnnotation = "SpecAnnotation";
// Some CDSSpec state functions
// Functions for instrumenting annotation
public static final String CreateInitAnnoFunc = "_createInitAnnotation";
public static final String CreateInterfaceBeginAnnoFunc = "_createInterfaceBeginAnnotation";
+ public static final String SetInterfaceBeginAnnoValueFunc = "_setInterfaceBeginAnnotationValue";
public static final String CreateOPDefineAnnoFunc = "_createOPDefineAnnotation";
public static final String CreatePotentialOPAnnoFunc = "_createPotentialOPAnnotation";
public static final String CreateOPCheckAnnoFunc = "_createOPCheckAnnotation";