Table B.1: Test suite structure, positive tests

5 Basic language elements

5.1 Identifiers and keywords

Syn_0501_Identifier_001

5.2 Scope rules

Sem_0502_Scope_001

Sem_0502_Scope_002

Sem_0502_Scope_003

Sem_0502_Scope_004

Sem_0502_Scope_008

Syn_0502_Scope_001

5.2.1 Scope of formal parameters

Sem_050201_Scope_of_parameters_001

5.2.2 Uniqueness of identifiers

Sem_050202_Uniqueness_001

Sem_050202_Uniqueness_002

Sem_050202_Uniqueness_003

5.3 Ordering of language elements

Sem_0503_Ordering_001

Sem_0503_Ordering_005

5.4.1.1 Formal parameters of kind value

Sem_05040101_parameters_of_kind_value_001

5.4.1.2 Formal parameters of kind template

Sem_05040102_parameters_of_kind_template_001

Sem_05040102_parameters_of_kind_template_002

5.4.1.3 Formal parameters of kind timer

Sem_05040103_parameters_of_kind_timer_001

5.4.1.4 Formal parameters of kind port

Sem_05040104_parameters_of_kind_port_001

5.4.2 Actual parameters

Sem_050402_actual_parameters_001

Sem_050402_actual_parameters_002

5.5 Cyclic definitions

Sem_0505_cyclic_definitions_001

Sem_0505_cyclic_definitions_002

6 Types and values

6.1.0 Simple basic types and values

Sem_060100_SimpleBasicTypes_001

Sem_060100_SimpleBasicTypes_002

Sem_060100_SimpleBasicTypes_003

Sem_060100_SimpleBasicTypes_004

Sem_060100_SimpleBasicTypes_005

Syn_060100_SimpleBasicTypes_001

Syn_060100_SimpleBasicTypes_002

Syn_060100_SimpleBasicTypes_003

Syn_060100_SimpleBasicTypes_004

Syn_060100_SimpleBasicTypes_005

Syn_060100_SimpleBasicTypes_006

6.1.1 Basic string types and values

Sem_060101_TopLevel_001

Sem_060101_TopLevel_002

Sem_060101_TopLevel_003

Sem_060101_TopLevel_004

Sem_060101_TopLevel_005

Sem_060101_TopLevel_006

Syn_060101_TopLevel_001

Syn_060101_TopLevel_002

Syn_060101_TopLevel_003

6.1.1.1 Accessing individual string elements

Sem_06010101_AccessStringElements_001

Sem_06010101_AccessStringElements_002

Sem_06010101_AccessStringElements_003

Sem_06010101_AccessStringElements_004

Sem_06010101_AccessStringElements_005

Sem_06010101_AccessStringElements_006

Sem_06010101_AccessStringElements_007

Sem_06010101_AccessStringElements_008

6.1.2.1 Lists of values

Sem_06010201_ListOfValues_001

6.1.2.2 Lists of types

Sem_06010202_ListOfTypes_001

6.1.2.3 Ranges

Sem_06010203_Ranges_001

Sem_06010203_Ranges_002

Sem_06010203_Ranges_003

Sem_06010203_Ranges_004

Sem_06010203_Ranges_005

Sem_06010203_Ranges_006

Sem_06010203_Ranges_007

Sem_06010203_Ranges_008

6.1.2.4 String length restrictions

Sem_06010204_StringLenghtRestrict_001

6.1.2.5 Pattern subtyping of character string types

Sem_06010205_StringPattern_001

Sem_06010205_StringPattern_002

6.1.2.6.1 Mixing patterns, lists and ranges

Sem_0601020601_MixingSubtype_001

Sem_0601020601_MixingSubtype_002

6.1.2.6.2 Using length restriction with other constraints

Sem_0601020602_StringMixing_001

Sem_0601020602_StringMixing_002

Sem_0601020602_StringMixing_003

Sem_0601020602_StringMixing_004

Sem_0601020602_StringMixing_005

Sem_0601020602_StringMixing_006

6.2 Structured types and values

Syn_0602_TopLevel_001

Syn_0602_TopLevel_002

Syn_0602_TopLevel_003

Syn_0602_TopLevel_004

Syn_0602_TopLevel_005

6.2.1 Record type and values

Syn_060201_RecordTypeValues_001

Syn_060201_RecordTypeValues_002

6.2.9 Communication port types

Sem_060209_CommunicationPortTypes_001

Sem_060209_CommunicationPortTypes_002

Sem_060209_CommunicationPortTypes_003

Syn_060209_CommunicationPortTypes_001

Syn_060209_CommunicationPortTypes_002

Syn_060209_CommunicationPortTypes_003

Syn_060209_CommunicationPortTypes_004

Syn_060209_CommunicationPortTypes_005

Syn_060209_CommunicationPortTypes_006

Syn_060209_CommunicationPortTypes_007

6.2.12 Addressing entities inside the SUT

Sem_060212_AddressingEntitiesInsideSut_001

Sem_060212_AddressingEntitiesInsideSut_002

6.3.1 Type compatibility of non-structured types

Sem_060301_non_structured_types_001

Sem_060301_non_structured_types_002

6.3.2 Type compatibility of structured types

Sem_060302_structured_types_001

Sem_060302_structured_types_003

Sem_060302_structured_types_004

Sem_060302_structured_types_005

6.3.3 Type compatibility of component types

Sem_060303_component_types_001

Sem_060303_component_types_002

7 Expression

7.1.1 Arithmetic operators

Sem_070101_ArithmeticOperators_001

Sem_070101_ArithmeticOperators_002

Sem_070101_ArithmeticOperators_003

Sem_070101_ArithmeticOperators_004

Sem_070101_ArithmeticOperators_005

Sem_070101_ArithmeticOperators_006

Sem_070101_ArithmeticOperators_007

Sem_070101_ArithmeticOperators_008

Sem_070101_ArithmeticOperators_009

Sem_070101_ArithmeticOperators_010

Sem_070101_ArithmeticOperators_011

Sem_070101_ArithmeticOperators_012

Sem_070101_ArithmeticOperators_013

Sem_070101_ArithmeticOperators_014

Sem_070101_ArithmeticOperators_015

Sem_070101_ArithmeticOperators_016

Sem_070101_ArithmeticOperators_017

Sem_070101_ArithmeticOperators_018

Sem_070101_ArithmeticOperators_019

Sem_070101_ArithmeticOperators_020

Sem_070101_ArithmeticOperators_021

Sem_070101_ArithmeticOperators_022

Sem_070101_ArithmeticOperators_023

