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/8ef8/197F/2150/59e4ada0253c", "Change_6",T , T , "RELATIVE" , 0.000000 , 61.456692 , T , T , 350 , 56 , 1 , " CR: 30
 PR 43 : additional description to allow operator to be tested
 CR scade#47 : updated description, improved readability" , T }}
    Description ::= {
        {"!ed/8ef8/197F/2150/59e4ada0253c", "Description_5",T , T , "RELATIVE" , 350.000000 , 0.000000 , T , T , 400 , 118 , 1 , " Description:  This operator do a division protected against overflow, 
if |num| is below |denom| no overflow risk is present, apply division
if |num| is above 1.0e+19 or |denom| is below 1.0e-19 
then the result is equal to the default value and flag is true.
otherwise the division num by denom is performed and flag 
division_by_zero is set to false
Beware this division is not protected against underflow" , T }}
    CopyRight ::= {
        {"!ed/8ef8/197F/2150/59e4ada0253c", "CopyRight_4",T , T , "RELATIVE" , 0.000000 , 40.000000 , F , T , 350 , 21 , 1 , " (C) ZSSM. All rights reserved." , T }}
    Date ::= {
        {"!ed/8ef8/197F/2150/59e4ada0253c", "Date_3",T , T , "RELATIVE" , 250.000000 , 20.000000 , F , T , 100 , 20 , 1 , "17/10/2016" , T }}
    Author ::= {
        {"!ed/8ef8/197F/2150/59e4ada0253c", "Author_2",T , T , "RELATIVE" , 0.000000 , 20.000000 , F , T , 250 , 20 , 1 , " Modified by: J. Kirsch" , T }}
    Title ::= {
        {"!ed/8ef8/197F/2150/59e4ada0253c", "Title_1",T , T , "RELATIVE" , 0.000000 , 0.000000 , F , T , 350 , 20 , 1 , " Title: diagram_division_by_zero_safe_1" , T }}
    OperatorKind ::= {
        {"!ed/8ed7/197F/2150/59e4ada010e2", "OperatorKind_1","Library" , T }}
    Range ::= {
        {"!ed/8eff/197F/2150/59e4ada03ea", "Range_3","NA" , T },
        {"!ed/8f00/197F/2150/59e4ada043f6", "Range_3","NA" , T },
        {"!ed/8f01/197F/2150/59e4ada0747", "Range_3","NA" , T },
        {"!ed/8f02/197F/2150/59e4ada01025", "Range_3","[-1.0e19 ; -1.0e-19] U [1.0e-19 ; 1.0e19]" , T },
        {"!ed/8f03/197F/2150/59e4ada0258c", "Range_3","[-1.0e19 ; -1.0e-19] U [1.0e-19 ; 1.0e19]" , T }}
    Comment ::= {
        {"!ed/8eff/197F/2150/59e4ada03ea", "Comment_1","Default value is considered as result in case of division by zero is true" , T },
        {"!ed/8f00/197F/2150/59e4ada043f6", "Comment_1","result of the division" , T },
        {"!ed/8f01/197F/2150/59e4ada0747", "Comment_1","flag indicative of division by zero" , T },
        {"!ed/8f02/197F/2150/59e4ada01025", "Comment_1","numerator of the division" , T },
        {"!ed/8f03/197F/2150/59e4ada0258c", "Comment_1","denominator of the division" , T }}
    Unit ::= {
        {"!ed/8eff/197F/2150/59e4ada03ea", "Unit_2","NA" , T },
        {"!ed/8f00/197F/2150/59e4ada043f6", "Unit_2","NA" , T },
        {"!ed/8f01/197F/2150/59e4ada0747", "Unit_2","NA" , T },
        {"!ed/8f02/197F/2150/59e4ada01025", "Unit_2","NA" , T },
        {"!ed/8f03/197F/2150/59e4ada0258c", "Unit_2","NA" , T }}
END

