+ added behaviours, static data uses (WIP, open issues)

            ( "," importedElement+=[tdl::PackageableElement|Identifier])*

            ( "," importedElement+=[tdl::PackageableElement|Identifier])*

        )

        )

    )

    )

    'from' (importedPackage=[tdl::Package|Identifier] | importedPackage=[tdl::Package|QIdentifier])

    'from' 

        (importedPackage=[tdl::Package|Identifier]

       | importedPackage=[tdl::Package|QIdentifier]

    )

    WithCommentFragment?

    WithCommentFragment?

;

;

    PrefixFragment?

    PrefixFragment?

    dataType=[tdl::DataType|Identifier]

    dataType=[tdl::DataType|Identifier]

    name=Identifier

    name=Identifier

    //TODO: use keywords?

    //TODO: use keywords for unassigned member treatment?

    (unassignedMember=UnassignedMemberTreatment)?

    (unassignedMember=UnassignedMemberTreatment)?

    BEGIN

    BEGIN

        //TODO: use parentheses instead? (structure vs parameters)

        //TODO: use parentheses instead? (structure vs parameters), also for type above

        //TODO: disambiguate when indentation is used?

        //TODO: disambiguate when indentation is used?

        //TODO: align with data use

        //TODO: align with data use

        (memberAssignment+=MemberAssignment)*

        (memberAssignment+=MemberAssignment)*

CollectionDataInstance returns tdl::CollectionDataInstance:

CollectionDataInstance returns tdl::CollectionDataInstance:

    PrefixFragment?

    PrefixFragment?

    //TODO: keep square brackets? ->discuss later (exclusive to guards or guards shall use a word?)

    dataType=[tdl::DataType|Identifier] 

    dataType=[tdl::DataType|Identifier] //-> should probably be preferred for index or also for begin/end below

    //alternatively dataType 'collection' name? -> no

    name=Identifier

    name=Identifier

    '[' item+=StaticDataUse* ']'

    '[' item+=StaticDataUse* ']'

    WithCommentFragment?

    WithCommentFragment?

//TODO: continue with data use...

//TODO: continue with data use...

DataUse returns tdl::DataUse:

    StaticDataUse | DynamicDataUse

;

ParameterBinding returns tdl::ParameterBinding:

    //PrefixFragment?

    parameter=[tdl::Parameter|Identifier]

    '=' dataUse=DataUse

    //TODO: this is ambiguous    

    //WithNameFragment?

;

MemberReference returns tdl::MemberReference:

    {tdl::MemberReference}

    //PrefixFragment?

    member=[tdl::Member|Identifier] 

    //('[' collectionIndex=DataUse ']')? 

    //TODO: this is ambiguous    

    //WithNameFragment?

;

//TODO: Synthetic

CollectionReference returns tdl::MemberReference:

    //PrefixFragment?

    '[' collectionIndex=DataUse ']'

    //TODO: this is ambiguous    

    //WithNameFragment?

;

StaticDataUse returns tdl::StaticDataUse:

StaticDataUse returns tdl::StaticDataUse:

    OmitValue //| AnyValue | AnyValueOrOmit | DataInstanceUse | LiteralValueUse

    DataInstanceUse 

    | SpecialValueUse

    | LiteralValueUse

;

;

DataInstanceUse returns tdl::DataInstanceUse:

    {tdl::DataInstanceUse}

    //PrefixFragment?

    (

        ReferencedDataInstance

//        | AnonymousDataInstanceWithType

           //TODO: some ambiguity with UnassignedMemberTreatment

//        | AnonymousDataInstanceWithoutType

//        | AnonymousCollection

    ) 

    //TODO: this is ambiguous    

    //WithNameFragment?

;

fragment ParameterBindingFragment returns tdl::DataInstanceUse:

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

;

fragment UnassignedFragment returns tdl::DataInstanceUse:

    //TODO: added angle brackets for disambiguation

    '<' unassignedMember=UnassignedMemberTreatment '>'

;

fragment ReferencedDataInstance returns tdl::DataInstanceUse:

    //referenced DataInstance, arguments or reduction optional

    dataInstance=[tdl::DataInstance|Identifier]

    UnassignedFragment?

    (

        ParameterBindingFragment

        //TODO: reduction problematic

//        |

//        (   (reduction+=CollectionReference)?

//            ('.' reduction+=MemberReference)*

//        )

    )?

;

