+ refinements and reordering

    //DONE: check how well multi-word value converters work as a separate rule..

    //      would it then be a single string or should it be decomposed in a sequence?

    //      -> not in this version

    'Event' name=Identifier

    'Event' name=KIdentifier

;

PICS returns to::PICS:

EventReference returns to::EventReference:

    (comment+=Qualifier | comment+=CommonWordQualifier | comment+=NotQualifier)*

    event=[to::Event|Identifier] 

    event=[to::Event|KIdentifier] 

;

//# Data

fragment LiteralValueFragment returns to::LiteralValue:

    comment+=Qualifier* 

    (name=Identifier | name=NIdentifier)

    (name=Identifier | name=NIdentifier | name = SIdentifier)

    ('containing' 

        BEGIN

            content+=DataContent (',' content+=DataContent)* 

DataContent returns to::Content:

    comment+=NotQualifier?

//    (parameter=[Parameter|Identifier] | name=Identifier | name=NumberAsIdentifier)

//    member=[tdl::Member|Identifier]

    comment+=Qualifier*

    (name=Identifier | name=NIdentifier)

    (

fragment LiteralValueReferenceFragment returns to::LiteralValueReference:

    'the' 'value' 'of'

    comment+=ArticleQualifier?

    comment+=Qualifier*

    content=[to::LiteralValue|Identifier]

;

fragment ContentReferenceFragment returns to::ContentReference:

    'the' 'value' 'contained' 'in'

    // (comment+=ArticleQualifier)?

    comment+=ArticleQualifier?

    // (comment+=Qualifier)*

    // (name=Identifier | name='value')

    // comment+=ReferenceQualifier

    block=TPDBlock

;

TPDBlock returns tdl::Block:

    //no guard

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

        (behaviour+=InitialConditionsBehaviour)? 

        (behaviour+=ExpectedBehaviourBehaviour)? 

        (behaviour+=FinalConditionsBehaviour)? 

;

InitialConditionsBehaviour returns tdl::CompoundBehaviour:

    annotation+=InitialConditionsAnnotation

    //TODO: with annotation?

    'with' block=AtomicBehaviourBlock

//    'with' block=AtomicBehaviourBlock

    'with' block=Block

;

ExpectedBehaviourBehaviour returns tdl::CompoundBehaviour:

    annotation+=ExpectedBehaviourAnnotation

    'ensure' 'that'

    (

    	BEGIN

            block=WhenThenBlock

        END

    //TODO: single then clause

    )

    | block=Block

;

FinalConditionsBehaviour returns tdl::CompoundBehaviour:

    annotation+=FinalConditionsAnnotation

    'with' block=AtomicBehaviourBlock

//    'with' block=AtomicBehaviourBlock

    'with' block=Block

;

WhenThenBlock returns tdl::Block:

    (behaviour+=WhenBehaviour) 

    (behaviour+=ThenBehaviour) 

;

WhenBehaviour returns tdl::CompoundBehaviour:

    annotation+=WhenAnnotation

    block=AtomicBehaviourBlock

//    block=AtomicBehaviourBlock

    block=Block

;

ThenBehaviour returns tdl::CompoundBehaviour:

    annotation+=ThenAnnotation

    block=AtomicBehaviourBlock

//    block=AtomicBehaviourBlock

    block=Block

;

TPDBlock returns tdl::Block:

    //no guard

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

        (behaviour+=InitialConditionsBehaviour)? 

        (behaviour+=ExpectedBehaviourBehaviour)? 

        (behaviour+=FinalConditionsBehaviour)? 

;

WhenThenBlock returns tdl::Block:

    behaviour+=WhenBehaviour

    behaviour+=ThenBehaviour 

;

//Further customisations (not used) 

AtomicBehaviourBlock returns tdl::Block:

    //no guard

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

    ID (ID)*

;

SIdentifier returns ecore::EString:

    STRING

;

KIdentifier returns ecore::EString:

    ID | 'sends' | 'receives' | 'triggers'

;