SAFIRE.org - SAFIRE MP 19.01.41.01

End ::= [ Comment1 ] ";" [ Comment2 ]

Used By: Action_Statement Action_Statement1 Asn1onym_Definition Asn1type_Definition Basic_Input_Part Block_Body Block_Type_Definition Channel_Definition Class_Definition Class_Element ConTemplate_Definition Decision Gate_Constraint_In_And_Out Gate_Constraint_In_Out If Interface_Definition Interface_Signals Package_Definition Package_Reference_Clause Procedure_Definition Procedure_Definition_Ext Procedure_Definition_Parameters Procedure_Definition_Result Process_Body Process_Type_Definition Protocol_Body Protocol_Definition Protocol_FieldLabel SXC_Variable_Definition Scenario_Block_Definition Scenario_Definition Selection Signal_Definition Signal_List_Definition Start State State_End Substate Synonym_Definition Syntype_Definition System_Definition Terminator_Statement Testsuite_Definition Testsuite_Testharness_Definition Timer_Definition Typebased_Agent_Definition Typebased_Block_Definition Typebased_Process_Definition Variable_Definition While

Disable ::= "$DISABLE" | "@@@@@DISABLE"

Used By: Action_Statement Action_Statement1 Actual_Parameter_Body Actual_Parameter_Opt_Body Asn1ConstantList Asn1ConstantListIdent Assignment_Statement Basic_Input_Part Class_Element_Fields Class_Fields Constraint_List ConstructedConTemplateList ConstructedConTemplateListIdent Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite Enumeration Formal_Parameters IdentifierKommaList Input_List Interface_Signals NameTagTypeExtendedList NameTagTypeOptionalExtendedList Name_Type_List Name_Type_Opt_List NamedNumbers Package_Reference_Clause Range_Condition Reset_Statement Scenario_Definition_List Sel_Ident_List SeqUnionItemList Signal_Definition_Item Signal_List Signal_List_Item Sort_List_ State State_List Terminator_Statement Testsuite_Testharness_Definition Timer_Definition_Item Var_Name_List Variable_List

Comment ::= "COMMENT" Comment_Text

Used By: Actual_Parameter_Body Actual_Parameter_Opt_Body Asn1ConstantList Asn1ConstantListIdent Assignment_Statement Block_Statement Class_Element_Fields Class_Fields Constraint_List ConstructedConTemplateList ConstructedConTemplateListIdent End Enumeration Formal_Parameters IdentifierKommaList Input_List NameTagTypeExtendedList NameTagTypeOptionalExtendedList Name_Type_List Name_Type_Opt_List NamedNumbers Range_Condition Reset_Statement Sel_Ident_List SeqUnionItemList Signal_Definition_Item Signal_List Sort_List_ State_List Timer_Definition_Item Var_Name_List Variable_List

Root ::= System_Definition | Package_Definition | Testsuite_Definition | Protocol_Definition

SDL ::= [ Package_Reference_Clause ] [ Archive_Name ] [ Name ] [ Purpose ] [ Testsuite_Testharness_Definition ] [ Gate_Definition ] [ Pics_Definition ] [ Entity_In_SDL ] [ Sort ] [ Ident ] [ Protocol_Embedded ] [ Protocol_Selector ] [ Protocol_Path ]

System_Definition ::= [ Package_Reference_Clause ] "SYSTEM" Name [ Module_Tagging ] End1 [ Gate_Definition ] [ Entity_In_System ] "ENDSYSTEM" [ Dup_Name ] End2

Used By: Root

Package_Definition ::= [ Package_Reference_Clause ] "PACKAGE" Name [ Module_Tagging ] End1 [ Entity_In_Package ] "ENDPACKAGE" [ Dup_Name ] End2

Used By: Root

