1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

import iaml;

isOperation(emf::EObject this) :
	false;
	
isOperation(model::Operation this) :
	true;
	
model::visual::Frame containingFrame(model::visual::Frame this) :
	this;

model::visual::Frame containingFrame(model::scopes::Session this) :
	null;
		
model::visual::Frame containingFrame(model::NamedElement this) :
	if (eContainer == null) 
		then null
		else containingFrame(eContainer);

/* default for any EObject */
model::visual::Frame containingFrame(emf::EObject this) :
	null;
	
isAccessibleOnFrame(model::visual::Frame f, model::Wire wire) :
	containingFrame(wire.from) == f ||
	containingFrame(wire.to) == f;

isAccessibleOnFrame(model::visual::Frame f, model::NamedElement element) :
	containingFrame(element) == f;

isAccessibleOnFrame(model::visual::Frame f, emf::EObject element) :
	false;

isCastDestination(model::operations::DataFlowEdgeDestination this) :
	model::Value.isInstance(this) ||
	model::operations::ExternalValue.isInstance(this) ||
	model::operations::TemporaryVariable.isInstance(this);
	
/**
 * Extensions to satisfy OAW's bugs: EString cannot be used
 * as a String, EBoolean cannot be used as a boolean.
 */
String toString(ecore::EString s) :
	s.toString();

boolean toBoolean(ecore::EBoolean b) :
	b;