![]() |
![]() |
![]() |
![]() |
![]() |
The TTCN-MP Syntax Productions in BNF
- TTCN_Module ::= $TTCN_Module TTCN_ModuleId TTCN_ModuleOverviewPart [TTCN_ModuleImportPart] [DeclarationsPart] [ConstraintsPart] [DynamicPart] $End_TTCN_Module
- TTCN_ModuleId ::= $TTCN_ModuleId TTCN_ModuleIdentifier
- TTCN_ModuleIdentifier ::= Identifier
- TTCN_ModuleOverviewPart ::= $TTCN_ModuleOverviewPart TTCN_ModuleExports [TTCN_ModuleStructure] [TestCaseIndex] [TestStepIndex] [DefaultIndex] $End_TTCN_ModuleOverviewPart
- TTCN_ModuleExports ::= $Begin_TTCN_ModuleExports TTCN_ModuleId [TTCN_ModuleRef] [TTCN_ModuleObjective] [StandardsRef] [PICSref] [PIXITref] [TestMethods] [Comment] ExportedObjects [Comment] $End_ModuleExports
- TTCN_ModuleRef ::= $TTCN_ModuleRef BoundedFreeText
- TTCN_ModuleObjective ::= $TTCN_ModuleObjective BoundedFreeText
- ExportedObjects ::= $ExportedObjects {ExportedObject} $End_ExportedObjects
- ExportedObject ::= $ExportedObject ObjectId ObjectType [SourceInfo] [Comment] $End_ExportedObject
- ObjectId ::= $ObjectId ObjectIdentifier
- ObjectIdentifier ::= Identifier | ObjectTypeReference
- ObjectTypeReference ::= Identifier '[' Identifier ']'
- ObjectType ::= $ObjectType ObjectPredefinedType
- ObjectPredefinedType ::= SimpleType_Object | StructType_Object | ASN1_Type_Object | TS_Op_Object | TS_Proc_Object | TS_Par_Object | SelectExpr_Object | TS_Const_Object | TS_Var_Object | TC_Var_Object | PCO_Type_Object | PCO_Object | CP_Object | Timer_Object | TComp_Object | TCompConfig_Object | TTCN_ASP_Type_Object | ASN1_ASP_Type_Object | TTCN_PDU_Type_Object | ASN1_PDU_Type_Object | TTCN_CM_Type_Object | ASN1_CM_Type_Object | EncodingRule_Object | EncodingVariation_Object | InvalidFieldEncoding_Object | Alias_Object | StructTypeConstraint_Object | ASN1TypeConstraint_Object | TTCN_ASP_Constraint_Object | ASN1_ASP_Constraint_Object | TTCN_PDU_Constraint_Object | ASN1_PDU_Constraint_Object | TTCN_CM_Constraint_Object | ASN1_CM_Constraint_Object | TestCase_Object | TestStep_Object | Default_Object | NamedNumber_Object | Enumeration_Object
- SourceInfo ::= $SourceInfo (SourceIdentifier | ObjectDirective)
- SourceIdentifier ::= SuiteIdentifier | TTCN_ModuleIdentifier | PackageIdentifier
- ObjectDirective ::= '-' | OMIT | EXTERNAL
- TTCN_ModuleStructure ::= $Begin_TTCN_ModuleStructure Structure&Objectives [Comment] $End_TTCN_ModuleStructure
- TTCN_ModuleImportPart ::= $TTCN_ModuleImportPart [ExternalObjects] [ImportDeclarations] $End_TTCN_ModuleImportPart
- ExternalObjects ::= $Begin_ExternalObjects {ExternalObject}+ [Comment] $End_ExternalObjects
- ExternalObject ::= $ExternalObject ExternalObjectId ObjectType [Comment] $End_ExternalObject
- ExternalObjectId ::= $ExternalObjectId ExternalObjectIdentifier
- ExternalObjectIdentifier ::= ObjectIdentifier | TS_OpId&ParList | ConsId&ParList | TestStepId&ParList
- ImportDeclarations ::= $ImportDeclarations {Imports}+ $End_ImportDeclarations
- Imports ::= $Begin_Imports SourceId [SourceRef] [StandardsRef] [Comment] ImportedObjects [Comment] $End_Imports
- SourceId ::= $SourceId SourceIdentifier
- SourceRef ::= $SourceRef BoundedFreeText
- ImportedObjects ::= $ImportedObjects {ImportedObject}+ $End_ImportedObjects
- ImportedObject ::= $ImportedObject ObjectId ObjectType [SourceInfo] [Comment] $End_ImportedObject
- Package ::= $Package PackageId PackageExports PackageImports $End_Package
- PackageId ::= $PackageId PackageIdentifier
- PackageIdentifier ::= Identifier
- PackageExports ::= $Begin_PackageExports PackageId [Comment] PackageExportedObjects [Comment] $End_PackageExports
- PackageExportedObjects ::= $PackageExportedObjects {PackageExportedObject}+ $End_PackageExportedObjects
- PackageExportedObject ::= $PackageExportedObject ObjectId ObjectType [SourceInfo] [Comment] $End_PackageExportedObject
- PackageImport ::= $Begin_PackageImport SourceId [Comment] PackageImportedObjects [Comment] $End_PackageImport
- PackageImportedObjects ::= $PackageImportedObjects {PackageImportedObject}+ $End_PackageImportedObjects
- PackageImportObject ::= $PackageImportObject ObjectId ObjectType [NewObjectDef] [NewObjectId] [Comment] $End_PackageImportObject
- NewObjectDef ::= $NewObjectDef (NewObjectIdentifier | ObjectDirective)
- NewObjectId ::= $NewObjectId NewObjectIdentifier
- NewObjectIdentifier ::= ObjectIdentifier
- Suite ::= $Suite SuiteId SuiteOverviewPart [ImportPart] DeclarationsPart ConstraintsPart DynamicPart $End_Suite
- SuiteId ::= $SuiteId SuiteIdentifier
- SuiteIdentifier ::= Identifier
- SuiteOverviewPart ::= $SuiteOverviewPart [TestSuiteIndex] SuiteStructure [TestCaseIndex] [TestStepIndex] [DefaultIndex] $End_SuiteOverviewPart
- ObjectInfo ::= $ObjectInfo ObjectId ObjectType SourceId OrigObjectId [PageNum] [Comment] $End_ObjectInfo
- PageNum ::= $PageNum PageNumber
- PageNumber ::= Number
- OrigObjectId ::= $OrigObjectId ObjectIdentifier
- SuiteStructure ::= $Begin_SuiteStructure SuiteId StandardsRef PICSref PIXITref TestMethods [Comment] Structure&Objectives [Comment] $End_SuiteStructure
- StandardsRef ::= $StandardsRef BoundedFreeText
- PICSref ::= $PICSref BoundedFreeText
- PIXITref ::= $PIXITref BoundedFreeText
- TestMethods ::= $TestMethods BoundedFreeText
- Comment ::= $Comment [BoundedFreeText]
- Structure&Objectives ::= $Structure&Objectives {Structure&Objective} $End_Structure&Objectives
- Structure&Objective ::= $Structure&Objective TestGroupRef SelExprId Objective $End_Structure&Objective
- SelExprId ::= $SelectExprId [SelectExprIdentifier]
- TestCaseIndex ::= $Begin_TestCaseIndex {CaseIndex} [Comment] $End_TestCaseIndex
- CaseIndex ::= $CaseIndex TestGroupRef TestCaseId SelExprId Description $End_CaseIndex
- Description ::= $Description BoundedFreeText
- TestStepIndex ::= $Begin_TestStepIndex {StepIndex} [Comment] $End_TestStepIndex
- StepIndex ::= $StepIndex TestStepRef TestStepId Description $End_StepIndex
- DefaultIndex ::= $Begin_DefaultIndex {DefIndex} [Comment] $End_DefaultIndex
- DefIndex ::= $DefIndex DefaultRef DefaultId Description $End_DefIndex
- DeclarationsPart ::= $DeclarationsPart Definitions Parameterization&Selection Declarations ComplexDefinitions $End_DeclarationsPart
- TS_TypeDefs ::= $TS_TypeDefs [SimpleTypeDefs] [StructTypeDefs] [ASN1_TypeDefs] [ASN1_TypeRefs] $End_TS_TypeDefs
- SimpleTypeDefs ::= $Begin_SimpleTypeDefs {SimpleTypeDef}+ [Comment] $End_SimpleTypeDefs
- SimpleTypeDef ::= $SimpleTypeDef SimpleTypeId SimpleTypeDefinition [PDU_FieldEncoding] [Comment] $End_SimpleTypeDef
- SimpleTypeId ::= $SimpleTypeId SimpleTypeIdentifier
- SimpleTypeIdentifier ::= Identifier
- SimpleTypeDefinition ::= $SimpleTypeDefinition Type&Restriction
- Type&Restriction ::= Type [Restriction]
- Restriction ::= LengthRestriction | IntegerRange | SimpleValueList
- LengthRestriction ::= SingleTypeLength | RangeTypeLength
- SingleTypeLength ::= "["Number "]"
- RangeTypeLength ::= "[" LowerTypeBound To UpperTypeBound "]"
- IntegerRange ::= "(" LowerTypeBound To UpperTypeBound ")"
- LowerTypeBound ::= [Minus] Number | Minus INFINITY
- UpperTypeBound ::= [Minus] Number | INFINITY
- To ::= TO | ".."
- SimpleValueList ::= "(" [Minus] LiteralValue {Comma [Minus] LiteralValue} ")"
- StructTypeDefs ::= $StructTypeDefs {StructTypeDef}+ $End_StructTypeDefs
- StructTypeDef ::= $Begin_StructTypeDef StructId [EncVariationId] [Comment] ElemDcls [Comment] $End_StructTypeDef
- StructId ::= $StructId StructId&FullId
- StructId&FullId ::= StructIdentifier [FullIdentifier]
- FullIdentifier ::= "(" BoundedFreeText ")"
- StructIdentifier ::= Identifier
- ElemDcls ::= $ElemDcls {ElemDcl}+ $End_ElemDcls
- ElemDcl ::= $ElemDcl ElemId ElemType [PDU_FieldEncoding] [Comment] $End_ElemDcl
- ElemId ::= $ElemId ElemId&FullId
- ElemId&FullId ::= ElemIdentifier [FullIdentifier]
- ElemIdentifier ::= Identifier
- ElemType ::= $ElemType Type&Attributes
- ASN1_TypeDefs ::= $ASN1_TypeDefs {ASN1_TypeDef}+ $End_ASN1_TypeDefs
- ASN1_TypeDef ::= $Begin_ASN1_TypeDef ASN1_TypeId [EncVariationId] [Comment] ASN1_TypeDefinition [Comment] $End_ASN1_TypeDef
- ASN1_TypeId ::= $ASN1_TypeId ASN1_TypeId&FullId
- ASN1_TypeId&FullId ::= ASN1_TypeIdentifier [FullIdentifier]
- ASN1_TypeIdentifier ::= Identifier
- ASN1_TypeDefinition ::= $ASN1_TypeDefinition ASN1_Type&LocalTypes $End_ASN1_TypeDefinition
- ASN1_Type&LocalTypes ::= ASN1_Type {ASN1_LocalType}
- ASN1_Type ::= ASN1_main_Type [ASN1_Encoding]
- ASN1_LocalType ::= TypeAssignment
ASN.1 Type Definitions by Reference
- ASN1_TypeRefs ::= $Begin_ASN1_TypeRefs {ASN1_TypeRef}+ [Comment] $End_ASN1_TypeRefs
- ASN1_TypeRef ::= $ASN1_TypeRef ASN1_TypeId ASN1_TypeReference ASN1_ModuleId [EncVariationId] [Comment] [ASN1_TypeDefinition] $End_ASN1_TypeRef
- ASN1_TypeReference ::= $ASN1_TypeReference TypeReference
- TypeReference ::= typereference
- ASN1_ModuleId ::= $ASN1_ModuleId ModuleIdentifier
- ModuleIdentifier ::= moduleidentifier
Test Suite Operation Definitions
- TS_OpDefs ::= $TS_OpDefs {TS_OpDef}+ $End_TS_OpDefs
- TS_OpDef ::= $Begin_TS_OpDef TS_OpId TS_OpResult [Comment] TS_OpDescription [Comment] $End_TS_OpDef
- TS_OpId ::= $TS_OpId TS_OpId&ParList
- TS_OpId&ParList ::= TS_OpIdentifier [FormalParList]
- TS_OpIdentifier ::= Identifier
- TS_OpResult ::= $TS_OpResult TypeOrPDU
- TS_OpDescription ::= $TS_OpDescription BoundedFreeText
Test Suite Operation Procedural Definitions
- TS_ProcDefs ::= $TS_ProcDefs {TS_ProcDef}+ $End_TS_ProcDefs
- TS_ProcDef ::= $Begin_TS_ProcDef TS_ProcId TS_ProcResult [Comment] TS_ProcDescription [Comment] $End_TS_ProcDef
- TS_ProcId ::= $TS_ProcId TS_ProcId&ParList
- TS_ProcId&ParList ::= TS_ProcIdentifier [FormalParList]
- TS_ProcIdentifier ::= Identifier
- TS_ProcResult ::= $TS_ProcResult TypeOrPDU
- TS_ProcDescription ::= $TS_ProcDescription TS_OpProcDef $End_TS_ProcDescription
- TS_OpProcDef ::= [VarBlock] ProcStatement
- VarBlock ::= VAR VarDcls ENDVAR
- VarDcls ::= {VarDcl SemiColon}
- VarDcl ::= [STATIC] VarIdentifiers Colon TypeOrPDU [Colon Value]
- VarIdentifiers ::= VarIdentifier {Comma VarIdentifier}
- VarIdentifier ::= Identifier
- ProcStatement ::= ReturnValueStatement | Assignment | IfStatement | WhileLoop | CaseStatement | ProcBlock
- ReturnValueStatement ::= RETURNVALUE Expression
- IfStatement ::= IF Expression THEN {ProcStatement SemiColon}+ [ELSE {ProcStatement SemiColon}+] ENDIF
- WhileLoop ::= WHILE Expression DO {ProcStatement SemiColon}+ ENDWHILE
- CaseStatement ::= CASE Expression OF {CaseClause SemiColon}+ [ELSE {ProcStatement SemiColon}+] ENDCASE
- CaseClause ::= IntegerLabel Colon ProcStatement
- IntegerLabel ::= Number | TS_ParIdentifier | TS_ConstIdentifier
- ProcBlock ::= BEGIN {ProcStatement SemiColon}+ END
Parameterization and Selection
Test Suite Parameter Declarations
- TS_ParDcls ::= $Begin_TS_ParDcls {TS_ParDcl}+ [Comment] $End_TS_ParDcls
- TS_ParDcl ::= $TS_ParDcl TS_ParId TS_ParType PICS_PIXITref [Comment] $End_TS_ParDcl
- TS_ParId ::= $TS_ParId TS_ParIdentifier
- TS_ParIdentifier ::= Identifier
- TS_ParType ::= $TS_ParType TypeOrPDU
- PICS_PIXITref ::= $PICS_PIXITref BoundedFreeText
Test Case Selection Expression Definitions
- SelectExprDefs ::= $Begin_SelectExprDefs {SelectExprDef}+ [Comment] $End_SelectExprDefs
- SelectExprDef ::= $SelectExprDef SelectExprId SelectExpr [Comment] $End_SelectExprDef
- SelectExprId ::= $SelectExprId SelectExprIdentifier
- SelectExprIdentifier ::= Identifier
- SelectExpr ::= $SelectExpr SelectionExpression
- SelectionExpression ::= Expression
- Declarations ::= [TS_ConstDcls] [TS_ConstRefs] [TS_VarDcls] [TC_VarDcls] [PCO_TypeDcls] [PCO_Dcls] [CP_Dcls] [TimerDcls] [TCompDcls TCompConfigDcls]
Test Suite Constant Declarations
- TS_ConstDcls ::= $Begin_TS_ConstDcls {TS_ConstDcl}+ [Comment] $End_TS_ConstDcls
- TS_ConstDcl ::= $TS_ConstDcl TS_ConstId TS_ConstType TS_ConstValue [Comment] $End_TS_ConstDcl
- TS_ConstId ::= $TS_ConstId TS_ConstIdentifier
- TS_ConstIdentifier ::= Identifier
- TS_ConstType ::= $TS_ConstType Type
- TS_ConstValue ::= $TS_ConstValue DeclarationValue
- DeclarationValue ::= Expression
Test Suite Constant Declarations by Reference
- TS_ConstRefs ::= $Begin_TS_ConstRefs {TS_ConstRef}+ [Comment] $End_TS_ConstRefs
- TS_ConstRef ::= $TS_ConstRef TS_ConstId TS_ConstType ASN1_ValueReference ASN1_ModuleId [Comment] [ASN1_Value] $End_TS_ConstRef
- ASN1_ValueReference ::= $ASN1_ValueReference ValueReference
- ValueReference ::= valuereference
Test Suite Variable Declarations
- TS_VarDcls ::= $Begin_TS_VarDcls {TS_VarDcl}+ [Comment] $End_TS_VarDcls
- TS_VarDcl ::= $TS_VarDcl TS_VarId TS_VarType TS_VarValue [Comment] $End_TS_VarDcl
- TS_VarId ::= $TS_VarId TS_VarIdentifier
- TS_VarIdentifier ::= Identifier
- TS_VarType ::= $TS_VarType TypeOrPDU
- TS_VarValue ::= $TS_VarValue [DeclarationValue]
Test Case Variable Declarations
- TC_VarDcls ::= $Begin_TC_VarDcls {TC_VarDcl}+ [Comment] $End_TC_VarDcls
- TC_VarDcl ::= $TC_VarDcl TC_VarId TC_VarType TC_VarValue [Comment] $End_TC_VarDcl
- TC_VarId ::= $TC_VarId TC_VarIdentifier
- TC_VarIdentifier ::= Identifier
- TC_VarType ::= $TC_VarType TypeOrPDU
- TC_VarValue ::= $TC_VarValue [DeclarationValue]
- PCO_TypeDcls ::= $Begin_PCO_TypeDcls {PCO_TypeDcl}+ [Comment] $End_PCO_TypeDcls
- PCO_TypeDcl ::= $PCO_TypeDcl PCO_TypeId P_Role [Comment] $End_PCO_TypeDcl
- PCO_TypeId ::= $PCO_TypeId PCO_TypeIdentifier
- PCO_TypeIdentifier ::= Identifier
- PCO_Dcls ::= $Begin_PCO_Dcls {PCO_Dcl}+ [Comment] $End_PCO_Dcls
- PCO_Dcl ::= $PCO_Dcl PCO_Id PCO_TypeId&MuxValue P_Role [Comment] $End_PCO_Dcl
- PCO_Id ::= $PCO_Id PCO_Identifier
- PCO_Identifier ::= Identifier
- PCO_TypeId&MuxValue ::= $PCO_TypeId PCO_TypeIdentifier ["(" MuxValue ")"]
- MuxValue ::= TS_ParIdentifier
- P_Role ::= $PCO_Role PCO_Role
- PCO_Role ::= UT | LT
Coordination Points Declaration
- CP_Dcls ::= $Begin_CP_Dcls {CP_Dcl}+ [Comment] $End_CP_Dcls
- CP_Dcl ::= $CP_Dcl CP_Id [Comment] $End_CP_Dcl
- CP_Id ::= $CP_Id CP_Identifier
- CP_Identifier ::= Identifier
- TimerDcls ::= $Begin_TimerDcls {TimerDcl}+ [Comment] $End_TimerDcls
- TimerDcl ::= $TimerDcl TimerId Duration Unit [Comment] $End_TimerDcl
- TimerId ::= $TimerId TimerIdentifier
- TimerIdentifier ::= Identifier
- Duration ::= $Duration [DeclarationValue]
- Unit ::= $Unit TimeUnit
- TimeUnit ::= ps | ns | us | ms | s | min
- TCompDcls ::= $Begin_TCompDcls {TCompDcl}+ [Comment] $End_TCompDcls
- TCompDcl ::= $TCompDcl TCompId TCompRole NumOf PCOs NumOf CPs [Comment] $EndTCompDcl
- TCompId ::= $TCompId TCompIdentifier
- TCompIdentifier ::= Identifier
- TCompRole ::= $TCompRole TC_Role
- TC_Role ::= MTC | PTC
- NumOf_PCOs ::= $NumOf_PCOs Num_PCOs
- Num_PCOs ::= Number
- NumOf_Cps ::= $NumOf_CPs Num_CPs
- Num_CPs ::= Number
Test Component Configuration Declarations
- TCompConfigDcls ::= $TCompConfigDcls {TCompConfigDcl}+ $End_TCompConfigDcls
- TCompConfigDcl ::= $Begin_TCompConfigDcl TCompConfigId [Comment] TCompConfigInfos [Comment] $EndTCompConfigDcl
- TCompConfigId ::= $TCompConfigId TCompConfigIdentifier
- TCompConfigIdentifier ::= Identifier
- TCompConfigInfos ::= $TCompConfigInfos {TCompConfigInfo}+ $End_TCompConfigInfos
- TCompConfigInfo ::= $TCompConfigInfo TCompUsed PCOs_Used CPs_Used [Comment] $End_TCompConfigInfo
- TCompUsed ::= $TCompUsed TCompIdentifier
- PCOs_Used ::= $PCOs_Used [PCO_List]
- PCO_List ::= PCO_Identifier {Comma PCO_Identifier}
- CPs_Used ::= $CPs_Used [CP_List]
- CP_List ::= CP_Identifier {Comma CP_Identifier}
ASP, PDU and CM Type Definitions
- ASP_TypeDefs ::= $ASP_TypeDefs [TTCN_ASP_TypeDefs] [ASN1_ASP_TypeDefs] [ASN1_ASP_TypeDefsByRef] $End_ASP_TypeDefs
- TTCN_ASP_TypeDefs ::= $TTCN_ASP_TypeDefs {TTCN_ASP_TypeDef}+ $End_TTCN_ASP_TypeDefs
- TTCN_ASP_TypeDef ::= $Begin_TTCN_ASP_TypeDef ASP_Id PCO_Type [Comment] [ASP_ParDcls] [Comment] $End_TTCN_ASP_TypeDef
- PCO_Type ::= $PCO_Type [PCO_TypeIdentifier]
- ASP_Id ::= $ASP_Id ASP_Id&FullId
- ASP_Id&FullId ::= ASP_Identifier [FullIdentifier]
- ASP_Identifier ::= Identifier
- ASP_ParDcls ::= $ASP_ParDcls {ASP_ParDcl} $End_ASP_ParDcls
- ASP_ParDcl ::= $ASP_ParDcl ASP_ParId ASP_ParType [Comment] $End_ASP_ParDcl
- ASP_ParId ::= $ASP_ParId ASP_ParIdOrMacro
- ASP_ParIdOrMacro ::= ASP_ParId&FullId | MacroSymbol
- ASP_ParId&FullId ::= ASP_ParIdentifier [FullIdentifier]
- ASP_ParIdentifier ::= Identifier
- ASP_ParType ::= $ASP_ParType Type&Attributes
- ASN1_ASP_TypeDefs ::= $ASN1_ASP_TypeDefs {ASN1_ASP_TypeDef} $End_ASN1_ASP_TypeDefs
- ASN1_ASP_TypeDef ::= $Begin_ASN1_ASP_TypeDef ASP_Id PCO_Type [Comment] [ASN1_TypeDefinition] [Comment] $End_ASN1_ASP_TypeDef
ASN.1 ASP Type Definitions by Reference
- ASN1_ASP_TypeDefsByRef ::= $Begin_ASN1_ASP_TypeDefsByRef {ASN1_ASP_TypeDefByRef}+ [Comment] $End_ASN1_ASP_TypeDefsByRef
- ASN1_ASP_TypeDefByRef ::= $ASN1_ASP_TypeDefByRef ASP_Id PCO_Type ASN1_TypeReference ASN1_ModuleId [Comment] [ASN1_TypeDefinition] $End_ASN1_ASP_TypeDefByRef
- PDU_TypeDefs ::= $PDU_TypeDefs [TTCN_PDU_TypeDefs] [ASN1_PDU_TypeDefs] [ASN1_PDU_TypeDefsByRef] $End_PDU_TypeDefs
- TTCN_PDU_TypeDefs ::= $TTCN_PDU_TypeDefs {TTCN_PDU_TypeDef}+ $End_TTCN_PDU_TypeDefs
- TTCN_PDU_TypeDef ::= $Begin_TTCN_PDU_TypeDef PDU_Id PCO_Type [PDU_EncodingId] [EncVariationId] [Comment] [PDU_FieldDcls] [Comment] $End_TTCN_PDU_TypeDef
- PDU_Id ::= $PDU_Id PDU_Id&FullId
- PDU_Id&FullId ::= PDU_Identifier [FullIdentifier]
- PDU_Identifier ::= Identifier
- PDU_EncodingId ::= $PDU_EncodingId [EncodingRuleIdentifier]
- PDU_FieldDcls ::= $PDU_FieldDcls {PDU_FieldDcl} $End_PDU_FieldDcls
- PDU_FieldDcl ::= $PDU_FieldDcl PDU_FieldId PDU_FieldType [PDU_FieldEncoding] [Comment] $End_PDU_FieldDcl
- PDU_FieldId ::= $PDU_FieldId PDU_FieldIdOrMacro
- PDU_FieldIdOrMacro ::= PDU_FieldId&FullId | MacroSymbol
- MacroSymbol ::= "<-"
- PDU_FieldId&FullId ::= PDU_FieldIdentifier [FullIdentifier]
- PDU_FieldIdentifier ::= Identifier
- PDU_FieldType ::= $PDU_FieldType Type&Attributes
- Type&Attributes ::= (Type [LengthAttribute]) | PDU
- LengthAttribute ::= SingleLength | RangeLength
- SingleLength ::= "[" Bound "]"
- Bound ::= Number | TS_ParIdentifier | TS_ConstIdentifier
- RangeLength ::= "[" LowerBound To UpperBound "]"
- LowerBound ::= Bound
- UpperBound ::= Bound | INFINITY
- ASN1_PDU_TypeDefs ::= $ASN1_PDU_TypeDefs {ASN1_PDU_TypeDef} $End_ASN1_PDU_TypeDefs
- ASN1_PDU_TypeDef ::= $Begin_ASN1_PDU_TypeDef PDU_Id PCO_Type [PDU_EncodingId] [EncVariationId] [Comment] [ASN1_TypeDefinition] [Comment] $End_ASN1_PDU_TypeDef
ASN.1 PDU Type Definitions by Reference
- ASN1_PDU_TypeDefsByRef ::= $Begin_ASN1_PDU_TypeDefsByRef {ASN1_PDU_TypeDefByRef}+ [Comment] $End_ASN1_PDU_TypeDefsByRef
- ASN1_PDU_TypeDefByRef ::= $ASN1_PDU_TypeDefByRef PDU_Id PCO_Type ASN1_TypeReference ASN1_ModuleId [PDU_EncodingId] [EncVariationId] [Comment] [ASN1_TypeDefinition] $End_ASN1_PDU_TypeDefByRef
- TTCN_CM_TypeDefs ::= $TTCN_CM_TypeDefs {TTCN_CM_TypeDefs}+ $End_TTCN_CM_TypeDefs
- TTCN_CM_TypeDef ::= $Begin_TTCN_CM_TypeDef CM_Id [Comment] [CM_ParDcls] [Comment] $End_TTCN_CM_TypeDef
- CM_Id ::= $CM_Id CM_Identifier
- CM_Identifier ::= Identifier
- CM_ParDcls ::= $CM_ParDcls {CM_ParDcl} $End_CM_ParDcls
- CM_ParDcl ::= $CM_ParDcl CM_ParId CM_ParType [Comment] $End_CM_ParDcl
- CM_ParId ::= $CM_ParId CM_ParIdOrMacro
- CM_ParIdOrMacro ::= CM_ParIdentifier | MacroSymbol
- CM_ParIdentifier ::= Identifier
- CM_ParType ::= $CM_ParType Type&Attributes
- ASN1_CM_TypeDefs ::= $ASN1_CM_TypeDefs {ASN1_CM_TypeDefs}+ $End_ASN1_CM_TypeDefs
- ASN1_CM_TypeDef ::= $Begin_ASN1_CM_TypeDef CM_Id [Comment] [ASN1_TypeDefinition] [Comment] $End_ASN1_CM_TypeDef
Varieties of Encoding Definition
- EncodingDefs ::= $EncodingDefs [EncodingDefinitions] [EncodingVariations] [InvalidFieldEncodingDefs] $End_EncodingDefs
- EncodingDefinitions ::= $Begin_EncodingDefinitions {EncodingDefinition}+ [Comment] $End_EncodingDefinitions
- EncodingDefinition ::= $EncodingDefinition EncodingRuleId EncodingRef EncodingDefault [Comment] $End_EncodingDefinition
- EncodingRuleId ::= $EncodingRuleId EncodingRuleIdentifier
- EncodingRuleIdentifier ::= Identifier
- EncodingRef ::= $EncodingRef EncodingReference
- EncodingReference ::= BoundedFreeText
- EncodingDefault ::= $EncodingDefault [DefaultExpression]
- DefaultExpression ::= Expression
- EncodingVariations ::= $EncodingVariations {EncodingVariationSet}+ $End_EncodingVariations
- EncodingVariationSet ::= $Begin_EncodingVariationSet EncodingRuleId Encoding_TypeList [Comment] $EncodingVariationList {EncodingVariation}+ $End_EncodingVariationList [Comment] $End_EncodingVariationSet
- Encoding_TypeList ::= $Encoding_TypeList [TypeList]
- TypeList ::= Type {Comma Type}
- EncodingVariation ::= $EncodingVariation EncodingVariationId VariationRef VariationDefault [Comment] $End_EncodingVariation
- EncodingVariationId ::= $EncodingVariationId EncVariationId&ParList
- EncVariationId&ParList ::= EncVariationIdentifier [FormalParList]
- EncVariationIdentifier ::= Identifier
- VariationRef ::= $VariationRef VariationReference
- VariationReference ::= BoundedFreeText
- VariationDefault ::= $VariationDefault [DefaultExpression]
- InvalidFieldEncodingDefs ::= $InvalidFieldEncodingDefs {InvalidFieldEncodingDef}+ $End_InvalidFieldEncodingDefs
- InvalidFieldEncodingDef ::= $Begin_InvalidFieldEncodingDef InvalidFieldEncodingId Encoding_TypeList [Comment] InvalidFieldEncodingDefinition [Comment] $End_InvalidFieldEncodingDef
- InvalidFieldEncodingId ::= $InvalidFieldEncodingId InvalidFieldEncodingId&ParList
- InvalidFieldEncodingId&ParList ::= InvalidFieldEncodingIdentifier [FormalParList]
- InvalidFieldEncodingIdentifier ::= Identifier
- InvalidFieldEncodingDefinition ::= $InvalidFieldEncodingDefinition TS_OpProcDef $End_InvalidFieldEncodingDefinition
- AliasDefs ::= $Begin_AliasDefs {AliasDef}+ [Comment] $End_AliasDefs
- AliasDef ::= $AliasDef AliasId ExpandedId [Comment] $End_AliasDef
- AliasId ::= $AliasId AliasIdentifier
- AliasIdentifier ::= Identifier
- ExpandedId ::= $ExpandedId Expansion
- Expansion ::= ASP_Identifier | PDU_Identifier
- ConstraintsPart ::= $ConstraintsPart [TS_TypeConstraints] [ASP_Constraints] [PDU_Constraints] [CM_Constraints] $End_ConstraintsPart
Test Suite Type Constraint Declarations
- TS_TypeConstraints ::= $TS_TypeConstraints [StructTypeConstraints] [ASN1_TypeConstraints] $End_TS_TypeConstraints
Structured Type Constraint Declarations
- StructTypeConstraints ::= $StructTypeConstraints {StructTypeConstraint}+ $End_StructTypeConstraints
- StructTypeConstraint ::= $Begin_StructTypeConstraint ConsId StructId DerivPath [EncVariationId] [Comment] ElemValues [Comment] $End_StructTypeConstraint
- EncVariationId ::= $EncVariationId [EncVariationCall]
- EncVariationCall ::= EncVariationIdentifier [ActualParList]
- ElemValues ::= $ElemValues {ElemValue}+ $End_ElemValues
- ElemValue ::= $ElemValue ElemId ConsValue [PDU_FieldEncoding] [Comment] $End_ElemValue
- PDU_FieldEncoding ::= $PDU_FieldEncoding [PDU_FieldEncodingCall]
- PDU_FieldEncodingCall ::= EncVariationCall | InvalidFieldEncodingCall
- InvalidFieldEncodingCall ::= InvalidFieldEncodingIdentifier ( ActualParList | "(" ")" )
ASN.1 Type Constraint Declarations
- ASN1_TypeConstraints ::= $ASN1_TypeConstraints {ASN1_TypeConstraint}+ $End_ASN1_TypeConstraints
- ASN1_TypeConstraint ::= $Begin_ASN1_TypeConstraint ConsId ASN1_TypeId DerivPath [EncVariationId] [Comment] ASN1_ConsValue [Comment] $End_ASN1_TypeConstraint
- ASP_Constraints ::= $ASP_Constraints [TTCN_ASP_Constraints] [ASN1_ASP_Constraints] $End_ASP_Constraints
Tabular ASP Constraint Declarations
- TTCN_ASP_Constraints ::= $TTCN_ASP_Constraints {TTCN_ASP_Constraint}+ $End_TTCN_ASP_Constraints
- TTCN_ASP_Constraint ::= $Begin_TTCN_ASP_Constraint ConsId ASP_Id DerivPath [Comment] [ASP_ParValues] [Comment] $End_TTCN_ASP_Constraint
- ASP_ParValues ::= $ASP_ParValues {ASP_ParValue}+ $End_ASP_ParValues
- ASP_ParValue ::= $ASP_ParValue ASP_ParId ConsValue [Comment] $End_ASP_ParValue
ASN.1 ASP Constraint Declarations
- ASN1_ASP_Constraints ::= $ASN1_ASP_Constraints {ASN1_ASP_Constraint}+ $End_ASN1_ASP_Constraints
- ASN1_ASP_Constraint ::= $Begin_ASN1_ASP_Constraint ConsId ASP_Id DerivPath [Comment] [ASN1_ConsValue] [Comment] $End_ASN1_ASP_Constraint
- PDU_Constraints ::= $PDU_Constraints [TTCN_PDU_Constraints] [ASN1_PDU_Constraints] $End_PDU_Constraints
Tabular PDU Constraint Declarations
- TTCN_PDU_Constraints ::= $TTCN_PDU_Constraints {TTCN_PDU_Constraint}+ $End_TTCN_PDU_Constraints
- TTCN_PDU_Constraint ::= $Begin_TTCN_PDU_Constraint ConsId PDU_Id DerivPath [EncRuleId] [EncVariationId] [Comment] [PDU_FieldValues] [Comment] $End_TTCN_PDU_Constraint
- EncRuleId ::= $EncRuleId [EncodingRuleIdentifier]
- ConsId ::= $ConsId ConsId&ParList
- ConsId&ParList ::= ConstraintIdentifier [FormalParList]
- ConstraintIdentifier ::= Identifier
- DerivPath ::= $DerivPath [DerivationPath]
- DerivationPath ::= {ConstraintIdentifier Dot}+
- PDU_FieldValues ::= $PDU_FieldValues {PDU_FieldValue}+ $End_PDU_FieldValues
- PDU_FieldValue ::= $PDU_FieldValue PDU_FieldId ConsValue [PDU_FieldEncoding] [Comment] $End_PDU_FieldValue
- ConsValue ::= $ConsValue ConstraintValue&Attributes
- ConstraintValue&Attributes ::= ConstraintValue ValueAttributes
- ConstraintValue ::= ConstraintExpression | MatchingSymbol | ConsRef
- ConstraintExpression ::= Expression
- MatchingSymbol ::= Complement | Omit | AnyValue | AnyOrOmit | ValueList | ValueRange | SuperSet | SubSet | Permutation
- Complement ::= COMPLEMENT ValueList
- Omit ::= Dash | OMIT
- AnyValue ::= "?"
- AnyOrOmit ::= "*"
- ValueList ::= "(" ConstraintValue&Attributes { Comma ConstraintValue&Attributes }")"
- ValueRange ::= "(" ValRange ")"
- ValRange ::= (LowerRangeBound To UpperRangeBound)
- LowerRangeBound ::= ConstraintExpression | Minus INFINITY
- UpperRangeBound ::= ConstraintExpression | INFINITY
- SuperSet ::= SUPERSET "(" ConstraintValue&Attributes ")"
- SubSet ::= SUBSET "(" ConstraintValue&Attributes ")"
- Permutation ::= PERMUTATION ValueList
- ValueAttributes ::= [ValueLength] [IF_PRESENT] [ASN1_Encoding]
- ASN1_Encoding ::= ENC PDU_FieldEncodingCall
- ValueLength ::= SingleValueLength | RangeValueLength
- SingleValueLength ::= "[" ValueBound "]"
- ValueBound ::= Number | TS_ParIdentifier | TS_ConstIdentifier | FormalParIdentifier
- RangeValueLength ::= "[" LowerValueBound To UpperValueBound "]"
- LowerValueBound ::= ValueBound
- UpperValueBound ::= ValueBound | INFINITY
ASN.1 PDU Constraint Declarations
- ASN1_PDU_Constraints ::= $ASN1_PDU_Constraints {ASN1_PDU_Constraint}+ $End_ASN1_PDU_Constraints
- ASN1_PDU_Constraint ::= $Begin_ASN1_PDU_Constraint ConsId PDU_Id DerivPath [EncRuleId] [EncVariationId] [Comment] [ASN1_ConsValue] [Comment] $End_ASN1_PDU_Constraint
- ASN1_ConsValue ::= $ASN1_ConsValue ConstraintValue&AttributesOrReplace $End_ASN1_ConsValue
- ConstraintValue&AttributesOrReplace ::= ConstraintValue&Attributes | Replacement {Comma Replacement}
- Replacement ::= (REPLACE ReferenceList BY ConstraintValue&Attributes) | (OMIT ReferenceList)
- ReferenceList ::= (ArrayRef | ComponentIdentifier | ComponentPosition) {ComponentReference}
Tabular CM Constraint Declaration
- TTCN_CM_Constraints ::= $TTCN_CM_Constraints {TTCN_CM_Constraint}+ $End_TTCN_CM_Constraints
- TTCN_CM_Constraint ::= $Begin_TTCN_CM_Constraint ConsId CM_Id DerivPath [Comment] [CM_ParValues] [Comment] $End_TTCN_CM_Constraint
- CM_ParValues ::= $CM_ParValues {CM_ParValue} $End_CM_ParValues
- CM_ParValue ::= $CM_ParValue CM_ParId ConsValue [Comment] $End_CM_ParValue
ASN.1 CM Constraint Declaration
- ASN1_CM_Constraints ::= $ASN1_CM_Constraints {ASN1_CM_Constraint}+ $End_ASN1_CM_Constraints
- ASN1_CM_Constraint ::= $Begin_ASN1_CM_Constraint ConsId CM_Id DerivPath [Comment] [ASN1_ConsValue] [Comment] $End_ASN1_CM_Constraint
- TestCases ::= $TestCases {TestGroup | TestCase | CompactTestGroup}+ $End_TestCases
- TestGroup ::= $TestGroup TestGroupId [SelExprId] [Objective] {TestGroup | TestCase}+ $End_TestGroup
- TestGroupId ::= $TestGroupId TestGroupIdentifier
- TestGroupIdentifier ::= Identifier
- TestCase ::= $Begin_TestCase TestCaseId TestGroupRef TestPurpose [Configuration] DefaultsRef [Comment] [SelExprId] [Description] BehaviourDescription [Comment] $End_TestCase
- TestCaseId ::= $TestCaseId TestCaseIdentifier
- TestCaseIdentifier ::= Identifier
- TestGroupRef ::= $TestGroupRef TestGroupReference
- TestGroupReference ::= [SuiteIdentifier "/"] {TestGroupIdentifier "/"}
- TestPurpose ::= $TestPurpose BoundedFreeText
- Configuration ::= $Configuration TCompConfigIdentifier
- DefaultsRef ::= $DefaultsRef [DefaultRefList]
- DefaultRefList ::= DefaultReference {Comma DefaultReference}
- DefaultReference ::= DefaultIdentifier [ActualParList]
- CompactTestGroup ::= $Begin_CompactTestGroup TestGroupId DefaultsRef [SelExprId] [Objective] {CompactTestCase} $End_CompactTestGroup
- CompactTestCase ::= $CompactTestCase TestCaseId TestPurpose TestStepAttachment [Comment] [SelExprId] [Description] $End_CompactTestCase
- TestStepAttachment ::= $TestStepAttachment Attach
- TestStepLibrary ::= $TestStepLibrary {TestStepGroup | TestStep}+ $End_TestStepLibrary
- TestStepGroup ::= $TestStepGroup TestStepGroupId {TestStepGroup | TestStep}+ $End_TestStepGroup
- TestStepGroupId ::= $TestStepGroupId TestStepGroupIdentifier
- TestStepGroupIdentifier ::= Identifier
- TestStep ::= $Begin_TestStep TestStepId TestStepRef Objective DefaultsRef [Comment] [Description] BehaviourDescription [Comment] $End_TestStep
- TestStepId ::= $TestStepId TestStepId&ParList
- TestStepId&ParList ::= TestStepIdentifier [FormalParList]
- TestStepIdentifier ::= Identifier
- TestStepRef ::= $TestStepRef TestStepGroupReference
- TestStepGroupReference ::= [SuiteIdentifier "/"] {TestStepGroupIdentifier "/"}
- Objective ::= $Objective BoundedFreeText
- DefaultsLibrary ::= $DefaultsLibrary {DefaultGroup | Default}+ $End_DefaultsLibrary
- DefaultGroup ::= $DefaultGroup DefaultGroupId {DefaultGroup | Default}+ $End_DefaultGroup
- DefaultGroupId ::= $DefaultGroupId DefaultGroupIdentifier
- Default ::= $Begin_Default DefaultId DefaultRef Objective [Comment] [Description] BehaviourDescription [Comment] $End_Default
- DefaultRef ::= $DefaultRef DefaultGroupReference
- DefaultId ::= $DefaultId DefaultId&ParList
- DefaultId&ParList ::= DefaultIdentifier [FormalParList]
- DefaultIdentifier ::= Identifier
- DefaultGroupReference ::= [SuiteIdentifier "/"] {DefaultGroupIdentifier "/"}
- DefaultGroupIdentifier ::= Identifier
- BehaviourDescription ::= $BehaviourDescription RootTree {LocalTree} $End_BehaviourDescription
- RootTree ::= {BehaviourLine}+
- LocalTree ::= Header {BehaviourLine}+
- Header ::= $Header TreeHeader
- TreeHeader ::= TreeIdentifier [FormalParList]
- TreeIdentifier ::= Identifier
- FormalParList ::= "(" FormalPar&Type {SemiColon FormalPar&Type} ")"
- FormalPar&Type ::= FormalParIdentifier {Comma FormalParIdentifier} Colon FormalParType
- FormalParIdentifier ::= Identifier
- FormalParType ::= Type | PCO_TypeIdentifier | PDU | CP | TIMER
- BehaviourLine ::= $BehaviourLine LabelId Line Cref VerdictId [Comment] $End_BehaviourLine
- Line ::= $Line Indentation StatementLine
- Indentation ::= "[" Number "]"
- LabelId ::= $LabelId [Label]
- Label ::= Identifier
- Cref ::= $Cref [ConstraintReference]
- ConstraintReference ::= ConsRef | FormalParIdentifier | AnyValue
- ConsRef ::= ConstraintIdentifier [ActualCrefParList]
- ActualCrefParList ::= "(" ActualCrefPar {Comma ActualCrefPar} ")"
- ActualCrefPar ::= Value
- VerdictId ::= $VerdictId [Verdict]
- Verdict ::= Pass | Fail | Inconclusive | Result
- Pass ::= PASS | P | "(" PASS ")" | "(" P ")"
- Fail ::= FAIL | F | "(" FAIL ")" | "(" F ")"
- Inconclusive ::= INCONC | I | "(" INCONC ")" | "(" I ")"
- Result ::= R
- StatementLine ::= (Event [Qualifier] [AssignmentList] [TimerOps]) | (Qualifier [AssignmentList] [TimerOps]) | (AssignmentList [TimerOps]) | TimerOps | Construct | ImplicitSend
- Event ::= Send | Receive | Otherwise | Timeout | Done
- Qualifier ::= "[" Expression "]"
- Send ::= [PCO_Identifier | CP_Identifier | FormalParIdentifier] "!" (ASP_Identifier | PDU_Identifier | CM_Identifier)
- ImplicitSend ::= "<" IUT "!" (ASP_Identifier | PDU_Identifier) ">"
- Receive ::= [PCO_Identifier | CP_Identifier | FormalParIdentifier] "?" (ASP_Identifier | PDU_Identifier | CM_Identifier)
- Otherwise ::= [PCO_Identifier | FormalParIdentifier] "?" OTHERWISE
- Timeout ::= "?" TIMEOUT [TimerIdentifier | FormalParIdentifier]
- Done ::= "?" DONE "(" [TCompIdList] ")"
- TCompIdList ::= TCompIdentifier {Comma TCompIdentifier}
- Construct ::= GoTo | Attach | Repeat | Return | Activate | Create
- Activate ::= ACTIVATE "(" [DefaultRefList] ")"
- Return ::= RETURN
- Create ::= CREATE "(" CreateList ")"
- CreateList ::= CreateTComp {Comma CreateTComp}
- CreateTComp ::= TCompIdentifier Colon TreeReference [ActualParList]
- GoTo ::= ("->" | GOTO) Label
- Attach ::= "+" TreeReference [ActualParList]
- Repeat ::= REPEAT TreeReference [ActualParList] UNTIL Qualifier
- TreeReference ::= TestStepIdentifier | TreeIdentifier
- ActualParList ::= "(" ActualPar {Comma ActualPar} ")"
- ActualPar ::= Value | PCO_Identifier | CP_Identifier | TimerIdentifier
- AssignmentList ::= "(" Assignment {Comma Assignment} ")"
- Assignment ::= DataObjectReference ":=" Expression
- Expression ::= SimpleExpression [RelOp SimpleExpression]
- SimpleExpression ::= Term {AddOp Term}
- Term ::= Factor {MultiplyOp Factor}
- Factor ::= [UnaryOp] Primary
- Primary ::= Value | DataObjectReference | OpCall | SelectExprIdentifier | "(" Expression ")"
- DataObjectReference ::= DataObjectIdentifier {ComponentReference}
- DataObjectIdentifier ::= TS_ParIdentifier | TS_ConstIdentifier | TS_VarIdentifier | TC_VarIdentifier | FormalParIdentifier | ASP_Identifier | PDU_Identifier | CM_Identifier
- ComponentReference ::= RecordRef | ArrayRef | BitRef
- RecordRef ::= Dot (ComponentIdentifier | PDU_Identifier | StructIdentifier | ComponentPosition)
- ComponentIdentifier ::= ASP_ParIdentifier | PDU_FieldIdentifier | CM_ParIdentifier | ElemIdentifier | ASN1_Identifier
- ASN1_Identifier ::= Identifier
- ComponentPosition ::= "("Number")"
- ArrayRef ::= Dot "[" ComponentNumber "]"
- ComponentNumber ::= Expression
- BitRef ::= Dot (BitIdentifier | "[" BitNumber "]")
- BitIdentifier ::= Identifier
- BitNumber ::= Expression
- OpCall ::= OpIdentifier ( ActualParList | "(" ")" )
- OpIdentifier ::= TS_OpIdentifier | PredefinedOpIdentifier
- PredefinedOpIdentifier ::= BIT_TO_INT | HEX_TO_INT | INT_TO_BIT | INT_TO_HEX | IS_CHOSEN | IS_PRESENT | LENGTH_OF | NUMBER_OF_ELEMENT
- AddOp ::= "+" | "-" | OR
- MultiplyOp ::= "*" | "/" | MOD | AND
- UnaryOp ::= "+" | "-" | NOT
- RelOp ::= "=" | "<" | ">" | "<>" | ">=" | "<="
- TimerOps ::= TimerOp {Comma TimerOp}
- TimerOp ::= StartTimer | CancelTimer | ReadTimer
- StartTimer ::= START TimerIdentifier [ "(" TimerValue ")"]
- CancelTimer ::= CANCEL [TimerIdentifier]
- TimerValue ::= Expression
- ReadTimer ::= READTIMER TimerIdentifier "(" DataObjectReference")"
- PredefinedType ::= INTEGER | BOOLEAN | BITSTRING | HEXSTRING | OCTETSTRING | R_Type | CharacterString
- CharacterString ::= NumericString | PrintableString | TeletexString | VideotexString | VisibleString | IA5String | GraphicString | GeneralString | T61String | ISO646String
- ReferenceType ::= TS_TypeIdentifier | ASP_Identifier | PDU_Identifier | CM_Identifier
- TS_TypeIdentifier ::= SimpleTypeIdentifier | StructIdentifier | ASN1_TypeIdentifier
- Value ::= LiteralValue | ASN1_Value [ASN1_Encoding]
- LiteralValue ::= Number | BooleanValue | Bstring | Hstring | Ostring | Cstring | R_Value
- Number ::= (NonZeroNum {Num} ) | 0
- NonZeroNum ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
- Num ::= 0 | NonZeroNum
- BooleanValue ::= TRUE | FALSE
- Bstring ::= "'" {Bin | Wildcard} "'" B
- Bin ::= 0 | 1
- Hstring ::= "'" {Hex | Wildcard} "'" H
- Hex ::= Num | A | B | C | D | E | F
- Ostring ::= "'" {Oct | Wildcard} "'" O
- Oct ::= Hex Hex
- Cstring ::= """ {Char | Wildcard | "\"} """
- Char ::= /* REFERENCE - A character defined by the relevant character string type */
- Wildcard ::= AnyOne | AnyOrNone
- AnyOne ::= "?"
- AnyOrNone ::= "*"
- R_Value ::= pass | fail | inconc | none
- Identifier ::= Alpha{AlphaNum | Underscore}
- Alpha ::= UpperAlpha | LowerAlpha
- AlphaNum ::= Alpha | Num
- UpperAlpha ::= A | B| C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
- LowerAlpha ::= a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z
- ExtendedAlphaNum ::= /* REFERENCE - A character from any character set defined in ISO/IEC 10646 */
- BoundedFreeText ::= "/*" FreeText "*/"
- FreeText ::= {ExtendedAlphaNum}
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |