/* Beginning of struct Sequential */
typedef struct Sequential {
- spec_private_hashtable condition;
- spec_private_hashtable id;
spec_private_hashtable interface;
- spec_private_hashtable interface_call_sequence;
Tag global_call_sequence;
- /* DefineVar unfolded here */
- spec_private_hashtable Put__Old_Val;
-
/* Beginning of other user-defined variables */
bool lock_acquired;
int reader_lock_cnt;
/* Define function for sequential code initialization */
void __sequential_init() {
/* Init internal variables */
- init(&__sequential.condition);
- init(&__sequential.id);
init(&__sequential.interface);
- init(&__sequential.interface_call_sequence);
init(&global_call_sequence);
- /* Init DefineVars */
- init(&__sequential.Put__Old_Val);
/* Init user-defined variables */
lock_acquired = false;
reader_lock_cnt = 0;
hb_init0.type = HB_INIT;
hb_init0.annotation = &hbConditionInit0;
cdsannotate(SPEC_ANALYSIS, &hb_init0);
-
}
/* All other user-defined functions */
annotation_interface_begin.annotation = &interface_boundary;
cdsannotate(SPEC_ANALYSIS, &annoation_interface_begin);
+ // FIXME:
TypeReturn __RET__ = __wrapper_interfaceName(arg1, arg2);
int __COND__ = get(&__sequential.condition, tid);
uint64_t __ID__ = get(&__sequential.id, tid);