Testsuite_Definition ::= [ Package_Reference_Clause ] "TESTSUITE" Name [ Module_Tagging ] End1 [ "TESTPURPOSE" Purpose ";" ] [ Testsuite_Testharness_Definition ] [ Gate_Definition ] [ Pics_Definition ] [ Entity_In_Testsuite ] "ENDTESTSUITE" [ Dup_Name ] End2

Used By: Root

Protocol_Definition ::= [ Package_Reference_Clause ] "PROTOCOL" Name [ Module_Tagging ] End1 [ Protocol_Body ] "ENDPROTOCOL" [ Dup_Name ] End3

Used By: Root

Protocol_Body ::= "ENTRY" Sort "USING" Ident End2 [ Protocol_Embedded ] [ Protocol_Selector ] [ Protocol_Path ] [ Entity_In_Protocol ]

Used By: Protocol_Definition

Package_Reference_Clause ::= [ Disable ] "USE" [ Archive_Name "::" ] Path End1 [ Package_Reference_Clause ]

Used By: Package_Definition Package_Reference_Clause Protocol_Definition SDL System_Definition Testsuite_Definition

Path ::= Name [ "/" Path ]

Used By: Package_Reference_Clause Path

Testsuite_Testharness_Definition ::= [ Disable ] "TESTHARNESS" [ Archive_Name "::" ] Name End1 [ Testsuite_Testharness_Definition ]

Used By: SDL Testsuite_Definition Testsuite_Testharness_Definition

Pics_Definition ::= "PICS" Variable_Definition_List "ENDPICS"

Used By: SDL Testsuite_Definition

Used By: Entity_In_System System_Definition

Used By: Entity_In_Package Package_Definition

Used By: Entity_In_Testsuite Testsuite_Definition

Used By: Entity_In_Protocol Protocol_Body

Used By: Entity_In_SDL SDL

Protocol_Embedded ::= "EMBEDDED" "{" Protocol_FieldLabel "}"

Used By: Protocol_Body SDL

Protocol_Selector ::= "SELECT" "{" Protocol_FieldLabel "}"

Used By: Protocol_Body SDL

Protocol_FieldLabel ::= Identifier [ "," Text ] End1 [ Protocol_FieldLabel ]

Used By: Protocol_Embedded Protocol_FieldLabel Protocol_Selector

Protocol_Path ::= "PATH" Identifier "::=" Variable ";" [ Protocol_Path ]

Used By: Protocol_Body Protocol_Path SDL

Synonym_Definition ::= "SYNONYM" Name Sort "=" Primary End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Asn1onym_Definition ::= Name Sort "::=" Primary End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Constraint_Definition ::= "CONSTRAINT" ConTemplate_Definition

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Template_Definition ::= "TEMPLATE" ConTemplate_Definition

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

ConTemplate_Definition ::= Name [ "(" Name_Type_List ")" ] Sort "=" ConTemplatePrimary End1

Used By: Constraint_Definition Template_Definition

ConTemplatePrimary ::= "*" | "?" | "-" | ConstructedConTemplate | Primary

Used By: ConTemplate_Definition ConstructedConTemplateList ConstructedConTemplateListIdent

ConstructedConTemplate ::= Asn1TypeConstantType "{" [ ConstructedConTemplate_ ] "}"

Used By: ConTemplatePrimary ConstraintPrimary

ConstructedConTemplate_ ::= ConstructedConTemplateListIdent | ConstructedConTemplateList

Used By: ConstructedConTemplate

ConstructedConTemplateList ::= [ Disable ] ConTemplatePrimary [ Comment ] [ "," ConstructedConTemplateList ]

Used By: ConstructedConTemplateList ConstructedConTemplate_

ConstructedConTemplateListIdent ::= [ Disable ] Identifier ConTemplatePrimary [ Comment ] [ "," ConstructedConTemplateListIdent ]

Used By: ConstructedConTemplateListIdent ConstructedConTemplate_

