added section names

5=Basic language elements

5=Mapping XML Schemas

5.1=Identifiers and keywords

5.1=Namespaces and document references

5.2=Scope rules

5.1.1=Namespaces

5.2.1=Scope of formal parameters

5.1.2=Includes

5.2.2=Uniqueness of identifiers

5.1.3=Imports

5.3=Ordering of language elements

5.1.4=Attributes of the XSD schema element

5.4=Parameterization

5.1.5=The control namespace

5.4.1=Formal parameters

5.2=Name conversion

5.4.1.1=Formal parameters of kind value

5.2.1=General

5.4.1.2=Formal parameters of kind template

5.2.2=Name conversion rules

5.4.1.3=Formal parameters of kind timer

5.2.3=Order of the mapping

5.4.1.4=Formal parameters of kind port

5.3=Mapping of XSD schema components

5.4.2=Actual parameters

5.4=Unsupported features

5.5=Cyclic definitions

6=Built-in data types

6=Types and values

6.1=Mapping of facets

6.1=Basic types and values

6.1.1=Length

6.1.0=Simple basic types and values

6.1.2=MinLength

6.1.1=Basic string types and values

6.1.3=MaxLength

6.1.1.1=Accessing individual string elements

6.1.4=Pattern

6.1.2=Subtyping of basic types

6.1.5=Enumeration

6.1.2.1=Lists of values

6.1.6=WhiteSpace

6.1.2.2=Lists of types

6.1.7=MinInclusive

6.1.2.3=Ranges

6.1.8=MaxInclusive

6.1.2.4=String length restrictions

6.1.9=MinExclusive

6.1.2.5=Pattern subtyping of character string types

6.1.10=MaxExclusive

6.1.2.6=Mixing subtyping mechanisms

6.1.11=Total digits

6.1.2.6.1=Mixing patterns, lists and ranges

6.1.12=Not specifically mapped facets

6.1.2.6.2=Using length restriction with other constraints

6.2=String types

6.2=Structured types and values

6.2.1=String

6.2.1=Record type and values

6.2.2=Normalized string

6.2.1.1=Referencing fields of a record type

6.2.3=Token

6.2.1.2=Optional elements in a record

6.2.4=Name

6.2.1.3=Nested type definitions for field types

6.2.5=NMTOKEN

6.2.2=Set type and values

6.2.6=NCName

6.2.2.1=Referencing fields of a set type

6.2.7=ID

6.2.2.2=Optional elements in a set

6.2.8=IDREF

6.2.2.3=Nested type definitions for field types

6.2.9=ENTITY

6.2.3=Records and sets of single types

6.2.10=Hexadecimal binary

6.2.3.1=Nested tpe definitions

6.2.11 Base 64=binary

6.2.3.2=Referencing elements of record of and set of types

6.2.12=Any URI

6.2.4=Enumerated type and values

6.2.13=Language

6.2.5=Unions

6.2.14=NOTATION

6.2.5.1=Referencing fields of a union type

6.3=Integer types

6.2.5.2=Option and union

6.3.1=Integer

6.2.5.3=Nested type definition for field types

6.3.2=Positive integer

6.2.6=The anytype

6.3.3=Non-positive integer

6.2.7=Arrays

6.3.4=Negative integer

6.2.8=The default type

6.3.5=Non-negative integer

6.2.9=Communication port types

6.3.6=Long

6.2.10=Component types

6.3.7=Unsigned long

6.2.10.1=Component type definition

6.3.8=Int

6.2.10.2=Reuse of component types

6.3.9=Unsigned int

6.2.11=Component references

6.3.10=Short

6.2.12=Addressing entities inside the SUT

6.3.11=Unsigned Short

6.2.13=Subtyping of structured types

6.3.12=Byte

6.3=Type compatibility

6.3.13=Unsigned byte

6.3.1=Type compatibility of non-structured types

6.4=Float types

6.3.2=Type compatibility of structured types

6.4.1=Decimal

6.3.2.1=Type compatibility of enumerated types

6.4.2=Float

6.3.2.2=Type compatibility of record and record of types

