* factored out common fragments

;

PackageableElement returns tdl::PackageableElement:

    AnnotationType | TestObjective

    (AnnotationType | TestObjective

     | ConstraintType

     | DataResourceMapping | DataElementMapping

     | SimpleDataType_Impl | SimpleDataInstance 

     | ComponentType | GateType 

     | TestConfiguration 

     | TestDescription 

    )

    WithCommentFragment? 

//    | PredefinedAnnotationType

;

    'AnnotationType'

    name=Identifier

    extension=Extension?

    WithCommentFragment?

;

TestObjective returns tdl::TestObjective:

            ('References:' (objectiveURI+=EString)+)?

        END

    )?

    WithCommentFragment?

;

Extension returns tdl::Extension:

    'Use'

    resourceURI=EString

    'as' name=Identifier

    WithCommentFragment?

;

DataElementMapping returns tdl::DataElementMapping:

            (parameterMapping+=ParameterMapping)*

        END

    )?

    WithCommentFragment?

;

ParameterMapping returns tdl::ParameterMapping:

    'Type'

    ConstraintFragment?

    name=Identifier

    WithCommentFragment?

;

SimpleDataInstance returns tdl::SimpleDataInstance:

    PrefixFragment?

    dataType=[tdl::DataType|Identifier]

    name=Identifier

    WithCommentFragment?

;

//TODO: alternative specification dialects?

    BEGIN

        (member+=Member)*

    END

    WithCommentFragment?

;

Member returns tdl::Member:

        //TODO: align with data use

        (memberAssignment+=MemberAssignment)*

    END

    WithCommentFragment?

;

MemberAssignment returns tdl::MemberAssignment:

    ConstraintFragment?

    'of' itemType=[tdl::DataType|Identifier]

    //TODO: use angle brackets instead of 'of'?

    WithCommentFragment?

;

CollectionDataInstance returns tdl::CollectionDataInstance:

    dataType=[tdl::DataType|Identifier] 

    name=Identifier

    '[' item+=StaticDataUse* ']'

    WithCommentFragment?

;

ProcedureSignature returns tdl::ProcedureSignature:

    'Signature'

    name=Identifier

    '(' parameter+=ProcedureParameter ( "," parameter+=ProcedureParameter)* ')'

    WithCommentFragment? 

;

ProcedureParameter returns tdl::ProcedureParameter:

    name=Identifier

    ('(' formalParameter+=FormalParameter ( "," formalParameter+=FormalParameter)* ')')?

    (':' body=EString)?

    WithCommentFragment?

    ;

Function returns tdl::Function:

    ('(' formalParameter+=FormalParameter ( "," formalParameter+=FormalParameter)* ')')?

    'returns' returnType=[tdl::DataType|Identifier]

    (':' body=EString)?

    WithCommentFragment?

;

enum UnassignedMemberTreatment returns tdl::UnassignedMemberTreatment:

        | name=PredefinedIdentifierSize

    )

    ('returns' returnType=[tdl::DataType|Identifier])?

    WithCommentFragment?

;

PredefinedIdentifierBinary returns ecore::EString:

        //TODO: without type specification?

        (value+=SimpleDataInstance)+

    END

    //WithCommentFragment?

;

//## Data Use

    PrefixFragment?

    'Time'

    name=Identifier

    WithCommentFragment?

;

TimeLabel returns tdl::TimeLabel:

    ( 'component' componentInstance=[tdl::ComponentInstance|Identifier])

    'waits' 'for'

    period=DataUse

    WithAtomicFragment?

;

Quiescence returns tdl::Quiescence: 

    )

    'is' 'quiet' 'for'

    period=DataUse 

    WithAtomicFragment?

;

    '.'

    timer=[tdl::Timer|Identifier]

    'for' period=DataUse

    WithAtomicFragment?

;

TimerStop returns tdl::TimerStop:

    componentInstance=[tdl::ComponentInstance|Identifier]

    '.'

    timer=[tdl::Timer|Identifier]

    WithAtomicFragment?

;

TimeOut returns tdl::TimeOut:

    timer=[tdl::Timer|Identifier]

    //TODO: refine syntax

    'times' 'out'

    WithAtomicFragment?

;

    (extension=Extension)?

    //TODO: revert to 'accepts'

    'accepts' dataType+=[tdl::DataType|Identifier] ( "," dataType+=[tdl::DataType|Identifier])*

    WithCommentFragment?  

;

enum GateTypeKind returns tdl::GateTypeKind:

        (variable+=Variable)*

        (gateInstance+=GateInstance)* 

    END

    WithCommentFragment?  

;

ComponentInstance returns tdl::ComponentInstance:

        (componentInstance+=ComponentInstance)* 

        (connection+=Connection)* 

    END

    WithCommentFragment?

;

//# Test Behaviour

    name=Identifier

    ('(' formalParameter+=FormalParameter ( "," formalParameter+=FormalParameter)* ')' )?

    'uses' testConfiguration=[tdl::TestConfiguration|Identifier]

    (

        behaviourDescription=BehaviourDescription

    )?

    //TODO: ambiguity

    //WithTDFragment?

    (behaviourDescription=BehaviourDescription)?