Signal_Definition ::= "SIGNAL" Signal_Definition_Item End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Signal_Definition_Item ::= [ Disable ] Name [ Sort_List ] [ Comment ] [ "," Signal_Definition_Item ]

Used By: Signal_Definition Signal_Definition_Item

Sort_List ::= "(" Sort_List_ ")"

Used By: Signal_Definition_Item

Sort_List_ ::= [ Disable ] Sort Name [ Optional ] [ Comment ] [ "," Sort_List_ ]

Used By: Sort_List Sort_List_

Sort ::= Simple_Sort | Constructed_Sort | Syntype

Used By: Asn1onym_Definition BuiltInFunctionCast ConTemplate_Definition Formal_Parameters Name_Type Protocol_Body Result SDL Sort_List_ Synonym_Definition

Sort_Constraint ::= Simple_Sort | Constructed_Sort | Syntype_Constraint

Used By: Class_Definition Class_Element_Fields Class_Fields SeqUnionItem Tag_Sort

Syntype_Constraint ::= Syntype [ "(" FormatConstraint ")" ]

Used By: Sort_Constraint

Tag_SeqClass ::= [ Tag ] Identifier "." Identifier2

Used By: NameTagTypeOptional

Tag_SeqUnion ::= [ Tag ] "UNION" "(" Identifier ")" "{" SeqUnionItemList "}"

Used By: NameTagTypeOptional

SeqUnionItemList ::= [ Disable ] SeqUnionItem [ Comment ] [ "," SeqUnionItemList ]

Used By: SeqUnionItemList Tag_SeqUnion

SeqUnionItem ::= Identifier [ SeqUnionItemExpr ] Sort_Constraint

Used By: SeqUnionItemList

SeqUnionItemExpr ::= "(" Expression ")"

Used By: SeqUnionItem

Tag_Sort ::= [ Tag ] Sort_Constraint

Used By: Array Asn1type_Definition NameTagType NameTagTypeOptional SequenceOf SetOf Syntype_Definition

Tag ::= "[" [ Tag_Class ] Num "]" [ Tag_Mode ] [ Tag ]

Used By: Tag Tag_SeqClass Tag_SeqUnion Tag_Sort

Tag_Class ::= "UNIVERSAL" | "APPLICATION" | "CONTEXT" | "PRIVATE"

Used By: Tag

Tag_Mode ::= "IMPLICIT" | "EXPLICIT"

Used By: Tag

Module_Tagging ::= Module_Tagging_Implicit | Module_Tagging_Explicit | Module_Tagging_Automatic

Used By: Package_Definition Protocol_Definition System_Definition Testsuite_Definition

Module_Tagging_Implicit ::= "IMPLICIT" "TAGS"

Used By: Module_Tagging

Module_Tagging_Explicit ::= "EXPLICIT" "TAGS"

Used By: Module_Tagging

Module_Tagging_Automatic ::= "AUTOMATIC" "TAGS"

Used By: Module_Tagging

Syntype ::= Identifier [ Syntype_Modifier ]

Used By: Asn1TypeConstantType Sort Syntype_Constraint Variable

Syntype_Modifier ::= ( Syntype_ClassField | Syntype_Field | Syntype_Index ) [ Syntype_Modifier ]

Used By: Syntype Syntype_Modifier

Syntype_ClassField ::= "." FieldName ":" MCRowName

Used By: Syntype_Modifier

Syntype_Field ::= "." FieldName

Used By: Syntype_Modifier

Syntype_Index ::= "[" "]"

Used By: Syntype_Modifier

Signal_List_Definition ::= "SIGNALLIST" Name "=" Signal_List End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Signal_List ::= [ Disable ] ( Signal_List_Item | "(" Signal_List_Item_ ")" ) [ Comment ] [ "," Signal_List ]

Used By: Signal_List Signal_List_Definition

Signal_List_Item ::= [ Disable ] Identifier

Used By: Signal_List

