+ updated TDLan2 editor according to the current state of the meta-model

    	(exceptional+=ExceptionalBehaviour ( exceptional+=ExceptionalBehaviour)*)?

	'}'

	)?

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

	;

Annotation returns tdl::Annotation:

	(

	'with'

	  '{'

		('reduction' '(' reduction+=[tdl::Member|Identifier] ( "," reduction+=[tdl::Member|Identifier])* ')' )?

		(comment+=Comment (comment+=Comment)*)?

		(annotation+=Annotation (annotation+=Annotation)*)?

		('name' name=Identifier)?

	(

	'with'

	  '{'

		('reduction' '(' reduction+=[tdl::Member|Identifier] ( "," reduction+=[tdl::Member|Identifier])* ')' )?

		(comment+=Comment (comment+=Comment)*)?

		(annotation+=Annotation (annotation+=Annotation)*)?

		//('name' name=Identifier)?

Block returns tdl::Block:

	('[' guard=DataUse ']')?

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

	'{'

        (comment+=Comment (comment+=Comment)*)?

        (annotation+=Annotation (annotation+=Annotation)*)?

	'}'

	;

LocalExpression returns tdl::LocalExpression:

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

	;

LocalLoopExpression returns tdl::LocalExpression:

	expression=DataUse 'times' ('on' scope=[tdl::ComponentInstance|Identifier])? 

	;

MemberReference returns tdl::MemberReference:

	member=[tdl::Member|Identifier] ('[' collectionIndex=DataUse ']')? 

	;

Boolean returns ecore::EBoolean:

	'true' | 'false'

;

BoundedLoopBehaviour returns tdl::BoundedLoopBehaviour:

	'repeat'

	numIteration=DataUse

	'times'

//	'from' startValue=DataInstanceSpecification

//	'to' endValue=DataInstanceSpecification

//	('with step' stepValue=DataInstanceSpecification)?

	numIteration+=LocalLoopExpression (',' numIteration+=LocalLoopExpression)*

	block=Block

    (

    'with'

    	(exceptional+=ExceptionalBehaviour ( exceptional+=ExceptionalBehaviour)*)?

    '}'

    )?

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

	;

Break returns tdl::Break:

    	(exceptional+=ExceptionalBehaviour ( exceptional+=ExceptionalBehaviour)*)?

	'}'

	)?

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

	;

ConditionalBehaviour returns tdl::ConditionalBehaviour:

    	(exceptional+=ExceptionalBehaviour ( exceptional+=ExceptionalBehaviour)*)?

	'}'

    )?

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

    ;

Connection returns tdl::Connection:

			(

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

				|

				('.' reduction+=[tdl::Member|Identifier])*

				('.' reduction+=MemberReference)*

			)?

		)

	 	|

	';';

DataType returns tdl::DataType:

	SimpleDataType_Impl | StructuredDataType | Time | Procedure;

	SimpleDataType_Impl | StructuredDataType | Time;

DataUse returns tdl::DataUse:

	DataInstanceUse | FunctionCall | FormalParameterUse | TimeLabelUse | VariableUse | AnyValue | AnyValueOrOmit | OmitValue;

	'('

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

	')'

	('.' reduction+=[tdl::Member|Identifier])*

	('.' reduction+=MemberReference)*

	('with'

	'{'

		('name' name=Identifier)?

	';';

Interaction returns tdl::Interaction:

	Message | ProcedureCall

	Message

	;

Message returns tdl::Message:

	sourceGate=[tdl::GateReference|IdentifierDot]

	('sends' | (isTrigger?='triggers')) 

	argument+=DataUse

	argument=DataUse

	'to' 

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

	(

	';'

	;

ProcedureCall returns tdl::ProcedureCall:

	source=Target

	'calls'

	procedure=[tdl::Procedure|Identifier]

	//TODO: double check what the exact syntax shall be

	//and what is return value and such

	'(' argument+=DataUse (',' argument+=DataUse)* ')'

	'on' 

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

	(

	'with'

	'{'

		(comment+=Comment (comment+=Comment)*)?

		(annotation+=Annotation (annotation+=Annotation)*)?

		('test' 'objectives' ':' testObjective+=[tdl::TestObjective|Identifier] ( "," testObjective+=[tdl::TestObjective|Identifier])* ';')?

		('name' name=Identifier)? //USE FOR STEPS?

		('time' 'label' timeLabel=TimeLabel)?

		('time' 'constraints' ':' timeConstraint+=TimeConstraint ( "," timeConstraint+=TimeConstraint)* ';' )?

	'}')?

	';'

	;

Trigger returns ecore::EBooleanObject :

	'triggers'

;

    'with'

    '{'

		('argument' '{' argument+=ParameterBinding ( "," argument+=ParameterBinding)* '}' )?

		('reduction' '(' reduction+=[tdl::Member|Identifier] ( "," reduction+=[tdl::Member|Identifier])* ')' )?

		(comment+=Comment (comment+=Comment)*)?

		(annotation+=Annotation (annotation+=Annotation)*)?

		('name' name=Identifier)?

PackageableElement returns tdl::PackageableElement:

//	AnnotationType | TestObjective | DataResourceMapping | DataElementMapping | SimpleDataType_Impl | SimpleDataInstance_Impl | StructuredDataType | StructuredDataInstance | Action_Impl | Function | Verdict | ComponentType | GateType | Time | TimeLabel | TestConfiguration | TestDescription;

	AnnotationType | TestObjective | DataResourceMapping | DataElementMapping | SimpleDataType_Impl | SimpleDataInstance_Impl | StructuredDataType | Procedure | StructuredDataInstance | Action_Impl | Function | ComponentType | GateType | Time | TestConfiguration | TestDescription;

	AnnotationType | TestObjective | DataResourceMapping | DataElementMapping | SimpleDataType_Impl | SimpleDataInstance_Impl | StructuredDataType | StructuredDataInstance | Action_Impl | Function | ComponentType | GateType | Time | TestConfiguration | TestDescription;

ParallelBehaviour returns tdl::ParallelBehaviour:

	'run' block+=Block ('in' 'parallel' 'to' block+=Block)* 

    'with'

    '{'

		('argument' '{' argument+=ParameterBinding ( "," argument+=ParameterBinding)* '}' )?

		('reduction' '(' reduction+=[tdl::Member|Identifier] ( "," reduction+=[tdl::Member|Identifier])* ')' )?

		('name' name=Identifier)?

        (comment+=Comment (comment+=Comment)*)?

        (annotation+=Annotation (annotation+=Annotation)*)?

	'parameter'

	parameter=[tdl::FormalParameter|Identifier]

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

	( "." reduction+=[tdl::Member|Identifier])*

	( "." reduction+=MemberReference)*

    (

    'with'

    '{'

PeriodicBehaviour returns tdl::PeriodicBehaviour:

	'every'

	period=DataUse

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

    block=Block

    (

    'with'

	';'

	;		

Procedure returns tdl::Procedure:

	{tdl::Procedure}

	//'Simple' 'Data' 'Type'

	'Procedure'

	name=Identifier

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

	(

    'with'

    '{'

        (comment+=Comment (comment+=Comment)*)?

        (annotation+=Annotation (annotation+=Annotation)*)?

    '}')?

	';'

	;		

ProcedureParameter returns tdl::ProcedureParameter:

	{tdl::ProcedureParameter}

	kind=ParameterKind

    name=Identifier

    'of' 'type'

    dataType=[tdl::DataType|Identifier]

    (

    'with'

    '{'

        (comment+=Comment (comment+=Comment)*)?

        (annotation+=Annotation (annotation+=Annotation)*)?

    '}')?

	;

enum ParameterKind returns tdl::ParameterKind:

	IN = 'in' | OUT = 'out' | EXCEPTION = 'exception';

StaticDataUse returns tdl::StaticDataUse:

	DataInstanceUse | AnyValue | AnyValueOrOmit | OmitValue;

	';'

	;

CollectionDataInstance returns tdl::CollectionDataInstance:

	{tdl::CollectionDataInstance}

	'Collection'

	name=Identifier

	'of' 'type'

	dataType=[tdl::DataType|Identifier]

	('containing' '{' member+=StaticDataUse (',' member+=StaticDataUse)*  '}')?		

	('with'

	'{'

		(comment+=Comment (comment+=Comment)*)?

		(annotation+=Annotation (annotation+=Annotation)*)?

	'}')?

	';'

	;

StructuredDataType returns tdl::StructuredDataType:

	{tdl::StructuredDataType}

	//'Structured' 'Data' 'Type'

Target returns tdl::Target:

	targetGate=[tdl::GateReference|IdentifierDot]

	//TODO: check what the correct syntax shall be

	('where' 'it' 'is' 'assigned' 'to' variable+=[tdl::Variable|Identifier])?

	('where' 'it' 'is' 'assigned' 'to' variable=[tdl::Variable|Identifier])?

   	(

    'with'

    '{'

    	(exceptional+=ExceptionalBehaviour ( exceptional+=ExceptionalBehaviour)*)?

	'}'

	)?

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

	;

Variable returns tdl::Variable:

	'->'

	variable=[tdl::Variable|Identifier]

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

	("." reduction+=[tdl::Member|Identifier])*

	("." reduction+=MemberReference)*

	('with' 

	'{'

		('name' name=Identifier)?

import org.etsi.mts.tdl.Element;

import org.etsi.mts.tdl.GateInstance;

import org.etsi.mts.tdl.GateReference;

import org.etsi.mts.tdl.LocalExpression;

import org.etsi.mts.tdl.MemberAssignment;

import org.etsi.mts.tdl.Parameter;

import org.etsi.mts.tdl.ParameterBinding;

				return scope;

			}

		} else if (reference.getEType().getInstanceClass() == ComponentInstance.class) {

			if (context instanceof Behaviour || context instanceof Block) {

			if (context instanceof Behaviour || context instanceof Block || context instanceof LocalExpression) {

				TestDescription testDescription = getTestDescription((Element) context);

				if (testDescription!=null) {

					TestConfiguration configuration = testDescription.getTestConfiguration();

					return scope;

				}

			}

			else if (context instanceof Target) {

				if (((Target)context).getTargetGate().getComponent()!=null) {

					IScope scope = Scopes.scopeFor(((Target)context).getTargetGate().getComponent().getType().getVariable());

					return scope;

				}

			}

		} else {

		}