;

BehaviourDescription returns tdl::BehaviourDescription:

;

CombinedBehaviour returns tdl::CombinedBehaviour:

    SingleCombinedBehaviour | MultipleCombinedBehaviour

    (SingleCombinedBehaviour | MultipleCombinedBehaviour)

    =>WithCombinedFragment?

;

SingleCombinedBehaviour returns tdl::SingleCombinedBehaviour:

    //TODO: ambiguity

    //PrefixFragment?

    block=Block

    WithCombinedFragment?

;

BoundedLoopBehaviour returns tdl::BoundedLoopBehaviour:

    'repeat'

    numIteration+=LocalExpression 'times' (',' numIteration+=LocalExpression 'times')*

    block=Block

    WithCombinedFragment?

;

UnboundedLoopBehaviour returns tdl::UnboundedLoopBehaviour:

    PrefixFragment?

    'repeat'

    block=Block

    WithCombinedFragment?

;

OptionalBehaviour returns tdl::OptionalBehaviour:

    PrefixFragment?

    'optionally'

    block=Block

    WithCombinedFragment?

;

MultipleCombinedBehaviour returns tdl::MultipleCombinedBehaviour:

    (=>('else' block+=Block)

    | (('else' 'if' block+=Block)* 

       ('else' block+=Block)))? 

    WithCombinedFragment?

;

AlternativeBehaviour returns tdl::AlternativeBehaviour:

    block+=Block

    //TODO: enforce 2+? 

    ('or' block+=Block)* 

    WithCombinedFragment?

;

ParallelBehaviour returns tdl::ParallelBehaviour:

    //TODO: simplify keywords / syntax

    ('in' 'parallel' 'to' block+=Block)?

    ('and' block+=Block)*

    WithCombinedFragment?

;

ExceptionalBehaviour returns tdl::ExceptionalBehaviour:

//## Atomic Behaviour

AtomicBehaviour returns tdl::AtomicBehaviour:

    TimerOperation

    (TimerOperation

    | TimeOperation

    | Break | Stop

    | VerdictAssignment | Assertion

    | Interaction

    | TestDescriptionReference 

    | ActionBehaviour 

    | Assignment 

    | Assignment)

    WithAtomicFragment? 

;

Break returns tdl::Break:

    {tdl::Break}

    PrefixFragment?

    'break'

    WithAtomicFragment?

;

Stop returns tdl::Stop:

    {tdl::Stop}

    PrefixFragment?

    'terminate'

    WithAtomicFragment?

;

VerdictAssignment returns tdl::VerdictAssignment:

    PrefixFragment?

    'set' 'verdict' 'to'

    verdict=DataUse

    WithAtomicFragment?

;

Assertion returns tdl::Assertion:

    ('on' componentInstance=[tdl::ComponentInstance|Identifier])?

    //TODO: simplify syntax

    ('otherwise' 'set' 'verdict' 'to' otherwise=DataUse)?

    WithAtomicFragment?

;

Interaction returns tdl::Interaction: 

    argument=DataUse

    'to' 

    target+=TargetMessage ( "," target+=TargetMessage)* 

    WithAtomicFragment?

;

TargetMessage returns tdl::Target:

    'on' 

    target+=TargetProcedure

    //TODO: pull out name?

    WithAtomicFragment?

;

ProcedureCallResponse returns tdl::ProcedureCall:

    '('argument+=ParameterBinding ("," argument+=ParameterBinding)*')'

    'to' 

    target+=TargetProcedure

    WithAtomicFragment?

;

TargetProcedure returns tdl::Target:

    //TODO: check what the correct syntax shall be

    (valueAssignment+=ValueAssignmentProcedure ("," valueAssignment+=ValueAssignmentProcedure)*)?

    //WithNameFragment?

    //TODO: handle name fragment separately?

;

ValueAssignmentProcedure returns tdl::ValueAssignment:

        //TODO: commas? 

        componentInstanceBinding+=ComponentInstanceBinding+

    END)?

    WithAtomicFragment?

;

ComponentInstanceBinding returns tdl::ComponentInstanceBinding:

    //PrefixFragment?

    'bind' formalComponent=[tdl::ComponentInstance|Identifier]

    'to' actualComponent=[tdl::ComponentInstance|Identifier]

    WithNameFragment?

    WithCommentFragment?

;

ActionBehaviour returns tdl::ActionBehaviour: 

    action=[tdl::Action|Identifier]

    ('(' actualParameter+=ParameterBinding ( "," actualParameter+=ParameterBinding)* ')' )?

    ('on' componentInstance=[tdl::ComponentInstance|Identifier])?

    WithAtomicFragment?

;

InlineAction returns tdl::InlineAction:

    'perform' 'action' ':'

    body=EString

    ('on' componentInstance=[tdl::ComponentInstance|Identifier])?

    WithAtomicFragment?

;

Assignment returns tdl::Assignment:

    variable=VariableUse

    '=' 

    expression=DataUse

    WithAtomicFragment?

;

        ObjectiveFragment?

        TimeLabelFragment?

        TimeConstraintFragment?

        (comment+=Comment)+

        (comment+=Comment)*

    END

;