fragment AnonymousDataInstanceWithType returns tdl::DataInstanceUse:

    //anonymous with data type, arguments mandatory, only structured data types

    ('a' dataType=[tdl::StructuredDataType|Identifier])?

    UnassignedFragment?

    ParameterBindingFragment

;

fragment AnonymousDataInstanceWithoutType returns tdl::DataInstanceUse:

    //anonymous with no data type, arguments mandatory, otherwise AnyValue, only structured data types

    //type assumed from context

    //TODO: ambiguity -> placehodler keyword?

    UnassignedFragment?

    ParameterBindingFragment

;

fragment AnonymousCollection returns tdl::DataInstanceUse:

    //TODO: Not standardised: inline collections, no type needed? (only when used in interaction?)

    ('a' dataType=[tdl::CollectionDataType|Identifier])?

    UnassignedFragment?

    //TODO: Only static?

    '[' (item+=StaticDataUse ("," item+=StaticDataUse)*)? ']'

;

SpecialValueUse returns tdl::SpecialValueUse:

    OmitValue | AnyValue | AnyValueOrOmit 

;

AnyValue returns tdl::AnyValue:

    {tdl::AnyValue}

    PrefixFragment?

    name='?'

    //TODO: use 'of' keyword or 'of type'?

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

    //TODO: this is ambiguous    

    //WithCommentFragment?

;

AnyValueOrOmit returns tdl::OmitValue:

    {tdl::OmitValue}

    PrefixFragment?

    name='*'

    //TODO: this is ambiguous    

    //WithCommentFragment?

;

OmitValue returns tdl::OmitValue:

OmitValue returns tdl::OmitValue:

    {tdl::OmitValue}

    {tdl::OmitValue}

    PrefixFragment?

    PrefixFragment?

    'omit'

    name='omit'

    //TODO: this is ambiguous    

    //TODO: this is ambiguous    

    //WithCommentFragment?

    //WithCommentFragment?

;

;

DynamicDataUse returns tdl::DynamicDataUse:

    'todo:dynamic'

//    FormalParameterUse | FunctionCall | VariableUse | TimeLabelUse | PredefinedFunctionCall

;

LiteralValueUse returns tdl::LiteralValueUse:

    {tdl::LiteralValueUse}

    value=LiteralValue

    //TODO: ambiguity if type? value -> temporary solution

    ('of' 'type' dataType=[tdl::DataType|Identifier])?

    //TODO: ambiguity

    //WithNameFragment?

    //Reduction and argument are excluded

;

//# Time

//# Time

Timer returns tdl::Timer:

Timer returns tdl::Timer:

TimeConstraint returns tdl::TimeConstraint:

TimeConstraint returns tdl::TimeConstraint:

    //TODO: this is ambiguous    

    //TODO: this is ambiguous    

    //PrefixFragment?

    //PrefixFragment?

    timeConstraintExpression=StaticDataUse //TODO: revert to DataUse

    timeConstraintExpression=DataUse

    //WithCommentFragment?

    //WithCommentFragment?

;

;

    Last = 'Last' | Previous = 'Previous' | First = 'First'

    Last = 'Last' | Previous = 'Previous' | First = 'First'

;

;

//TODO: continue with the rest

//# Test Configuration

//# Test Configuration

//TODO: test all and refine

GateType returns tdl::GateType:

GateType returns tdl::GateType:

    PrefixFragment?

    PrefixFragment?

    kind=GateTypeKind

    kind=GateTypeKind

    (extension=Extension)?

    (extension=Extension)?

    //TODO: revert to 'accepts'

    //TODO: revert to 'accepts'

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

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

    //TODO: potential ambiguity?

    WithCommentFragment?  

    WithCommentFragment?  

;

;

    'Component'

    'Component'

    name=Identifier

    name=Identifier

    (extension=Extension)?

    (extension=Extension)?

    //TODO: align order?

    BEGIN

    BEGIN

        (gateInstance+=GateInstance)+ 

        (timer+=Timer)*

        (timer+=Timer)*

        (variable+=Variable)*

        (variable+=Variable)*

        (gateInstance+=GateInstance)* 

    END

    END

    WithCommentFragment?  

    WithCommentFragment?  

;

;

ComponentInstance returns tdl::ComponentInstance:

