Notes-Types { Esterel-Technologies }  DEFINITIONS ::=
BEGIN
    Comment ::= SEQUENCE OF { SEQUENCE {
    annot_object OID,
    name STRING,
        information {
            Comment TEXT
            {
            	 NT_DEFAULT_VALUE "" ,
            	 NT_FIELD_HEIGHT 3 ,
            	 NT_FIELD_WIDTH 60 },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T ,
            	 NT_PRINTABLE F }
    } } }

    OperatorKind ::= SEQUENCE OF { SEQUENCE {
    annot_object OID,
    name STRING,
        information {
            OperatorKind ENUM
            {
            	 NT_ENUM_VALUES {"Architecture", "Functional", "Refinement", "Library", "Derived", "Robustness", "TBD"},
            	 NT_DEFAULT_VALUE "TBD" ,
            	 NT_INCRUSTABLE T },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

    Title ::= SEQUENCE OF { SEQUENCE {
    annot_object OID,
    name STRING,
        note_graphical_information {
            NT_INCRUSTABLE BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_PERMANENT BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_LOCATION STRING
            {
            	 NT_DEFAULT_VALUE "RELATIVE" },
            NT_POS_X REAL
            {
            	 NT_DEFAULT_VALUE 0 },
            NT_POS_Y REAL
            {
            	 NT_DEFAULT_VALUE 0 },
            NT_MODIFY BOOLEAN
            {
            	 NT_DEFAULT_VALUE F },
            NT_FRAME BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME_WIDTH INTEGER
            {
            	 NT_DEFAULT_VALUE 350 },
            NT_FRAME_HEIGHT INTEGER
            {
            	 NT_DEFAULT_VALUE 20 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            Title TEXT
            {
            	 NT_DEFAULT_VALUE "Title : " ,
            	 NT_INCRUSTABLE T },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

END

Notes-Values { Esterel-Technologies }  DEFINITIONS ::=
BEGIN
    Comment ::= {
        {"!ed/2add/6F08/E3C/59478648232a", "Comment_1","" , T }}
    OperatorKind ::= {
        {"!ed/31e2/6BFD/49C/5924224a3bb2", "OperatorKind_1","TBD" , T }}
    Title ::= {
        {"!ed/31e3/6BFD/49C/5924224a6ec1", "Title_1",T , T , "RELATIVE" , 0.000000 , 0.000000 , F , T , 350 , 20 , 1 , "Title : " , T }}
END