Syn_070101_ArithmeticOperators_001

Syn_070101_ArithmeticOperators_002

Syn_070101_ArithmeticOperators_003

Syn_070101_ArithmeticOperators_004

Syn_070101_ArithmeticOperators_005

Syn_070101_ArithmeticOperators_006

Syn_070101_ArithmeticOperators_007

Syn_070101_ArithmeticOperators_008

Syn_070101_ArithmeticOperators_009

Syn_070101_ArithmeticOperators_010

Syn_070101_ArithmeticOperators_011

Syn_070101_ArithmeticOperators_012

7.1.2 List operator

Sem_070102_ListOperator_001

Sem_070102_ListOperator_002

Sem_070102_ListOperator_003

Sem_070102_ListOperator_004

Sem_070102_ListOperator_005

7.1.3 Relational operators

Sem_070103_RelationalOperators_001

Sem_070103_RelationalOperators_002

Sem_070103_RelationalOperators_003

Sem_070103_RelationalOperators_004

Sem_070103_RelationalOperators_005

Sem_070103_RelationalOperators_006

Sem_070103_RelationalOperators_007

Sem_070103_RelationalOperators_008

Sem_070103_RelationalOperators_009

Sem_070103_RelationalOperators_010

Sem_070103_RelationalOperators_011

Sem_070103_RelationalOperators_012

Sem_070103_RelationalOperators_013

Sem_070103_RelationalOperators_014

Sem_070103_RelationalOperators_015

Sem_070103_RelationalOperators_016

Sem_070103_RelationalOperators_017

Sem_070103_RelationalOperators_018

Sem_070103_RelationalOperators_019

Sem_070103_RelationalOperators_020

Sem_070103_RelationalOperators_021

Sem_070103_RelationalOperators_022

Sem_070103_RelationalOperators_023

Sem_070103_RelationalOperators_024

7.1.4 Logical operators

Sem_070104_LogicalOperators_001

Sem_070104_LogicalOperators_002

7.1.5 Bitwise operators

Sem_070105_BitwiseOperators_001

Sem_070105_BitwiseOperators_002

7.1.6 Shift operators

Sem_070106_ShiftOperators_001

Sem_070106_ShiftOperators_002

Sem_070106_ShiftOperators_003

Sem_070106_ShiftOperators_004

7.1.7 Rotate operators

Sem_070107_RotateOperators_001

Sem_070107_RotateOperators_002

Sem_070107_RotateOperators_003

Sem_070107_RotateOperators_004

7.2 Field references and list elements

Sem_0702_FieldReferencesAndListElements_001

Sem_0702_FieldReferencesAndListElements_002

8 Modules

8.1 Definition of a module

Syn_0801_DefinitionOfAModule_001

Syn_0801_DefinitionOfAModule_002

Syn_0801_DefinitionOfAModule_003

Syn_0801_DefinitionOfAModule_004

Syn_0801_DefinitionOfAModule_005

8.2 Module definitions part

Syn_0802_ModuleDefinitionsPart_001

Syn_0802_ModuleDefinitionsPart_002

8.2.1 Module parameters

Sem_080201_ModuleParameters_001

Syn_080201_ModuleParameters_001

Syn_080201_ModuleParameters_002

Syn_080201_ModuleParameters_003

8.2.2 Groups of definitions

Syn_080202_GroupOfDefinitions_001

Syn_080202_GroupOfDefinitions_002

Syn_080202_GroupOfDefinitions_003

Syn_080202_GroupOfDefinitions_004

8.2.3.1 General format of import

Syn_08020301_GeneralFormatOfImport_001

Syn_08020301_GeneralFormatOfImport_002

8.2.3.2 Importing single definitions

Sem_08020302_ImportingSingleDefinitions_001

Sem_08020302_ImportingSingleDefinitions_002

8.2.3.3 Importing groups

Sem_08020303_ImportingGroups_001

Sem_08020303_ImportingGroups_002

Sem_08020303_ImportingGroups_003

8.2.3.4 Importing definitions of the same kind

Sem_08020301_GeneralFormatOfImport_001

Sem_08020301_GeneralFormatOfImport_002

Sem_08020304_ImportingDefinitionsOfTheSameKind_001

Sem_08020304_ImportingDefinitionsOfTheSameKind_002

Sem_08020304_ImportingDefinitionsOfTheSameKind_003

8.2.3.5 Importing all definitions of a module

Sem_08020305_ImportingAllDefinitionsOfAModule_001

Sem_08020305_ImportingAllDefinitionsOfAModule_002

8.2.3.6 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules

Sem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001

Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001

Syn_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_002

8.2.3.7 Importing of import statements from TTCN-3 modules

Sem_08020307_ImportingOfImportStatementsFromT3Modules_001

8.2.4 Definition of friend modules

Sem_080204_DefinitionOfFriendModules_001

8.2.5 Visibility of definitions

Sem_080205_VisibilityOfDefinitions_001

Sem_080205_VisibilityOfDefinitions_002

Sem_080205_VisibilityOfDefinitions_003

Sem_080205_VisibilityOfDefinitions_004

Sem_080205_VisibilityOfDefinitions_005

8.3 Module control part

Sem_0803_ModuleControlPart_001

Syn_0803_ModuleControlPart_001

Syn_0803_ModuleControlPart_002

Syn_0803_ModuleControlPart_003

10 Declaring constants

Top level

Sem_10_Constants_001

Sem_10_Constants_002

Syn_10_Constants_001

Syn_10_Constants_002

Syn_10_Constants_003

Syn_10_Constants_004

11 Declaring variables

11.1 Value variables

Sem_1101_ValueVars_001

Sem_1101_ValueVars_002

Sem_1101_ValueVars_003

Syn_1101_ValueVars_001

11.2 Template variables

Sem_1102_TemplateVars_001

Syn_1102_TemplateVars_001

12 Declaring timers

Top level

Sem_12_toplevel_timer_001

Sem_12_toplevel_timer_002

Sem_12_toplevel_timer_003

Sem_12_toplevel_timer_004

Sem_12_toplevel_timer_005

Sem_12_toplevel_timer_006

Sem_12_toplevel_timer_007

Sem_12_toplevel_timer_008

Sem_12_toplevel_timer_009

Syn_12_toplevel_timer_001

Syn_12_toplevel_timer_002

Syn_12_toplevel_timer_003

Syn_12_toplevel_timer_004

Syn_12_toplevel_timer_005

Syn_12_toplevel_timer_006

Sem_13_declaring_msg_001

13 Declaring messages

Top level