6.4.3=Double

6.3.2.3=Type compatibility of set and set of types

6.5=Time types

6.3.2.4=Type compatibility of union types

6.5.1=Duration

6.3.2.5=Type compatibility of anytype types

6.5.2=Date and time

6.3.2.6=Type compatibility of sub-structures

6.5.3=Time

6.3.3=Type compatibility of component types

6.5.4=Date

6.3.4=Type compatibility of communication operations

6.5.5=Gregorian year and month

6.3.5=Type conversion

6.5.6=Gregorian year

7=Expression

6.5.7=Gregorian month and day

7.1=Operators

6.5.8=Gregorian day

7.1.1=Arithmetic operators

6.5.9=Gregorian month

7.1.2=List operator

6.6=Sequence types

7.1.3=Relational operators

6.6.1=NMTOKENS

7.1.4=Logical operators

6.6.2=IDREFS

7.1.5=Bitwise operators

6.6.3=ENTITIES

7.1.6=Shift operators

6.6.4=QName

7.1.7=Rotate operators

6.7=Boolean type

7.2=Field references and list elements

6.8=AnyType and anySimpleType types

8=Modules

7=Mapping XSD components

8.1=Definition of a module

7.1=Attributes of XSD component declarations

8.2=Module definitions part

7.1.1=Id

8.2.1=Module parameters

7.1.2=Ref

8.2.2=Groups of definitions

7.1.3=Name

8.2.3=Importing from modules

7.1.4=MinOccurs and maxOccurs

8.2.3.1=General format of import

7.1.5=Default and Fixed

8.2.3.2=Importing single definitions

7.1.6=Form

8.2.3.3=Importing groups

7.1.7=Type

8.2.3.4=Importing definitions of the same kind

7.1.8=Mixed

8.2.3.5=Importing all definitions of a module

7.1.9=Abstract

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

7.1.10=Block and blockDefault

8.2.3.7=Importing of import statements from TTCN-3 modules

7.1.11=Nillable

8.2.3.8=Compatibility of language specifications of imports

7.1.12=Use

8.2.4=Definition of friend modules

7.1.13=Substitution group

8.2.5=Visibility of definitions

7.1.14=Final

8.3=Module control part

7.1.15=Process contents

9=Port types, component types and test configurations

7.2=Schema component

9.1=Communication ports

7.3=Element component

9.2=Test system interface

7.4=Attribute and attribute group definitions

10=Declaring constants

7.4.1=Attribute element definitions

11=Declaring variables

7.4.2=Attribute group definitions

11.1=Value variables

7.5=SimpleType components

11.2=Template variables

7.5.1=Derivation by restriction

12=Declaring timers

7.5.2=Derivation by list

13=Declaring messages

7.5.3=Derivation by union

14=Declaring procedure signatures

7.6=ComplexType components

15=Declaring templates

7.6.1=ComplexType containing simple content

15.1=Declaring message templates

7.6.1.1=Extending simple content

15.2=Declaring signature templates

7.6.1.2=Restricting simple content

15.3=Global and local templates

7.6.2=ComplexType containing complex content

15.4=In-line templates

7.6.2.1=Complex content derived by extension

15.5=Modified templates

7.6.2.2=Complex content derived by restriction

15.6=Referencing elements of templates or template fields

7.6.3=Referencing group components

15.6.1=Referencing individual string elements

7.6.4=All content

15.6.2=Referencing record and set fields

7.6.5=Choice content

15.6.3=Referencing record of and set of elements

7.6.5.1=Choice with nested elements

15.7=Template matching mechanism

7.6.5.2=Choice with nested group

15.7.1=Specific values

7.6.5.3=Choice with nested choice

15.7.2=Special symbols that can be used instead of values

7.6.5.4=Choice with nested sequence

15.7.3=Special symbols that can be used inside values

7.6.5.5=Choice with nested any

15.7.4=Special symbols that describe attributes of values

7.6.6=Sequence content

15.8=Template restrictions

7.6.6.1=Sequence with nested element content

15.9=Match operation

7.6.6.2=Sequence with nested group content