ComponentInstance returns tdl::ComponentInstance:

    PrefixFragment?

    PrefixFragment?

    'create'

    role=ComponentInstanceRole

    type=[tdl::ComponentType|Identifier]

    type=[tdl::ComponentType|Identifier]

    'component'

    name=Identifier

    name=Identifier

    'as'

    //create ROLE TYPE ID vs create ROLE ID of type TYPE (old notation) -> to be aligned with data type syntax and the rest

    //TODO: or use annotation syntax? -> no

    //TODO: re-evaluate existing notation -> condense to more compact definition

    //create ROLE TYPE ID

    //create ROLE ID of type TYPE (old notation) -> to be aligned with data type syntax and the rest

    role=ComponentInstanceRole

    WithCommentFragment?  

    WithCommentFragment?  

;

;

    component=[tdl::ComponentInstance|Identifier]

    component=[tdl::ComponentInstance|Identifier]

    '.' 

    '.' 

    gate=[tdl::GateInstance|Identifier]

    gate=[tdl::GateInstance|Identifier]

    //WithCommentFragment?

    //WithNameFragment?

    //TODO: add extended name fragments

;

;

Connection returns tdl::Connection:

Connection returns tdl::Connection:

    PrefixFragment?

    PrefixFragment?

    'connect'

    'connect'

    endPoint+=GateReference 'to' endPoint+=GateReference

    endPoint+=GateReference 'to' endPoint+=GateReference

    WithCommentFragment?

    WithNameFragment?

    //TODO: add extended name fragments

;

;

    'Configuration'

    'Configuration'

    name=Identifier

    name=Identifier

    BEGIN

    BEGIN

        //TODO: enforce '+'?

        (componentInstance+=ComponentInstance)* 

        (componentInstance+=ComponentInstance)* 

        (connection+=Connection)* 

        (connection+=Connection)* 

    END

    END

    (

    (

        behaviourDescription=BehaviourDescription

        behaviourDescription=BehaviourDescription

    )?

    )?

    WithCommentFragment?

    //TODO: ambiguity

    //TODO: add extended objective fragments

    //WithTDFragment?

;

;

BehaviourDescription returns tdl::BehaviourDescription:

BehaviourDescription returns tdl::BehaviourDescription:

    behaviour=Behaviour

    //behaviour=Behaviour

    behaviour=CompoundBehaviour

    //TODO: differentiate between atomic and combined behaviours

    //      embed atomic behaviours in a "block" nonetheless?

    //      or switch to combined behaviour?

    //TODO: fix fragments

    //TODO: fix fragments

//    NameFragment?

//    NameFragment?

//    WithFragmentNested?

//    WithFragmentNested?

//## Combined Behaviour

//## Combined Behaviour

Behaviour returns tdl::Behaviour:

Behaviour returns tdl::Behaviour:

    //TimerStart | TimerStop | TimeOut | Wait | Quiescence | PeriodicBehaviour | AlternativeBehaviour | ParallelBehaviour | BoundedLoopBehaviour | OptionalBehaviour | UnboundedLoopBehaviour | ConditionalBehaviour | CompoundBehaviour | DefaultBehaviour | InterruptBehaviour | VerdictAssignment | Assertion | Stop | Break | Assignment | InlineAction | ActionReference | TestDescriptionReference | Interaction_Impl | Message | ProcedureCall;

    CombinedBehaviour | AtomicBehaviour

    TimerStart | TimerStop | TimeOut

    //excluded via constraint:

    | CompoundBehaviour

    //PeriodicBehaviour

    //DefaultBehaviour | InterruptBehaviour | 

;

;

Block returns tdl::Block:

Block returns tdl::Block:

    //TODO: fragments cause ambiguity

    //TODO: fragments cause ambiguity

    //PrefixFragment?

    //PrefixFragment?

    //PrefixNameFragment?

    //TODO: shall guards use a keyword instead?

    //TODO: extract to fragment

    ('[' guard+=LocalExpression ( "," guard+=LocalExpression)* ']' )?

    ('[' guard+=LocalExpression ( "," guard+=LocalExpression)* ']' )?

    BEGIN

    BEGIN

        behaviour+=Behaviour+ 

        behaviour+=Behaviour+ 

    END

    END

    //WithNameFragment?

;

;

LocalExpression returns tdl::LocalExpression:

LocalExpression returns tdl::LocalExpression:

    //TODO: this is ambiguous    

    //TODO: this is ambiguous    

    //PrefixFragment?

    //PrefixFragment?

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

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

    expression=StaticDataUse //TODO: revert to DataUse

    expression=DataUse

    //WithCommentFragment?

    //WithNameFragment?

    //TODO: add extended name fragments

;

;

CombinedBehaviour returns tdl::CombinedBehaviour:

    SingleCombinedBehaviour | MultipleCombinedBehaviour

;