Sem_13_toplevel_declaring_msg_various_types_001

Sem_13_toplevel_declaring_msg_various_types_002

Sem_13_toplevel_declaring_msg_various_types_003

Sem_13_toplevel_declaring_msg_various_types_004

Sem_13_toplevel_declaring_msg_various_types_005

Sem_13_toplevel_declaring_msg_various_types_006

Sem_13_toplevel_declaring_msg_various_types_007

Sem_13_toplevel_declaring_msg_various_types_008

Sem_13_toplevel_declaring_msg_various_types_009

Sem_13_toplevel_declaring_msg_various_types_010

Sem_13_toplevel_declaring_msg_various_types_011

Sem_13_toplevel_declaring_msg_various_types_012

Sem_13_toplevel_declaring_msg_various_types_013

Sem_13_toplevel_declaring_msg_various_types_014

15 Declaring templates

Top level

Syn_15_TopLevel_001

15.1 Declaring message templates

Syn_1501_DeclaringMessageTemplates_001

Syn_1501_DeclaringMessageTemplates_002

Syn_1501_DeclaringMessageTemplates_003

Syn_1501_DeclaringMessageTemplates_004

Syn_1501_DeclaringMessageTemplates_005

Syn_1501_DeclaringMessageTemplates_006

15.2 Declaring signature templates

Sem_1502_DeclaringSignatureTemplates_001

Sem_1502_DeclaringSignatureTemplates_002

Sem_1502_DeclaringSignatureTemplates_003

Syn_1502_DeclaringSignatureTemplates_001

Syn_1502_DeclaringSignatureTemplates_002

Syn_1502_DeclaringSignatureTemplates_003

Syn_1502_DeclaringSignatureTemplates_004

15.3 Global and local templates

Sem_1503_GlobalAndLocalTemplates_001

Sem_1503_GlobalAndLocalTemplates_002

Sem_1503_GlobalAndLocalTemplates_003

Sem_1503_GlobalAndLocalTemplates_004

Sem_1503_GlobalAndLocalTemplates_005

Sem_1503_GlobalAndLocalTemplates_006

Syn_1503_GlobalAndLocalTemplates_001

Syn_1503_GlobalAndLocalTemplates_004

Syn_1503_GlobalAndLocalTemplates_005

Syn_1503_GlobalAndLocalTemplates_006

15.4 In-line templates

Syn_1504_InlineTemplates_001

Syn_1504_InlineTemplates_002

Syn_1504_InlineTemplates_003

15.5 Modified templates

Sem_1505_ModifiedTemplates_001

Sem_1505_ModifiedTemplates_002

Sem_1505_ModifiedTemplates_003

Sem_1505_ModifiedTemplates_004

Syn_1505_ModifiedTemplates_001

Syn_1505_ModifiedTemplates_002

Syn_1505_ModifiedTemplates_003

Syn_1505_ModifiedTemplates_004

15.6.2 Referencing record and set fields

Sem_150602_ReferencingRecordAndSetFields_001

Sem_150602_ReferencingRecordAndSetFields_002

Sem_150602_ReferencingRecordAndSetFields_003

Sem_150602_ReferencingRecordAndSetFields_004

15.6.3 Referencing record of and set of elements

Sem_150603_ReferencingRecordOfAndSetElements_001

Sem_150603_ReferencingRecordOfAndSetElements_002

Sem_150603_ReferencingRecordOfAndSetElements_003

Sem_150603_ReferencingRecordOfAndSetElements_004

Sem_150603_ReferencingRecordOfAndSetElements_005

15.8 Template restrictions

Sem_1508_TemplateRestrictions_001

Sem_1508_TemplateRestrictions_002

Sem_1508_TemplateRestrictions_003

Sem_1508_TemplateRestrictions_004

Sem_1508_TemplateRestrictions_005

Sem_1508_TemplateRestrictions_006

Sem_1508_TemplateRestrictions_007

Sem_1508_TemplateRestrictions_008

Sem_1508_TemplateRestrictions_009

Sem_1508_TemplateRestrictions_010

Sem_1508_TemplateRestrictions_011

Sem_1508_TemplateRestrictions_012

Sem_1508_TemplateRestrictions_013

Sem_1508_TemplateRestrictions_014

Sem_1508_TemplateRestrictions_015

Syn_1508_TemplateRestrictions_001

Syn_1508_TemplateRestrictions_002

Syn_1508_TemplateRestrictions_003

Syn_1508_TemplateRestrictions_004

15.9 Match operation

Sem_1509_MatchOperation_001

Sem_1509_MatchOperation_002

Sem_1509_MatchOperation_003

Sem_1509_MatchOperation_004

Sem_1509_MatchOperation_005

15.10 Valueof operation

Sem_1510_ValueOfOperation_001

15.11 Concatenating templates of string and list types

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_001

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_002

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_003

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_004

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_005

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_006

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_007

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_008

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_009

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_010

Sem_1511_ConcatenatingTemplatesOfStringAndListTypes_011

16 Functions, altsteps and testcases

16.1 Functions

Sem_1601_toplevel_001

Sem_1601_toplevel_003

16.1.1 Invoking functions

Sem_160101_invoking_functions_001

16.1.2 Predefined functions

Sem_160102_predefined_functions_001

Sem_160102_predefined_functions_002

Sem_160102_predefined_functions_003

Sem_160102_predefined_functions_004

Sem_160102_predefined_functions_005

Sem_160102_predefined_functions_006

Sem_160102_predefined_functions_007

Sem_160102_predefined_functions_008

Sem_160102_predefined_functions_009

Sem_160102_predefined_functions_010

Sem_160102_predefined_functions_011

Sem_160102_predefined_functions_012

16.1.3 External functions

Sem_160103_external_functions_001

Sem_160103_external_functions_002

16.2 Altsteps

Sem_1602_toplevel_001

16.2.1 Invoking altsteps

Sem_160201_invoking_altsteps_001

Sem_160201_invoking_altsteps_002

16.3 Test cases

Syn_1603_testcases_001

19 Basic program statements

19.1 Assignments

Sem_1901_assignments_001

19.2 The if-else statement

Sem_1902_if_else_statement_001

Sem_1902_if_else_statement_002

19.3 The select case statement

Sem_1903_select_case_statement_001

Sem_1903_select_case_statement_002

Sem_1903_select_case_statement_003

Sem_1903_select_case_statement_004

19.4 The for statement

Sem_1904_for_statement_001

Sem_1904_for_statement_002

Sem_1904_for_statement_003

19.5 The while statement

Sem_1905_while_statement_001