15.10=Valueof operation

7.6.6.3=Sequence with nested choice content

15.11=Concatenating templates of string and list types

7.6.6.4=Sequence with nested sequence content

16=Functions, altsteps and testcases

7.6.6.5=Sequence with nested any content

16.1=Functions

7.6.6.6=Effect of the minOccurs and maxOccurs attributes on the mapping

16.1.1=Invoking functions

7.6.7=Attribute definitions, attribute and attributeGroup references

16.1.2=Predefined functions

7.6.8=Mixed content

16.1.3=External functions

7.7=Any and anyAttribute

16.1.4=Invoking function from specific places

7.7.1=The any element

16.2=Altsteps

7.7.2=The anyAttribute element

16.2.1=Invoking altsteps

7.8=Annotation

16.3=Test cases

7.9=Group components

17=Void

7.10=Identity-constraint definition schema components

18=Overview of program statements and operations

8=Substitutions

19=Basic program statements

8.1=Element substitution

19.1=Assignments

8.1.1=Head elements of substitution groups

19.2=The if-else statement

8.1.2=Substitution group members

19.3=The select case statement

8.2=Type substitution

19.4=The for statement

19.5=The while statement

19.6=The do-while statement

19.7=The label statement

19.8=The goto statement

19.9=The stop execution statement

19.10=The return statement

19.11=The log statement

19.12=The break statement

19.13=The continue statement

19.14=Statement block

20=Statement and operations for alternative behaviours

20.1=The snapshot mechanism

20.2=The alt statement

20.3=The repeat statement

20.4=The interleave statement

20.5=Default handling

20.5.1=The default mechanism

20.5.2=The activate operation

20.5.3=The deactivate operation

21=Configuration operations

21.1=Connection operations

21.1.1=The connect and map operations

21.1.2=The disconnect and unmap operations

21.2=Test case operations

21.2.1=Test case stop operation

21.3=Test component operations

21.3.1=The create operation

21.3.2=The start test component operation

21.3.3=The stop test behaviour operation

21.3.4=The kill test component operation

21.3.5=The alive operation

21.3.6=The running operation

21.3.7=The done operation

21.3.8=The killed operation

21.3.9=Summary of the use of any and all with components

22=Communication operations

22.1=The communication mechanisms

22.1.1=Principles of message-based communication

22.1.2=Principles of procedure-based communication

22.1.3=Principles of unicast, multicast and broadcast communication

22.1.4=General format of communication operations

22.1.4.1=General format of the sending operations

22.1.4.2=General format of the receiving operations

22.2=Message-based communication

22.2.1=The send operation

22.2.2=The receive operation

22.2.3=The trigger operation

22.3=Procedure-based communication

22.3.1=The call operation

22.3.2=The getcall operation

22.3.3=The reply operation

22.3.4=The getreply operation

22.3.5=The raise operation

22.3.6=The catch operation

22.4=The check operation

22.5=Controlling communication ports

22.5.1=The clear port operation

22.5.2=The start port operation

22.5.3=The stop port operation

22.5.4=The halt port operation

22.6=Use of any and all with ports

23=Timer operations

23.1=The timer mechanism

23.2=The start timer operation

23.3=The stop timer operation

23.4=The read timer operation

23.5=The running timer operation

23.6=The timeout operation

23.7=Summary of the use of any and al with timers

24=Test verdict operations

24.1=The verdict mechanism

24.2=The setverdict mechanism

24.3=The getverdict mechanism

25=External actions

26=Module control

26.1=The execute statement

26.2=The control part

27=Specifying attributes

27.1=The attribute mechanism

27.1.1=Scope of attributes

27.1.2=Overwriting rules for attributes

27.1.2.1=Additional overwriting rules for variant attributes

27.1.3=Changing attributes of imported language elements

27.2=The with statement

27.3=Display attributes

27.4=Encoding attributes

27.5=Variant attributes

27.6=Extension attributes

27.7=Optional attributes

A=BNF and static semantics

A.1=TTCN-3 BNF

A.1.1=Conventions for the syntax description