SingleCombinedBehaviour returns tdl::SingleCombinedBehaviour:

    CompoundBehaviour

    | BoundedLoopBehaviour

    | UnboundedLoopBehaviour 

    | OptionalBehaviour

;

CompoundBehaviour returns tdl::CompoundBehaviour:

CompoundBehaviour returns tdl::CompoundBehaviour:

    //TODO: ambiguity

    //PrefixFragment?

    block=Block

    WithCombinedFragment?

;

BoundedLoopBehaviour returns tdl::BoundedLoopBehaviour:

    PrefixFragment?

    PrefixFragment?

    'repeat'

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

    block=Block

    block=Block

    //TODO: extract to fragment

    WithCombinedFragment?

//    PrefixObjectiveFragment?

;

//    PrefixNameFragment?

    //TODO: periodic / exceptional fragments

UnboundedLoopBehaviour returns tdl::UnboundedLoopBehaviour:

    //('periodic' '{' periodic+=PeriodicBehaviour ( "," periodic+=PeriodicBehaviour)* '}' )?

    PrefixFragment?

    //('exceptional' '{' exceptional+=ExceptionalBehaviour ( "," exceptional+=ExceptionalBehaviour)* '}' )?

    'repeat'

//    WithCommentFragment?

    block=Block

    WithCombinedFragment?

;

OptionalBehaviour returns tdl::OptionalBehaviour:

    PrefixFragment?

    'optionally'

    block=Block

    WithCombinedFragment?

;

;

MultipleCombinedBehaviour returns tdl::MultipleCombinedBehaviour:

    ConditionalBehaviour 

    | AlternativeBehaviour

    | ParallelBehaviour

;

ConditionalBehaviour returns tdl::ConditionalBehaviour:

    PrefixFragment?

    'if' block+=Block

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

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

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

    WithCombinedFragment?

;

AlternativeBehaviour returns tdl::AlternativeBehaviour:

    PrefixFragment?

    'alternatively'

    block+=Block

    //TODO: enforce 2+? 

    ('or' block+=Block)* 

    WithCombinedFragment?

;

ParallelBehaviour returns tdl::ParallelBehaviour:

    PrefixFragment?

    'run' block+=Block 

    //TODO: enforce at least 2?

    //TODO: simplify keywords / syntax

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

    ('and' block+=Block)*

    WithCombinedFragment?

;

ExceptionalBehaviour returns tdl::ExceptionalBehaviour:

    DefaultBehaviour | InterruptBehaviour;

DefaultBehaviour returns tdl::DefaultBehaviour:

    PrefixFragment?

    'default'

    //TODO: switch to component: default? (also interrupt)

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

    block=Block

    WithBehaviourFragment?

;

InterruptBehaviour returns tdl::InterruptBehaviour:

    PrefixFragment?

    'interrupt'

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

    block=Block

    WithBehaviourFragment?

;

PeriodicBehaviour returns tdl::PeriodicBehaviour:

    PrefixFragment?

    'every'

    (period+=LocalExpression (',' period+=LocalExpression)*)

    block=Block

    WithBehaviourFragment?

;

//## Atomic Behaviour

//## Atomic Behaviour

AtomicBehaviour returns tdl::AtomicBehaviour:

    TimerStart | TimerStop | TimeOut

    //| Wait | Quiescence | 

    //VerdictAssignment | Assertion

    //| Stop | Break

    //| Assignment 

    //| InlineAction | ActionReference 

    //| TestDescriptionReference 

    //| Interaction_Impl | Message | ProcedureCall;

;

TimerStart returns tdl::TimerStart:

TimerStart returns tdl::TimerStart:

    PrefixFragment?

    PrefixFragment?

    //TODO: extract to fragment

//    PrefixObjectiveFragment?

//    PrefixNameFragment?

//    PrefixTimeLabelFragment?

//    PrefixTimeConstraintFragment?

    'start'

    'start'

    componentInstance=[tdl::ComponentInstance|Identifier]

    componentInstance=[tdl::ComponentInstance|Identifier]

    '.'

    '.'

    timer=[tdl::Timer|Identifier]

    timer=[tdl::Timer|Identifier]

    'for' period=StaticDataUse

    'for' period=DataUse

    //TODO: shortcut, restore original

    WithAtomicFragment?

    //'for' period=DataUse

;

;

TimerStop returns tdl::TimerStop:

TimerStop returns tdl::TimerStop:

    PrefixFragment?

    PrefixFragment?

    //TODO: extract to fragment