Interface_Definition ::= "INTERFACE" Name End1 [ Interface_Signals ] "ENDINTERFACE" End2

Used By: Entity_In_Block Entity_In_Package Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Interface_Signals ::= [ Disable ] "SIGNAL" Name [ "(" Name_Type_Opt_List ")" ] End1 [ Interface_Signals ]

Used By: Interface_Definition Interface_Signals

Syntype_Definition ::= "SYNTYPE" Name "=" Tag_Sort "ENDSYNTYPE" [ Dup_Name ] End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Asn1type_Definition ::= Name "::=" Tag_Sort End1

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Used By: Sort Sort_Constraint

BooleanType ::= "BOOLEAN" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

IntegerType ::= "INTEGER" [ IntegerTypeConstant ] [ IntegerTypeConstraint ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

IntegerTypeConstraint ::= "(" MinValue ".." MaxValue [ "," SizeConstraintExtensionMarker ] ")"

Used By: IntegerType

IntegerTypeConstant ::= "{" NamedNumbers "}"

Used By: IntegerType

BitStringType ::= "BIT" "STRING" [ BitStringTypeConstant ] [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

BitStringTypeConstant ::= "{" NamedNumbers "}"

Used By: BitStringType

OctetStringType ::= "OCTET" "STRING" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

NullType ::= "NULL" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

ObjectIdentifierType ::= "OBJECT" "IDENTIFIER" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

ObjectDescriptorType ::= "ObjectDescriptor" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

ExternalType ::= "EXTERNAL" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

RealType ::= "REAL" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

EnumeratedType ::= "ENUMERATED" "{" Enumeration "}" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

EmbeddedPdvType ::= "EMBEDDED" "PDV" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

Utf8StringType ::= "UTF8String" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

NumericStringType ::= "NumericString" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

PrintableStringType ::= "PrintableString" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

TeletexStringType ::= "TeletexString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

T61StringType ::= "T61String" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

VideotexStringType ::= "VideotexString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

IA5StringType ::= "IA5String" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

UTCTimeType ::= "UTCTime" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

GeneralizedTimeType ::= "GeneralizedTime" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

GraphicStringType ::= "GraphicString" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

VisibleStringType ::= "VisibleString" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

ISO646StringType ::= "ISO646String" [ "(" SizeConstraint ")" ] [ "(" FromConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

GeneralStringType ::= "GeneralString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

UniversalStringType ::= "UniversalString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

UnrestrictedCharacterStringType ::= "UnrestrictedCharacterString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

BMPStringType ::= "BMPString" [ "(" SizeConstraint ")" ] [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

SizeConstraint ::= MinMaxSizeConstraint | UniSizeConstraint

Used By: BMPStringType BitStringType Class_Fields GeneralStringType GraphicStringType IA5StringType ISO646StringType NumericStringType OctetStringType PrintableStringType SequenceOf SetOf T61StringType TeletexStringType UniversalStringType UnrestrictedCharacterStringType Utf8StringType VideotexStringType VisibleStringType

MinMaxSizeConstraint ::= "SIZE" "(" MinValue ".." MaxValue [ "," SizeConstraintExtensionMarker ] ")"

Used By: SizeConstraint

UniSizeConstraint ::= "SIZE" "(" Value [ "," SizeConstraintExtensionMarker ] ")"

Used By: Array SizeConstraint

RefSizeConstraint ::= "SIZE" "(" ( RefSizeConstraintLen | RefSizeConstraintPadding ) ")"

Used By: NameTagTypeOptional

RefSizeConstraintLen ::= "." Identifier [ RefSizeConstraintMul ] [ RefSizeConstraintAdd ]

Used By: RefSizeConstraint

RefSizeConstraintPadding ::= "!" SimpExpr

Used By: RefSizeConstraint

RefSizeConstraintMul ::= ( "*" | "/" ) Num

Used By: RefSizeConstraintLen

RefSizeConstraintAdd ::= ( "+" | "-" ) Num

Used By: RefSizeConstraintLen

SizeConstraintExtensionMarker ::= ExtensionMarker1 | ExtensionMarker2

Used By: IntegerTypeConstraint MinMaxSizeConstraint UniSizeConstraint

ExtensionMarker1 ::= "..."

Used By: SizeConstraintExtensionMarker

ExtensionMarker2 ::= "@@@@@..."

Used By: SizeConstraintExtensionMarker

FromConstraint ::= "FROM" "(" Text ")"

Used By: GraphicStringType IA5StringType ISO646StringType NumericStringType OctetStringType PrintableStringType VisibleStringType

FormatConstraint ::= "FORMAT" "(" IdentifierKommaList ")"

Used By: AnyType Array BMPStringType BitStringType BooleanType Choice EmbeddedPdvType EnumeratedType ExternalType GeneralStringType GeneralizedTimeType GraphicStringType IA5StringType ISO646StringType IntegerType NullType NumericStringType ObjectDescriptorType ObjectIdentifierType OctetStringType PrintableStringType RealType Sequence SequenceOf Set SetOf Syntype_Constraint T61StringType TeletexStringType UTCTimeType UniversalStringType UnrestrictedCharacterStringType Utf8StringType VideotexStringType VisibleStringType

IdentifierKommaList ::= [ Disable ] Identifier [ Comment ] [ "," IdentifierKommaList ]

Used By: FormatConstraint IdentifierKommaList

Enumeration ::= [ Disable ] EnumerationItem [ Comment ] [ "," Enumeration ]

Used By: EnumeratedType Enumeration

EnumerationItem ::= NamedNumber | Identifier | ExtensionMarker

Used By: Enumeration

NamedNumbers ::= [ Disable ] NamedNumber [ Comment ] [ "," NamedNumbers ]

Used By: BitStringTypeConstant IntegerTypeConstant NamedNumbers

NamedNumber ::= Identifier "(" Value ")"

Used By: EnumerationItem NamedNumbers

AnyType ::= "ANY" [ "(" FormatConstraint ")" ]

Used By: Simple_Sort

FifoType ::= "SX_FIFO_T" "(" "SIZE" "(" Value ")" ")"

Used By: Simple_Sort

Used By: Sort Sort_Constraint

Array ::= "ARRAY" UniSizeConstraint [ FormatConstraint ] "OF" Tag_Sort

Used By: Constructed_Sort

Sequence ::= "SEQUENCE" [ "(" FormatConstraint ")" ] "{" [ NameTagTypeOptionalExtendedList ] "}"

Used By: Constructed_Sort

Set ::= "SET" [ "(" FormatConstraint ")" ] "{" [ NameTagTypeOptionalExtendedList ] "}"

Used By: Constructed_Sort

NameTagTypeOptionalExtendedList ::= [ Disable ] NameTagTypeOptionalExtended [ Comment ] [ "," NameTagTypeOptionalExtendedList ]

Used By: NameTagTypeOptionalExtendedList Sequence Set

NameTagTypeOptionalExtended ::= NameTagTypeOptional | ExtensionMarker

Used By: NameTagTypeOptionalExtendedList

NameTagTypeOptional ::= Name ( Tag_SeqClass | Tag_SeqUnion | Tag_Sort ) [ "(" RefSizeConstraint ")" ] [ OpenType ] [ Optional ] [ PseudoTag ]

Used By: NameTagTypeOptionalExtended

Choice ::= "CHOICE" [ "(" FormatConstraint ")" ] "{" [ NameTagTypeExtendedList ] "}"

Used By: Constructed_Sort

NameTagTypeExtendedList ::= [ Disable ] NameTagTypeExtended [ Comment ] [ "," NameTagTypeExtendedList ]

Used By: Choice NameTagTypeExtendedList

NameTagTypeExtended ::= NameTagType | ExtensionMarker

Used By: NameTagTypeExtendedList

NameTagType ::= Name Tag_Sort [ OpenType ]

Used By: NameTagTypeExtended

SequenceOf ::= "SEQUENCE" [ SizeConstraint ] [ FormatConstraint ] "OF" Tag_Sort

Used By: Constructed_Sort

SetOf ::= "SET" [ SizeConstraint ] [ FormatConstraint ] "OF" Tag_Sort

Used By: Constructed_Sort

Optional ::= Optional1 | Optional2

Used By: Gate_Definition NameTagTypeOptional Name_Type_Opt_List Sort_List_

Optional1 ::= "OPTIONAL"

Used By: Optional

Optional2 ::= "@@@@@OPTIONAL"

Used By: Optional

PseudoTag ::= ":=" Expression

Used By: NameTagTypeOptional

OpenType ::= OpenType1 | OpenType2

Used By: NameTagType NameTagTypeOptional

OpenType1 ::= "OPEN_TYPE"

Used By: OpenType

OpenType2 ::= "@@@@@OPEN_TYPE"

Used By: OpenType

Class_Definition ::= Identifier "::=" "MINI_CLASS" "{" [ Class_Fields ] "}" "DEFINED" "BY" Sort_Constraint End

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Class_Fields ::= [ Disable ] Identifier [ Sort_Constraint ] [ "(" SizeConstraint ")" ] [ Comment ] [ "," Class_Fields ]

Used By: Class_Definition Class_Fields

Class_Element ::= Identifier Identifier2 "::=" "{" [ Class_Element_Fields ] "}" "DEFINED" "BY" Class_Element_Def End

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_Protocol Entity_In_SDL Entity_In_System Entity_In_Testsuite

Class_Element_Fields ::= [ Disable ] Identifier Sort_Constraint [ Expression ] [ Comment ] [ "," Class_Element_Fields ]

Used By: Class_Element Class_Element_Fields

Class_Element_Def ::= Expression | "DEFAULT"

Used By: Class_Element

Channel_Definition ::= "CHANNEL" [ "NODELAY" ] "FROM" Channel_End_Point_S1 "TO" Channel_End_Point_D1 End1 "FROM" Channel_End_Point_S2 "TO" Channel_End_Point_D2 End2 "ENDCHANNEL" End3

Used By: Entity_In_Block Entity_In_SDL Entity_In_System

Channel_End_Point ::= Channel_End_Point_Connection | "NOTHING"

Used By: Channel_Definition

Channel_End_Point_Connection ::= Proc_Name [ Proc_Dim ] "VIA" Gate_Name [ Gate_Dim ]

Used By: Channel_End_Point

Used By: Block_Body Entity_In_Block

Typebased_Block_Definition ::= "BLOCK" Name [ Dimension ] ":" Base_Type End1

Used By: Entity_In_Block Entity_In_SDL Entity_In_System

Block_Type_Definition ::= "BLOCK" "TYPE" Block_Body "ENDBLOCK" "TYPE" [ Dup_Name ] End1

Used By: Entity_In_Block Entity_In_Package Entity_In_SDL Entity_In_System

Block_Body ::= Name [ External ] End1 [ Gate_Definition ] [ Entity_In_Block ]

Used By: Block_Type_Definition

External ::= External1 | External2

Used By: Block_Body

External1 ::= "EXTERNAL"

Used By: External

External2 ::= "@@@@@EXTERNAL"

Used By: External

Scenario_Block_Definition ::= "SCENARIOBLOCK" Name End1 [ "TESTPURPOSE" Purpose ";" ] [ "PICS" PicsExpr ";" ] [ Scenario_Definition_List ] "ENDSCENARIOBLOCK" [ Dup_Name ] End2

Used By: Entity_In_SDL Entity_In_Testsuite Scenario_Definition_List

Scenario_Definition_List ::= [ Disable ] ( Scenario_Definition | Scenario_Block_Definition ) [ Scenario_Definition_List ]

Used By: Scenario_Block_Definition Scenario_Definition_List

Scenario_Definition ::= "SCENARIO" Name End1 [ "TESTPURPOSE" Purpose ";" ] [ "PICS" PicsExpr ";" ] Defined_Body "ENDSCENARIO" [ Dup_Name ] End2

Used By: Entity_In_SDL Entity_In_Testsuite Scenario_Definition_List

Typebased_Process_Definition ::= "PROCESS" Name [ Dimension ] ":" Base_Type End1

Used By: Entity_In_Block Entity_In_SDL Entity_In_System

Typebased_Agent_Definition ::= "INSTANCE" Name [ Dimension ] ":" Base_Type End1

Used By: Entity_In_Block Entity_In_SDL Entity_In_System

Process_Body ::= Name End1 [ Gate_Definition ] [ Entity_In_Process ] Defined_Body

Used By: Process_Type_Definition

Process_Type_Definition ::= "PROCESS" "TYPE" Process_Body "ENDPROCESS" "TYPE" [ Dup_Name ] End1

Used By: Entity_In_Block Entity_In_Package Entity_In_SDL Entity_In_System

Used By: Entity_In_Process Process_Body

Procedure_Definition ::= "PROCEDURE" Name End1 [ Procedure_Definition_Parameters ] [ Procedure_Definition_Result ] Procedure_Body "ENDPROCEDURE" [ Dup_Name ] End2

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Procedure_Definition_Parameters ::= "FPAR" Formal_Parameters End1

Used By: Procedure_Definition Procedure_Definition_Ext

Procedure_Definition_Result ::= "RETURNS" Result End1

Used By: Procedure_Definition Procedure_Definition_Ext

Procedure_Definition_Ext ::= "PROCEDURE" Name End1 [ Procedure_Definition_Parameters ] [ Procedure_Definition_Result ] "EXTERNAL" End2

Used By: Entity_In_Block Entity_In_Package Entity_In_Procedure Entity_In_Process Entity_In_SDL Entity_In_System Entity_In_Testsuite

Result ::= [ Name ] Sort

Used By: Procedure_Definition_Result

Procedure_Body ::= [ Entity_In_Procedure ] Defined_Body

Used By: Procedure_Definition

Formal_Parameters ::= [ Disable ] [ FPar_In_Out ] Var_Name_List Sort [ Comment ] [ "," Formal_Parameters ]

Used By: Formal_Parameters Procedure_Definition_Parameters

FPar_In_Out ::= IO | I

Used By: Formal_Parameters

IO ::= "IN" "/" "OUT"

Used By: FPar_In_Out

I ::= "IN"

Used By: FPar_In_Out

Var_Name_List ::= [ Disable ] Name [ Comment ] [ "," Var_Name_List ]

Used By: Formal_Parameters Var_Name_List

Used By: Entity_In_Procedure Procedure_Body

Variable_Definition ::= "DCL" Name_Type [ Variable_Definition_Init ] End1

Used By: Entity_In_Procedure Entity_In_Process Entity_In_Testsuite Variable_Definition_List

Variable_Definition_List ::= Variable_Definition [ Variable_Definition_List ]

Used By: Pics_Definition Variable_Definition_List

Variable_Definition_Init ::= ":=" Primary

Used By: SXC_Variable_Definition Variable_Definition

Name_Type_List ::= [ Disable ] Name_Type [ Comment ] [ "," Name_Type_List ]

Used By: ConTemplate_Definition Name_Type_List

Name_Type_Opt_List ::= [ Disable ] Name_Type [ Optional ] [ Comment ] [ "," Name_Type_Opt_List ]

Used By: Interface_Signals Name_Type_Opt_List

Name_Type ::= Name Sort

SAFIRE MP 19.01.41.01

Productions