A.1.2=Statement terminator symbols

A.1.3=Identifiers

A.1.4=Comments

A.1.5=TTCN-3 terminals

A.1.5.1=Use of whitespaces and newlines

A.1.6=TTCN-3 syntax BNF productions

A.1.6.0=TTCN-3 module

A.1.6.1=Module definitions part

A.1.6.1.0=General

A.1.6.1.1=Typedef definitions

A.1.6.1.2=Constant definitions

A.1.6.1.3=Template definitions

A.1.6.1.4=Function definitions

A.1.6.1.5=Signature definitions

A.1.6.1.6=Testcase definitions

A.1.6.1.7=Altstep definitions

A.1.6.1.8=Import definitions

A.1.6.1.9=Group definitions

A.1.6.1.10=External function definitions

A.1.6.1.11=External constant definitions

A.1.6.1.12=Module parameter definitions

A.1.6.1.13=Friend module definitions

A.1.6.2=Control part

A.1.6.2.0=General

A.1.6.2.1=Variable instantiation

A.1.6.2.2=Timer instantiation

A.1.6.2.3=Component operations

A.1.6.2.4=Port operations

A.1.6.2.5=Timer operations

A.1.6.3=Type

A.1.6.4=Value

A.1.6.5=Parameterization

A.1.6.6=With statement

A.1.6.7=Behaviour statements

A.1.6.8=Basic statements

A.1.6.9=Miscallaneous productions

B=Matching incoming values

B.1=Template matching mechanisms

B.1.1=Matching specific values

B.1.2=Matching mechanisms instead of values

B.1.2.1=Value list 

B.1.2.2=Complemented value list

B.1.2.3=Any value

B.1.2.4=Any value or none

B.1.2.5=Value range

B.1.2.6=SuperSet

B.1.2.7=SubSet

B.1.2.8=Omitting optional fields

B.1.3=Matching mechanisms inside values

B.1.3.1=Any element

B.1.3.1.1=Using single character wildcards

B.1.3.2=Any number of elements of no element

B.1.3.2.1=Using multiple character wildcards

B.1.3.3=Permutation

B.1.4=Matching attributes of values

B.1.4.1=Length restrictions

B.1.4.2=The ifpresent indicator

B.1.5=Matching character pattern

B.1.5.1=Set expression

B.1.5.2=Reference expression

B.1.5.3=Match expression n times

B.1.5.4=Match a referenced character set

B.1.5.5=Type compatibility rules for patterns

C=Pre-defined TTCN-3 functions

C.0=General exception handling procedures

C.1=Integer to character

C.2=Integer to universal character

C.3=Integer to bitstring

C.4=Integer to hexstring

C.5=Integer to octetstring

C.6=Integer to charstring

C.7=Integer to float

C.8=Float to integer

C.9=Character to integer

C.10=Character to octetstring

C.11=Universal character to integer

C.12=Bitstring to integer

C.13=Bitstring to hexstring

C.14=Bitstring to octetstring

C.15=Bitstring to charstring

C.16=Hexstring to integer

C.17=Hexstring to bitstring

C.18=Hexstring to octetstring

C.19=Hexstring to charstring

C.20=Octetstring to integer

C.21=Octetstring to bitstring 

C.22=Octetstring to hexstring

C.23=Octetstring to character string

C.24=Octetstring to character string, version II

C.25=Character to integer

C.26=Character string to hexstring

C.27=Character string to octetstring

C.28=Character string to float

C.29=Length of strings and lists

C.30=Number of elements in a structured value

C.31=The ispresent function

C.32=The ischosen function

C.33=The regexp function

C.34=The substring function

C.35=The replace function

C.36=The random number generator function

C.37=Enumerated to integer

C.38=The isvalue function

C.39=The encoding function

C.40=The decoding function

C.41=The testcasename function

D=Preprocessing macros

D.1=Preprocessing macro __MODULE__

D.2=Preprocessing macro __FILE__

D.3=Preprocessing macro __BFILE__

D.4=Preprocessing macro __LINE__

D.5=Preprocessing macro __SCOPE__