Sem_1905_while_statement_002

Sem_1905_while_statement_003

19.6 The do-while statement

Sem_1906_do_while_statement_001

Sem_1906_do_while_statement_002

Sem_1906_do_while_statement_003

19.7 The label statement

Syn_1907_label_statement_001

19.8 The goto statement

Sem_1908_goto_statement_001

Sem_1908_goto_statement_002

Sem_1908_goto_statement_003

19.9 The stop execution statement

Sem_1909_stop_statement_001

Sem_1909_stop_statement_002

19.10 The return statement

Sem_1910_return_statement_001

19.11 The log statement

Sem_1911_log_statement_001

Sem_1911_log_statement_002

Sem_1911_log_statement_003

Sem_1911_log_statement_004

Sem_1911_log_statement_005

19.13 The continue statement

Sem_1913_continue_statement_001

20 Statement and operations for alternative behaviours

Top level

Syn_20_TopLevel_001

Syn_20_TopLevel_002

Syn_20_TopLevel_003

Syn_20_TopLevel_004

Syn_20_TopLevel_005

20.2 The alt statement

Sem_2002_TheAltStatement_001

Sem_2002_TheAltStatement_002

Sem_2002_TheAltStatement_003

Sem_2002_TheAltStatement_004

Sem_2002_TheAltStatement_005

Sem_2002_TheAltStatement_006

Sem_2002_TheAltStatement_007

Sem_2002_TheAltStatement_008

Sem_2002_TheAltStatement_009

Sem_2002_TheAltStatement_010

Sem_2002_TheAltStatement_011

20.3 The repeat statement

Sem_2003_the_repeat_statement_001

20.4 The interleave statement

Sem_2004_InterleaveStatement_001

Sem_2004_InterleaveStatement_002

Syn_2004_InterleaveStatement_001

21 Configuration operations

21.3.1 The create operation

Sem_210301_CreateOperation_001

Sem_210301_CreateOperation_002

Sem_210301_CreateOperation_003

Sem_210301_CreateOperation_004

Syn_210301_CreateOperation_001

22 Communication operations

22.2.1 The send operation

Sem_220201_SendOperation_001

Sem_220201_SendOperation_002

Sem_220201_SendOperation_003

Sem_220201_SendOperation_004

22.2.2 The receive operation

Sem_220202_ReceiveOperation_001

Sem_220202_ReceiveOperation_002

Sem_220202_ReceiveOperation_003

Sem_220202_ReceiveOperation_004

Sem_220202_ReceiveOperation_005

22.2.3 The trigger operation

Sem_220203_TriggerOperation_001

Sem_220203_TriggerOperation_002

Sem_220203_TriggerOperation_003

Sem_220203_TriggerOperation_004

Sem_220203_TriggerOperation_005

22.3.1 The call operation

Sem_220301_CallOperation_001

Sem_220301_CallOperation_002

Sem_220301_CallOperation_003

Sem_220301_CallOperation_004

Sem_220301_CallOperation_005

Sem_220301_CallOperation_006

22.3.2 The getcall operation

Sem_220302_GetcallOperation_001

Sem_220302_GetcallOperation_002

Sem_220302_GetcallOperation_003

Sem_220302_GetcallOperation_004

Sem_220302_GetcallOperation_005

22.3.3 The reply operation

Sem_220303_ReplyOperation_001

Sem_220303_ReplyOperation_002

23 Timer operations

Top level

Sem_2302_timer_start_001

Sem_2302_timer_start_002

Sem_2302_timer_start_003

Sem_2302_timer_start_004

Syn_23_toplevel_001

Syn_23_toplevel_002

23.3 The stop timer operation

Sem_2303_timer_stop_002

Sem_2303_timer_stop_003

Sem_2303_timer_stop_004

Syn_2303_timer_stop_006

Syn_2303_timer_stop_007

23.5 The running timer operation

Sem_2305_timer_running_001

Sem_2305_timer_running_002

Sem_2305_timer_running_003

Sem_2305_timer_running_004

Syn_2306_timer_timeout_001

23.6 The timeout operation

Sem_2306_timer_timeout_001

Sem_2306_timer_timeout_002

Sem_2306_timer_timeout_003

Sem_2306_timer_timeout_004

Sem_2306_timer_timeout_005

Sem_2306_timer_timeout_006

Sem_2306_timer_timeout_007

24 Test verdict operations

Top level

Sem_13_declaring_msg_002

Sem_13_declaring_msg_003

Sem_13_declaring_msg_004

Sem_13_declaring_msg_005

Sem_13_declaring_msg_006

Sem_13_declaring_msg_007

Sem_13_declaring_msg_008

Sem_13_declaring_msg_009

Sem_2402_setverdict_logging_001

Sem_2402_setverdict_params_001

Sem_2402_setverdict_params_002

Sem_2402_setverdict_params_003

Syn_24_toplevel_001

Syn_24_toplevel_002

Syn_24_toplevel_003

24.1 The verdict mechanism

Sem_2401_GlobalVerdict_001

Sem_2401_GlobalVerdict_002

Sem_2401_GlobalVerdict_003

Sem_2401_GlobalVerdict_004

Sem_2401_GlobalVerdict_005

Sem_2401_GlobalVerdict_006

Sem_2401_GlobalVerdict_007

Sem_2401_GlobalVerdict_008

Sem_2401_GlobalVerdict_009

Sem_2401_GlobalVerdict_010

Sem_2401_GlobalVerdict_011

Sem_2401_GlobalVerdict_012

Sem_2401_InitiallyNone_001

Sem_2401_LocalVerdict_001

Sem_2401_LocalVerdict_002

Sem_2401_LocalVerdict_003

Sem_2401_LocalVerdict_004

Sem_2401_LocalVerdict_005

Sem_2401_LocalVerdict_006

Sem_2401_LocalVerdict_007

Sem_2401_LocalVerdict_008

Sem_2401_LocalVerdict_009

Sem_2401_LocalVerdict_010

Sem_2401_LocalVerdict_011

Sem_2401_LocalVerdict_012

Syn_2401_FiveValues_001

24.3 The getverdict mechanism

Sem_2403_getverdict_001

Sem_2403_getverdict_002

Sem_2403_getverdict_003

Sem_2403_getverdict_004

Sem_2403_getverdict_005

26 Module control

Top level

Syn_26_ModuleControl_001

Syn_26_ModuleControl_002

Syn_26_ModuleControl_003

Syn_26_ModuleControl_004

Syn_26_ModuleControl_005

Syn_26_ModuleControl_006