//    PrefixObjectiveFragment?

//    PrefixNameFragment?

//    PrefixTimeLabelFragment?

//    PrefixTimeConstraintFragment?

    'stop'

    'stop'

    componentInstance=[tdl::ComponentInstance|Identifier]

    componentInstance=[tdl::ComponentInstance|Identifier]

    '.'

    '.'

    timer=[tdl::Timer|Identifier]

    timer=[tdl::Timer|Identifier]

    WithAtomicFragment?

;

;

TimeOut returns tdl::TimeOut:

TimeOut returns tdl::TimeOut:

    PrefixFragment?

    PrefixFragment?

    //TODO: extract to fragment

//    PrefixObjectiveFragment?

//    PrefixNameFragment?

//    PrefixTimeLabelFragment?

//    PrefixTimeConstraintFragment?

    componentInstance=[tdl::ComponentInstance|Identifier]

    componentInstance=[tdl::ComponentInstance|Identifier]

    '.'

    '.'

    timer=[tdl::Timer|Identifier]

    timer=[tdl::Timer|Identifier]

    'expired'

    'expired'

    WithAtomicFragment?

;

;

//Use: inline block - within other blocks, e.g. with other contents 

//Use: inline block - within other blocks, e.g. with other contents 

fragment WithCommentFragment returns tdl::Element:

fragment WithCommentFragment returns tdl::Element:

    ('With:'

    'With:'

    BEGIN

    BEGIN

        (comment+=Comment)+

        (comment+=Comment)+

        //SHall this be '*'? Ambiguity?

    END

    END

    )

;

;

fragment ObjectiveFragment returns tdl::Behaviour:

fragment WithNameFragment returns tdl::Element:

    'Objective:' testObjective+=[tdl::TestObjective|Identifier] ( "," testObjective+=[tdl::TestObjective|Identifier])*

    'With:'

    BEGIN

        //At least one element shall be provided? Ambiguity?

        NameFragment?

        (comment+=Comment)*

    END

;

fragment WithBehaviourFragment returns tdl::Behaviour:

    'With:'

    BEGIN

        //At least one element shall be provided? Ambiguity?

        NameFragment?

        ObjectiveFragment?

        (comment+=Comment)*

    END

;

fragment WithTDFragment returns tdl::TestDescription:

    'With:'

    BEGIN

        //At least one element shall be provided? Ambiguity?

        TDObjectiveFragment?

        (comment+=Comment)*

    END

;

fragment WithAtomicFragment returns tdl::AtomicBehaviour:

    'With:'

    BEGIN

        //At least one element shall be provided? Ambiguity?

        NameFragment?

        ObjectiveFragment?

        TimeLabelFragment?

        TimeConstraintFragment?

        (comment+=Comment)+

    END

;

fragment WithCombinedFragment returns tdl::CombinedBehaviour:

    'With:'

    BEGIN

        //At least one element shall be provided? Ambiguity?

        NameFragment?

        ObjectiveFragment?

        (comment+=Comment)*

        //TODO: periodic / exceptional as separate fragment(s) for combined behaviour

        (periodic+=PeriodicBehaviour)*

        (exceptional+=ExceptionalBehaviour)*

    END

;

;

fragment TDObjectiveFragment returns tdl::TestDescription:

fragment TDObjectiveFragment returns tdl::TestDescription:

    'Objective:' testObjective+=[tdl::TestObjective|Identifier] ( "," testObjective+=[tdl::TestObjective|Identifier])*

    'Objective:' testObjective+=[tdl::TestObjective|Identifier] ( "," testObjective+=[tdl::TestObjective|Identifier])*

;

;

fragment ObjectiveFragment returns tdl::Behaviour:

    'Objective:' testObjective+=[tdl::TestObjective|Identifier] ( "," testObjective+=[tdl::TestObjective|Identifier])*

;

fragment NameFragment returns tdl::Element:

fragment NameFragment returns tdl::Element:

    'Name:' name=Identifier

    'Name:' name=Identifier

;

;

fragment TimeLabelFragment returns tdl::AtomicBehaviour:

fragment TimeLabelFragment returns tdl::AtomicBehaviour:

    'TimeLabel:' timeLabel=TimeLabel

    'TimeLabel:' timeLabel=TimeLabel

;

;

    // | ID

    // | ID

;

;

LiteralValue returns ecore::EString:

    STRING

    | ('-'? INT ('.' INT)?)

;

Identifier returns ecore::EString:

Identifier returns ecore::EString:

    ID

    ID

;

;