// Prints the duration of the Analysis task

var analysis = Task.all.selectOne(t | t.title = "Analysis");

// Equivalent to Analysis.duration
var duration = M
 .propertyGetter
 .invoke(analysis, "duration");
 
duration.println("Analysis has a duration of ");

// Alternative using EMF's reflective API
var durationFeature = analysis.eClass().getEStructuralFeature("duration");
duration = analysis.eGet(durationFeature);

duration.println("Analysis has a duration of ");

BehaviorStatesSection:
	'states' behavior_states+=BehaviorState+
	
;	

BehaviorState:
	name=ID ':' (isInitial='initial')? state_sigma = Sigma  ';'
	
;

@Check(CheckType.NORMAL)
	public void checkOnlyOneInitialState(BehaviorState behaviorState) {
		int initialStateCount = 0;
		BehaviorStatesSection bss = (BehaviorStatesSection) behaviorState.eContainer();
		for (BehaviorState bs : bss.getBehavior_states()) {
			if(bs.getIsInitial().equals("initial"))
				initialStateCount = initialStateCount +1;
		}
		if (initialStateCount > 1)
			error(behaviorState.getName(), DevsPackage.Literals.BEHAVIOR_STATE__NAME);
			
		}

states
	Start:  initial 0.0;
	Chk_Mode: pd;
	Set_Vars: 0.0;

states
	Start:  initial 0.0;
	Chk_Status: pd;
	Print_Vars: 0.0;