Syn_26_ModuleControl_007

Syn_26_ModuleControl_008

Syn_26_ModuleControl_009

Syn_26_ModuleControl_010

Syn_26_ModuleControl_011

Syn_26_ModuleControl_012

Syn_26_ModuleControl_013

Syn_26_ModuleControl_014

Syn_26_ModuleControl_015

Syn_26_ModuleControl_016

Syn_26_ModuleControl_017

26.1 The execute statement

Sem_2601_ExecuteStatement_001

Sem_2601_ExecuteStatement_002

Sem_2601_ExecuteStatement_003

Sem_2601_ExecuteStatement_004

Sem_2601_ExecuteStatement_005

Sem_2601_ExecuteStatement_006

Sem_2601_ExecuteStatement_007

Sem_2601_ExecuteStatement_008

Sem_2601_ExecuteStatement_009

26.2 The control part

Sem_2602_TheControlPart_001

Sem_2602_TheControlPart_002

Sem_2602_TheControlPart_003

27 Specifying attributes

27.1.1 Scope of attributes

Syn_270101_ScopeOfAttributes_001

Syn_270101_ScopeOfAttributes_002

Syn_270101_ScopeOfAttributes_003

Syn_270101_ScopeOfAttributes_004

27.7 Optional attributes

Sem_2707_OptionalAttributes_001

Sem_2707_OptionalAttributes_002

Sem_2707_OptionalAttributes_003

Sem_2707_OptionalAttributes_004

Sem_2707_OptionalAttributes_005

Sem_2707_OptionalAttributes_006

Sem_2707_OptionalAttributes_007

Syn_2707_OptionalAttributes_001

B Matching incoming values

B.1.1 Matching specific values

Sem_B0101_matching_specific_value_001

Sem_B0101_matching_specific_value_002

Sem_B0101_matching_specific_value_003

Sem_B0101_matching_specific_value_004

Sem_B0101_matching_specific_value_005

Sem_B0101_matching_specific_value_006

Sem_B0101_matching_specific_value_007

Sem_B0101_matching_specific_value_008

Sem_B0101_matching_specific_value_009

Sem_B0101_matching_specific_value_010

Sem_B0101_matching_specific_value_011

B.1.2.1 Value list

Sem_B010201_value_list_001

B.1.2.2 Complemented value list

Sem_B010202_complemented_value_list_001

Sem_B010202_complemented_value_list_002

Sem_B010202_complemented_value_list_003

Sem_B010202_complemented_value_list_004

Sem_B010202_complemented_value_list_005

Sem_B010202_complemented_value_list_006

B.1.2.3 Any value

Sem_B010203_any_value_001

Sem_B010203_any_value_002

B.1.2.4 Any value or none

Sem_B010204_any_value_or_none_001

B.1.2.5 Value range

Sem_B010205_value_range_001

Sem_B010205_value_range_002

Sem_B010205_value_range_003

Sem_B010205_value_range_004

Sem_B010205_value_range_005

Sem_B010205_value_range_006

Sem_B010205_value_range_007

Sem_B010205_value_range_008

B.1.2.6 SuperSet

Sem_B010206_superset_001

Sem_B010206_superset_002

Sem_B010206_superset_003

B.1.2.7 SubSet

Sem_B010207_subset_001

Sem_B010207_subset_002

Sem_B010207_subset_003

B.1.3.1 Any element

Sem_B010301_any_element_001

Sem_B010301_any_element_002

Sem_B010301_any_element_003

Sem_B010301_any_element_004

Sem_B010301_any_element_005

Sem_B010301_any_element_006

Sem_B010301_any_element_007

Sem_B010301_any_element_008

B.1.3.2 Any number of elements of no element

Sem_B010302_any_number_of_elements_or_none_001

Sem_B010302_any_number_of_elements_or_none_002

Sem_B010302_any_number_of_elements_or_none_003

B.1.3.3 Permutation

Sem_B010303_permutation_001

Sem_B010303_permutation_002

Sem_B010303_permutation_003

Sem_B010303_permutation_004

Sem_B010303_permutation_005

B.1.4.1 Length restrictions

Sem_B010401_length_restrictions_001

Sem_B010401_length_restrictions_002

B.1.4.2 The ifpresent indicator

Sem_B010402_ifPresent_indicator_001

Sem_B010402_ifPresent_indicator_002

B.1.5.1 Set expression

Sem_B010501_set_expression_001

Sem_B010501_set_expression_002

Sem_B010501_set_expression_003

Sem_B010501_set_expression_004

Sem_B010501_set_expression_005

B.1.5.2 Reference expression

Sem_B010502_reference_expression_009

B.1.5.3 Match expression n times

Sem_B010503_match_n_times_001

Sem_B010503_match_n_times_002

Sem_B010503_match_n_times_003

Sem_B010503_match_n_times_004

Sem_B010503_match_n_times_005

B.1.5.4 Match a referenced character set

Sem_B010504_match_referenced_characters_001

Sem_B010504_match_referenced_characters_002

Sem_B010504_match_referenced_characters_003

Sem_B010504_match_referenced_characters_004

Sem_B010504_match_referenced_characters_005

Sem_B010504_match_referenced_characters_006

Sem_B010504_match_referenced_characters_007

Table B.2: Test suite structure, negative tests

5 Basic language elements

Top level

NegSyn_05_TopLevel_001

5.1 Identifiers and keywords

NegSem_0501_Identifier_001

NegSyn_0501_Identifier_001

5.2 Scope rules

NegSem_0502_Scope_001

NegSem_0502_Scope_002

NegSem_0502_Scope_003

5.2.2 Uniqueness of identifiers

NegSem_050202_Uniqueness_001

NegSem_050202_Uniqueness_004

NegSem_050202_Uniqueness_005

NegSem_050202_Uniqueness_006

NegSem_050202_Uniqueness_007

NegSem_050202_Uniqueness_008

NegSem_050202_Uniqueness_009

NegSem_050202_Uniqueness_010

NegSem_050202_Uniqueness_011

NegSem_050202_Uniqueness_012

5.3 Ordering of language elements

NegSem_0503_Ordering_001

NegSem_0503_Ordering_002

NegSem_0503_Ordering_003

5.4 Parameterization

NegSem_0504_parametrization_incompatibility_001

NegSyn_0504_forbidden_parametrization_001

NegSyn_0504_forbidden_parametrization_002

6 Types and values

6.1.0 Simple basic types and values

NegSyn_060100_SimpleBasicTypes_001

NegSyn_060100_SimpleBasicTypes_002

