1 #ifndef _SC_ANNOTATION_H
2 #define _SC_ANNOTATION_H
4 #include "cdsannotate.h"
7 #define SC_ANNOTATION 2
14 inline bool IS_SC_ANNO(ModelAction *act) {
15 return act != NULL && act->is_annotation() &&
16 act->get_value() == SC_ANNOTATION;
19 inline bool IS_ANNO_BEGIN(ModelAction *act) {
20 return (void*) BEGIN == act->get_location();
23 inline bool IS_ANNO_END(ModelAction *act) {
24 return (void*) END == act->get_location();
27 inline bool IS_ANNO_KEEP(ModelAction *act) {
28 return (void*) KEEP == act->get_location();
31 inline void SC_BEGIN() {
32 void *loc = (void*) BEGIN;
33 cdsannotate(SC_ANNOTATION, loc);
36 inline void SC_END() {
37 void *loc = (void*) END;
38 cdsannotate(SC_ANNOTATION, loc);
41 inline void SC_KEEP() {
42 void *loc = (void*) KEEP;
43 cdsannotate(SC_ANNOTATION, loc);