Notes-Types { Esterel-Technologies }  DEFINITIONS ::=
BEGIN
    Change ::= 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 60 },
            NT_MODIFY BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME_WIDTH INTEGER
            {
            	 NT_DEFAULT_VALUE 350 },
            NT_FRAME_HEIGHT INTEGER
            {
            	 NT_DEFAULT_VALUE 60 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            Change TEXT
            {
            	 NT_DEFAULT_VALUE " PR: First issue - No change." ,
            	 NT_INCRUSTABLE T },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

    Description ::= 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 350 },
            NT_POS_Y REAL
            {
            	 NT_DEFAULT_VALUE 0 },
            NT_MODIFY BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME_WIDTH INTEGER
            {
            	 NT_DEFAULT_VALUE 400 },
            NT_FRAME_HEIGHT INTEGER
            {
            	 NT_DEFAULT_VALUE 120 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            Description TEXT
            {
            	 NT_DEFAULT_VALUE " Description: " ,
            	 NT_INCRUSTABLE T },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

    CopyRight ::= 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 40 },
            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 21 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            CopyRight TEXT
            {
            	 NT_DEFAULT_VALUE " (C) ZSSM. All rights reserved." ,
            	 NT_INCRUSTABLE T ,
            	 NT_EDITABLE F },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

    Date ::= 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 250 },
            NT_POS_Y REAL
            {
            	 NT_DEFAULT_VALUE 20 },
            NT_MODIFY BOOLEAN
            {
            	 NT_DEFAULT_VALUE F },
            NT_FRAME BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME_WIDTH INTEGER
            {
            	 NT_DEFAULT_VALUE 100 },
            NT_FRAME_HEIGHT INTEGER
            {
            	 NT_DEFAULT_VALUE 20 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            Date DATE
            {
            	 NT_DEFAULT_VALUE "dd/mm/yyyy" ,
            	 NT_INCRUSTABLE T },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T }
    } } }

    Author ::= 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 20 },
            NT_MODIFY BOOLEAN
            {
            	 NT_DEFAULT_VALUE F },
            NT_FRAME BOOLEAN
            {
            	 NT_DEFAULT_VALUE T },
            NT_FRAME_WIDTH INTEGER
            {
            	 NT_DEFAULT_VALUE 250 },
            NT_FRAME_HEIGHT INTEGER
            {
            	 NT_DEFAULT_VALUE 20 },
            NT_FONT INTEGER
            {
            	 NT_DEFAULT_VALUE 1 }
        },
        information {
            Author TEXT
            {
            	 NT_DEFAULT_VALUE " Modified by: AP. PORTE" ,
            	 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 }
    } } }

    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 }
    } } }

    Range ::= SEQUENCE OF { SEQUENCE {
    annot_object OID,
    name STRING,
        information {
            Range TEXT
            {
            	 NT_DEFAULT_VALUE "TBD" ,
            	 NT_FIELD_HEIGHT 1 ,
            	 NT_FIELD_WIDTH 60 },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T ,
            	 NT_PRINTABLE F }
    } } }

    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 }
    } } }

    Unit ::= SEQUENCE OF { SEQUENCE {
    annot_object OID,
    name STRING,
        information {
            Unit TEXT
            {
            	 NT_DEFAULT_VALUE "TBD" ,
            	 NT_FIELD_HEIGHT 1 ,
            	 NT_FIELD_WIDTH 60 },
            to_c BOOLEAN
            {
            	 NT_DEFAULT_VALUE T ,
            	 NT_PRINTABLE F }
    } } }

END

Notes-Values { Esterel-Technologies }  DEFINITIONS ::=
BEGIN
    Change ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "Change_6",T , T , "RELATIVE" , 0.000000 , 61.456692 , T , T , 350 , 58 , 1 , " CR scade#47 : shorten IO names to ease readability,  updated logic to match description (lower than epsilon)" , T }}
    Description ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "Description_5",T , T , "RELATIVE" , 350.000000 , 0.000000 , T , T , 400 , 120 , 1 , " Description: This robustness operator verifies if an input value is 
 too close to zero. If input_1 is too close to zero (lower than epsilon), then output result is  set to zero and flag_robustness_activ is set to true.
. Result is set to input value otherwise and flag_robustness_activ is set
to false." , T }}
    CopyRight ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "CopyRight_4",T , T , "RELATIVE" , 0.000000 , 40.000000 , F , T , 350 , 21 , 1 , " (C) ZSSM. All rights reserved." , T }}
    Date ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "Date_3",T , T , "RELATIVE" , 250.000000 , 20.000000 , F , T , 100 , 20 , 1 , "17/10/2016" , T }}
    Author ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "Author_2",T , T , "RELATIVE" , 0.000000 , 20.000000 , F , T , 250 , 20 , 1 , " Modified by: J. Kirsch" , T }}
    Title ::= {
        {"!ed/8f36/197F/2150/59e4ae083330", "Title_1",T , T , "RELATIVE" , 0.000000 , 0.000000 , F , T , 350 , 20 , 1 , " Title: diagram_verify_epsilon" , T }}
    OperatorKind ::= {
        {"!ed/8f2d/197F/2150/59e4ae081b2", "OperatorKind_1","Robustness" , T }}
    Range ::= {
        {"!ed/8f3d/197F/2150/59e4ae08c89", "Range_3","NA" , T },
        {"!ed/8f3e/197F/2150/59e4ae087883", "Range_3","NA" , T },
        {"!ed/8f3f/197F/2150/59e4ae086f76", "Range_3","NA" , T },
        {"!ed/8f40/197F/2150/59e4ae0832e7", "Range_3","NA" , T }}
    Comment ::= {
        {"!ed/8f3d/197F/2150/59e4ae08c89", "Comment_1","value of minimum value of a variable, near zero (default 10^-19)" , T },
        {"!ed/8f3e/197F/2150/59e4ae087883", "Comment_1","0.0 if the input value is too close of epsilon" , T },
        {"!ed/8f3f/197F/2150/59e4ae086f76", "Comment_1","true if robustness has been activated during computation" , T },
        {"!ed/8f40/197F/2150/59e4ae0832e7", "Comment_1","input value to compare with epsilon" , T }}
    Unit ::= {
        {"!ed/8f3d/197F/2150/59e4ae08c89", "Unit_2","NA" , T },
        {"!ed/8f3e/197F/2150/59e4ae087883", "Unit_2","NA" , T },
        {"!ed/8f3f/197F/2150/59e4ae086f76", "Unit_2","NA" , T },
        {"!ed/8f40/197F/2150/59e4ae0832e7", "Unit_2","NA" , T }}
END