NegSyn_060100_SimpleBasicTypes_003

NegSyn_060100_SimpleBasicTypes_004

NegSyn_060100_SimpleBasicTypes_005

NegSyn_060100_SimpleBasicTypes_006

6.1.1 Basic string types and values

NegSyn_060101_TopLevel_001

NegSyn_060101_TopLevel_002

NegSyn_060101_TopLevel_003

NegSyn_060101_TopLevel_004

NegSyn_060101_TopLevel_005

NegSyn_060101_TopLevel_006

NegSyn_060101_TopLevel_007

NegSyn_060101_TopLevel_008

NegSyn_060101_TopLevel_009

NegSyn_060101_TopLevel_010

6.1.2.1 Lists of values

NegSem_06010201_ListOfValues_001

NegSem_06010201_ListOfValues_002

NegSem_06010201_ListOfValues_003

NegSem_06010201_ListOfValues_004

NegSem_06010201_ListOfValues_005

NegSem_06010201_ListOfValues_006

6.1.2.2 Lists of types

NegSem_06010202_ListOfTypes_001

6.1.2.3 Ranges

NegSem_06010203_Ranges_001

NegSem_06010203_Ranges_002

NegSem_06010203_Ranges_003

NegSem_06010203_Ranges_004

NegSem_06010203_Ranges_005

NegSem_06010203_Ranges_006

NegSem_06010203_Ranges_007

NegSem_06010203_Ranges_008

NegSem_06010203_Ranges_009

NegSem_06010203_Ranges_010

NegSem_06010203_Ranges_011

NegSem_06010203_Ranges_012

NegSem_06010203_Ranges_013

NegSem_06010203_Ranges_014

NegSem_06010203_Ranges_015

NegSem_06010203_Ranges_016

NegSem_06010203_Ranges_017

6.1.2.4 String length restrictions

NegSem_06010204_StringLenghtRestrict_001

NegSem_06010204_StringLenghtRestrict_002

6.1.2.5 Pattern subtyping of character string types

NegSem_06010205_StringPattern_001

6.1.2.6.1 Mixing patterns, lists and ranges

NegSem_0601020601_MixingSubtype_001

NegSem_0601020601_MixingSubtype_002

6.1.2.6.2 Using length restriction with other constraints

NegSem_0601020602_StringMixing_001

NegSem_0601020602_StringMixing_002

NegSem_0601020602_StringMixing_003

NegSem_0601020602_StringMixing_004

NegSem_0601020602_StringMixing_005

NegSem_0601020602_StringMixing_006

6.2 Structured types and values

NegSyn_0602_TopLevel_001

NegSyn_0602_TopLevel_002

NegSyn_0602_TopLevel_003

NegSyn_0602_TopLevel_004

NegSyn_0602_TopLevel_005

6.2.12 Addressing entities inside the SUT

NegSem_060212_AddressingEntitiesInsideSut_001

6.3.1 Type compatibility of non-structured types

NegSem_060301_non_structured_types_001

NegSem_060301_non_structured_types_002

NegSem_060301_non_structured_types_003

NegSem_060301_non_structured_types_004

NegSem_060301_non_structured_types_005

NegSem_060301_non_structured_types_006

NegSem_060301_non_structured_types_007

NegSem_060301_non_structured_types_008

NegSem_060301_non_structured_types_009

NegSem_060301_non_structured_types_010

NegSem_060301_non_structured_types_011

NegSem_060301_non_structured_types_012

6.3.2 Type compatibility of structured types

NegSem_060302_structured_types_002

NegSem_060302_structured_types_003

NegSem_060302_structured_types_004

NegSem_060302_structured_types_005

NegSem_060302_structured_types_006

NegSem_060302_structured_types_007

NegSem_060302_structured_types_008

NegSem_060302_structured_types_009

NegSem_060302_structured_types_010

NegSem_060302_structured_types_011

6.3.2.1 Type compatibility of enumerated types

NegSem_060302_structured_types_001

6.3.3 Type compatibility of component types

NegSem_060303_component_types_001

NegSem_060303_component_types_002

8 Modules

8.1 Definition of a module

NegSyn_0801_DefinitionOfAModule_001

8.2.3.1 General format of import

NegSem_08020301_GeneralFormatOfImport_001

NegSem_08020301_GeneralFormatOfImport_002

8.2.3.3 Importing groups

NegSem_08020303_ImportingGroups_001

8.2.3.4 Importing definitions of the same kind

NegSem_08020301_GeneralFormatOfImport_003

NegSem_08020301_GeneralFormatOfImport_004

8.2.3.5 Importing all definitions of a module

NegSem_08020305_ImportingAllDefinitionsOfAModule_001

8.2.3.6 Import definitions from other TTCN-3 editions and from non-TTCN-3 modules

NegSem_08020306_ImportingDefinitionsFromOtherT3EditionsAndFromNonT3Modules_001

8.2.3.7 Importing of import statements from TTCN-3 modules

NegSem_08020307_ImportingOfImportStatementsFromT3Modules_001

NegSem_08020307_ImportingOfImportStatementsFromT3Modules_002

8.2.3.8 Compatibility of language specifications of imports

NegSem_08020308_ImportingOfImportStatementsFromT3Modules_001

8.2.4 Definition of friend modules

NegSem_080204_DefinitionOfFriendModules_001

NegSem_080204_DefinitionOfFriendModules_002

8.2.5 Visibility of definitions

NegSem_080205_VisibilityOfDefinitions_001

NegSem_080205_VisibilityOfDefinitions_002

NegSem_080205_VisibilityOfDefinitions_003

NegSem_080205_VisibilityOfDefinitions_004

NegSem_080205_VisibilityOfDefinitions_005

8.3 Module control part

NegSyn_0803_ModuleControlPart_001

10 Declaring constants

Top level

NegSem_10_Constants_001

11 Declaring variables

11.1 Value variables

NegSem_1101_ValueVars_001

NegSyn_1101_ValueVars_001

11.2 Template variables

NegSem_1102_TemplateVars_001

NegSyn_1102_TemplateVars_001

12 Declaring timers

Top level

NegSem_12_toplevel_timer_001

NegSem_12_toplevel_timer_002

NegSem_12_toplevel_timer_003

NegSem_12_toplevel_timer_004

NegSem_12_toplevel_timer_005

NegSem_12_toplevel_timer_006

NegSem_12_toplevel_timer_007

NegSem_12_toplevel_timer_008

NegSyn_12_toplevel_timer_001

NegSyn_12_toplevel_timer_002

NegSyn_12_toplevel_timer_003

NegSyn_12_toplevel_timer_005

NegSyn_12_toplevel_timer_006

NegSyn_12_toplevel_timer_007

15 Declaring templates

Top level

NegSem_15_TopLevel_001

15.5 Modified templates

NegSem_1505_ModifiedTemplates_001

NegSem_1505_ModifiedTemplates_002

NegSem_1505_ModifiedTemplates_003

NegSem_1505_ModifiedTemplates_004

NegSem_1505_ModifiedTemplates_005

NegSem_1505_ModifiedTemplates_006

NegSem_1505_ModifiedTemplates_007

15.6.1 Referencing individual string elements

NegSem_150601_ReferencingIndividualStringElements_001

15.6.2 Referencing record and set fields

NegSem_150602_ReferencingRecordAndSetFields_001

NegSem_150602_ReferencingRecordAndSetFields_002

NegSem_150602_ReferencingRecordAndSetFields_003

NegSem_150602_ReferencingRecordAndSetFields_004

NegSem_150602_ReferencingRecordAndSetFields_005

15.6.3 Referencing record of and set of elements

NegSem_150603_ReferencingRecordOfAndSetElements_001

NegSem_150603_ReferencingRecordOfAndSetElements_002

NegSem_150603_ReferencingRecordOfAndSetElements_003

NegSem_150603_ReferencingRecordOfAndSetElements_004

NegSem_150603_ReferencingRecordOfAndSetElements_005

NegSem_150603_ReferencingRecordOfAndSetElements_006

NegSem_150603_ReferencingRecordOfAndSetElements_007

NegSem_150603_ReferencingRecordOfAndSetElements_008

NegSem_150603_ReferencingRecordOfAndSetElements_009

15.8 Template restrictions

NegSem_1508_TemplateRestrictions_001

NegSem_1508_TemplateRestrictions_002

NegSem_1508_TemplateRestrictions_003

NegSem_1508_TemplateRestrictions_004

NegSem_1508_TemplateRestrictions_005

NegSem_1508_TemplateRestrictions_006

NegSem_1508_TemplateRestrictions_007

NegSem_1508_TemplateRestrictions_008

NegSem_1508_TemplateRestrictions_009

NegSem_1508_TemplateRestrictions_010

NegSem_1508_TemplateRestrictions_011

NegSem_1508_TemplateRestrictions_012

NegSem_1508_TemplateRestrictions_013

NegSem_1508_TemplateRestrictions_014

NegSem_1508_TemplateRestrictions_015

NegSem_1508_TemplateRestrictions_016

NegSem_1508_TemplateRestrictions_017

NegSem_1508_TemplateRestrictions_018

NegSem_1508_TemplateRestrictions_019

NegSem_1508_TemplateRestrictions_020

NegSem_1508_TemplateRestrictions_021

NegSem_1508_TemplateRestrictions_022

NegSem_1508_TemplateRestrictions_023

NegSem_1508_TemplateRestrictions_024

NegSem_1508_TemplateRestrictions_025

NegSem_1508_TemplateRestrictions_026

15.9 Match operation

NegSem_1509_MatchOperation_001

15.10 Valueof operation

NegSem_1510_ValueOfOperation_001

NegSem_1510_ValueOfOperation_002

NegSem_1510_ValueOfOperation_003

NegSem_1510_ValueOfOperation_004

15.11 Concatenating templates of string and list types

NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_001

NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_002

NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_003

NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_004

NegSem_1511_ConcatenatingTemplatesOfStringAndListTypes_005

16 Functions, altsteps and testcases

16.1 Functions

NegSem_1601_toplevel_001

NegSem_1601_toplevel_002

NegSem_1601_toplevel_003

NegSem_1601_toplevel_004

NegSem_1601_toplevel_005

16.1.2 Predefined functions

NegSem_160102_predefined_functions_001

NegSem_160102_predefined_functions_002

NegSem_160102_predefined_functions_003

NegSem_160102_predefined_functions_004

NegSem_160102_predefined_functions_005

NegSem_160102_predefined_functions_006

NegSem_160102_predefined_functions_007

NegSem_160102_predefined_functions_008

NegSem_160102_predefined_functions_009

NegSem_160102_predefined_functions_010

NegSem_160102_predefined_functions_011

NegSem_160102_predefined_functions_014

NegSem_160102_predefined_functions_015

NegSem_160102_predefined_functions_016

NegSem_160102_predefined_functions_017

NegSem_160102_predefined_functions_018

NegSem_160102_predefined_functions_019

NegSem_160102_predefined_functions_020

NegSem_160102_predefined_functions_021

NegSem_160102_predefined_functions_022

NegSem_160102_predefined_functions_023

NegSem_160102_predefined_functions_024

NegSem_160102_predefined_functions_025

NegSem_160102_predefined_functions_026

NegSem_160102_predefined_functions_027

NegSem_160102_predefined_functions_028

NegSem_160102_predefined_functions_029

NegSem_160102_predefined_functions_030

NegSem_160102_predefined_functions_031

16.1.3 External functions

NegSem_160103_external_functions_001

NegSem_160103_external_functions_002

NegSem_160103_external_functions_003

16.1.4 Invoking function from specific places

NegSem_160104_invoking_functions_from_specific_places_001

NegSem_160104_invoking_functions_from_specific_places_002

NegSem_160104_invoking_functions_from_specific_places_003

NegSem_160104_invoking_functions_from_specific_places_004

16.2 Altsteps

NegSem_1602_toplevel_001

NegSem_1602_toplevel_002

NegSem_1602_toplevel_003

NegSem_1602_toplevel_004

NegSem_1602_toplevel_005

NegSem_1602_toplevel_006

NegSyn_1602_toplevel_001

16.2.1 Invoking altsteps

NegSem_160201_invoking_altsteps_001

16.3 Test cases

NegSem_1603_testcases_001

NegSem_1603_testcases_002

19 Basic program statements

19.1 Assignments

NegSem_1901_assignments_001

NegSem_1901_assignments_002

NegSem_1901_assignments_003

NegSyn_1901_assignments_001

19.2 The if-else statement

NegSyn_1902_if_else_statement_001

19.4 The for statement

NegSem_1904_for_statement_001

19.5 The while statement

NegSem_1905_while_statement_001

19.6 The do-while statement

NegSem_1906_do_while_statement_001

19.7 The label statement

NegSem_1907_label_statement_001

NegSyn_1907_label_statement_001

NegSyn_1907_label_statement_002

19.8 The goto statement

NegSem_1908_goto_statement_001

NegSem_1908_goto_statement_002

NegSem_1908_goto_statement_003

19.10 The return statement

NegSem_1910_return_statement_001

19.11 The log statement

NegSem_1911_log_statement_001

20 Statement and operations for alternative behaviours

20.3 The repeat statement

NegSem_2003_the_repeat_statement_001

20.4 The interleave statement

NegSem_2004_InterleaveStatement_001

NegSyn_2004_InterleaveStatement_001

NegSyn_2004_InterleaveStatement_002

21 Configuration operations

21.3.1 The create operation

NegSem_210301_CreateOperation_001

NegSem_210301_CreateOperation_002

NegSem_210301_CreateOperation_003

22 Communication operations

22.2.1 The send operation

NegSem_220201_SendOperation_001

NegSem_220201_SendOperation_002

NegSem_220201_SendOperation_003

NegSem_220201_SendOperation_004

22.2.2 The receive operation

NegSem_220202_ReceiveOperation_001

22.2.3 The trigger operation

NegSem_220203_TriggerOperation_001

22.3.1 The call operation

NegSem_220301_CallOperation_001

NegSem_220301_CallOperation_002

22.3.2 The getcall operation

NegSem_220302_GetcallOperation_001

NegSem_220302_GetcallOperation_002

NegSem_220302_GetcallOperation_003

22.3.3 The reply operation

NegSem_220303_ReplyOperation_001

23 Timer operations

Top level

NegSem_2302_timer_start_001

NegSem_2302_timer_start_002

NegSem_2302_timer_start_003

NegSem_2302_timer_start_004

NegSyn_2302_timer_start_001

NegSyn_2302_timer_start_002

NegSyn_2302_timer_start_003

NegSyn_2302_timer_start_004

NegSyn_2302_timer_start_005

NegSyn_2302_timer_start_006

NegSyn_2302_timer_start_007

NegSyn_2302_timer_start_008

NegSyn_2302_timer_start_009

NegSyn_2302_timer_start_010

NegSyn_2302_timer_start_011

NegSyn_2302_timer_start_012

NegSyn_2302_timer_start_013

NegSem_23_toplevel_001

NegSem_23_toplevel_002

NegSyn_23_toplevel_001

NegSyn_23_toplevel_002

23.3 The stop timer operation

NegSyn_2303_timer_stop_001

NegSyn_2303_timer_stop_002

NegSyn_2303_timer_stop_003

NegSyn_2303_timer_stop_004

NegSyn_2303_timer_stop_005

NegSyn_2303_timer_stop_006

23.5 The running timer operation

NegSyn_2305_timer_running_001

NegSyn_2305_timer_running_002

NegSyn_2305_timer_running_003

NegSyn_2305_timer_running_004

NegSyn_2305_timer_running_005

NegSyn_2305_timer_running_006

23.6 The timeout operation

NegSyn_2306_timer_timeout_001

NegSyn_2306_timer_timeout_002

NegSyn_2306_timer_timeout_003

NegSyn_2306_timer_timeout_004

NegSyn_2306_timer_timeout_005

NegSyn_2306_timer_timeout_006

NegSyn_2306_timer_timeout_007

24 Test verdict operations

Top level

NegSem_2402_setverdict_params_001

NegSem_2402_setverdict_params_002

NegSem_2402_setverdict_params_003

NegSem_2402_setverdict_params_004

NegSem_2402_setverdict_params_005

NegSem_24_toplevel_001

NegSem_24_toplevel_002

NegSem_24_toplevel_003

NegSem_24_toplevel_004

NegSem_24_toplevel_005

24.1 The verdict mechanism

NegSem_2401_SetverdictError

26 Module control

26.1 The execute statement

NegSem_2601_ExecuteStatement_001

NegSem_2601_ExecuteStatement_002

NegSem_2601_ExecuteStatement_003

NegSem_2601_ExecuteStatement_004

26.2 The control part

NegSem_2602_TheControlPart_001

NegSem_2602_TheControlPart_002

NegSem_2602_TheControlPart_003

NegSem_2602_TheControlPart_004

NegSem_2602_TheControlPart_005

NegSem_2602_TheControlPart_006

NegSem_2602_TheControlPart_007

NegSem_2602_TheControlPart_008

NegSem_2602_TheControlPart_009

NegSem_2602_TheControlPart_010

NegSem_2602_TheControlPart_011

NegSem_2602_TheControlPart_012

NegSem_2602_TheControlPart_013

NegSem_2602_TheControlPart_014

NegSem_2602_TheControlPart_015

NegSem_2602_TheControlPart_016

NegSem_2602_TheControlPart_017

NegSem_2602_TheControlPart_018

NegSem_2602_TheControlPart_019

NegSem_2602_TheControlPart_020

NegSem_2602_TheControlPart_021

NegSem_2602_TheControlPart_022

NegSem_2602_TheControlPart_023

NegSem_2602_TheControlPart_024

NegSem_2602_TheControlPart_025

NegSem_2602_TheControlPart_026

NegSem_2602_TheControlPart_027

NegSem_2602_TheControlPart_028

NegSem_2602_TheControlPart_029

NegSem_2602_TheControlPart_030

NegSem_2602_TheControlPart_031

NegSem_2602_TheControlPart_032

NegSem_2602_TheControlPart_033

NegSem_2602_TheControlPart_034

NegSem_2602_TheControlPart_035

27 Specifying attributes

27.7 Optional attributes

NegSem_2707_OptionalAttributes_001

NegSem_2707_OptionalAttributes_002

NegSem_2707_OptionalAttributes_003

B Matching incoming values

B.1.2.4 Any value or none

NegSem_B010204_any_value_or_none_001

NegSem_B010204_any_value_or_none_002

B.1.2.5 Value range

NegSem_B010205_value_range_001

NegSem_B010205_value_range_002

NegSem_B010205_value_range_003

B.1.2.6 SuperSet

NegSem_B010206_superset_001

NegSem_B010206_superset_002

B.1.2.7 SubSet

NegSem_B010207_subset_001

NegSem_B010207_subset_002

B.1.3.3 Permutation

NegSem_B010303_permutation_001

B.1.4.1 Length restrictions

NegSem_B010401_length_restrictions_001

NegSem_B010401_length_restrictions_002

NegSem_B010401_length_restrictions_003

NegSem_B010401_length_restrictions_004

B.1.4.2 The ifpresent indicator

NegSem_B010402_ifPresent_indicator_001

B.1.5.1 Set expression

NegSem_B010501_set_expression_001

B.1.5.4 Match a referenced character set

NegSem_B010504_match_referenced_characters_001