ram
Aspect
structuralView
messageViews
instantiations
layout
stateViews
wovenAspects
MappableElement
StructuralView
classes
associations
types
Class
attributes
abstract
AssociationEnd
getType
getOppositeEnd
navigable
true
assoc
classifier
featureSelection
Association
ends
NamedElement
Instantiation
type
Depends
Operation
abstract
false
extendedVisibility
public
returnType
parameters
static
false
operationType
Normal
Attribute
type
Type
Parameter
type
RAMVisibilityType
public
public
protected
protected
private
private
package
package
PrimitiveType
ObjectType
RVoid
getName
RBoolean
getName
getInstanceClassName
ReferenceType
Composition
Composition
Aggregation
Aggregation
Regular
Regular
RInt
getName
getInstanceClassName
RChar
getName
getInstanceClassName
RString
getName
getInstanceClassName
RAny
getName
REnum
literals
REnumLiteral
enum
AbstractMessageView
affectedBy
MessageView
specifies
specification
MessageViewReference
references
Interaction
lifelines
messages
properties
formalGates
AspectMessageView
pointcut
advice
Lifeline
represents
coveredBy
Message
sendEvent
receiveEvent
signature
assignTo
messageSort
arguments
interaction
returns
selfMessage
false
localProperties
MessageSort
synchCall
synchCall
createMessage
createMessage
deleteMessage
deleteMessage
reply
reply
MessageEnd
message
MessageOccurrenceSpecification
OccurrenceSpecification
DestructionOccurrenceSpecification
InteractionFragment
covered
container
InteractionOperatorKind
alt
alt
opt
opt
loop
loop
disruptable
disruptable
critical
critical
CombinedFragment
interactionOperator
operands
OriginalBehaviorExecution
ExecutionStatement
specification
InteractionOperand
interactionConstraint
ValueSpecification
StructuralFeatureValue
value
ParameterValueMapping
parameter
value
ParameterValue
parameter
OpaqueExpression
body
language
LiteralSpecification
LiteralString
value
LiteralInteger
value
FragmentContainer
fragments
RCollection
getName
type
RSet
RSequence
Layout
containers
ContainerMap
java.util.Map$Entry
java.util.Map$Entry
key
value
ElementMap
java.util.Map$Entry
java.util.Map$Entry
key
value
NewLayoutElement
x
y
InstantiationType
Depends
Depends
Extends
Extends
Classifier
operations
associationEnds
typeParameters
superTypes
dataType
ImplementationClass
instanceClassName
interface
TemporaryProperty
StructuralFeature
static
false
Reference
type
Property
lowerBound
0
upperBound
1
referenceType
Regular
TypedElement
getType
Gate
LiteralBoolean
value
ClassifierMapping
operationMappings
attributeMappings
AttributeMapping
OperationMapping
parameterMappings
ParameterMapping
StateView
stateMachines
specifies
StateMachine
start
states
transitions
substitutions
Transition
endState
startState
signature
guard
CheckState
incomings
outgoings
RDouble
getName
getInstanceClassName
RFloat
getName
getInstanceClassName
Constraint
Specification
Substitution
TransitionSubstitution
from
to
TypeParameter
genericType
RLong
getName
getInstanceClassName
RArray
getName
getInstanceClassName
size
-1
type
OperationType
Normal
Normal
Constructor
Constructor
Destructor
Destructor
Traceable
WovenAspect
comesFrom
children
wovenElements
LiteralNull
EnumLiteralValue
value
AssignmentStatement
assignTo
value
TracingMap
java.util.Map$Entry
java.util.Map$Entry
key
value
RByte
getName
getInstanceClassName
LiteralLong
value
LiteralFloat
value
0.0f
LiteralByte
value
LiteralChar
value
LiteralDouble
value
0.0d
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ram" nsURI="http://cs.mcgill.ca/sel/ram/3.0" nsPrefix="ram">
  <eAnnotations source="http://www.eclipse.org/OCL/Import">
    <details key="core" value="../../ca.mcgill.sel.core/model/CORE.ecore#/"/>
    <details key="ecore" value="http://www.eclipse.org/emf/2002/Ecore"/>
  </eAnnotations>
  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
    <details key="invocationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
    <details key="settingDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
    <details key="validationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" name="Aspect" eSuperTypes="#//NamedElement CORE.ecore#//COREModel">
    <eStructuralFeatures xsi:type="ecore:EReference" name="structuralView" lowerBound="1"
        eType="#//StructuralView" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="messageViews" ordered="false"
        upperBound="-1" eType="#//AbstractMessageView" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="instantiations" upperBound="-1"
        eType="#//Instantiation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="layout" eType="#//Layout"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="stateViews" upperBound="-1"
        eType="#//StateView" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="wovenAspects" upperBound="-1"
        eType="#//WovenAspect" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MappableElement" abstract="true" eSuperTypes="#//NamedElement CORE.ecore#//COREModelElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="StructuralView">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueTypes noTwoClassesWithSameName"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="uniqueTypes" value="Tuple {&#xA;&#x9;message : String = 'There may be only one type of the same type',&#xA;&#x9;status : Boolean = self.types->isUnique(name)&#xA;}.status"/>
      <details key="noTwoClassesWithSameName" value="Tuple {&#xA;&#x9;message : String = 'Name of a class has to be unique',&#xA;&#x9;status : Boolean = self.classes->isUnique(name)&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="classes" upperBound="-1"
        eType="#//Classifier" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="associations" upperBound="-1"
        eType="#//Association" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="types" ordered="false"
        upperBound="-1" eType="#//Type" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Class" eSuperTypes="#//Classifier">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="notSelfSuperType"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="notSelfSuperType" value="Tuple {&#xA;&#x9;message : String = 'A class may not be it\'s own supertype',&#xA;&#x9;status : Boolean = not self.superTypes->includes(self)&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="attributes" upperBound="-1"
        eType="#//Attribute" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssociationEnd" eSuperTypes="#//Property">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueName"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="uniqueName" value="Tuple {&#xA;&#x9;message : String = 'AssociationEnds of a class must be unique',&#xA;&#x9;status : Boolean = self.classifier.associationEnds->select(associationEnd : AssociationEnd | associationEnd.name &lt;> null and associationEnd.name &lt;> '')->isUnique(name)&#xA;}.status"/>
    </eAnnotations>
    <eOperations name="getType" lowerBound="1" eType="#//Type">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="self.getOppositeEnd().classifier"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getOppositeEnd" lowerBound="1" eType="#//AssociationEnd">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="self.assoc.ends->select(end : AssociationEnd | end &lt;> self)->at(1)"/>
      </eAnnotations>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="navigable" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="assoc" lowerBound="1" eType="#//Association"
        eOpposite="#//Association/ends"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" lowerBound="1"
        eType="#//Classifier" eOpposite="#//Classifier/associationEnds"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="featureSelection" eType="ecore:EClass CORE.ecore#//COREModelReuse"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Association" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="ends" lowerBound="2" upperBound="2"
        eType="#//AssociationEnd" eOpposite="#//AssociationEnd/assoc"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NamedElement" abstract="true" eSuperTypes="CORE.ecore#//CORENamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="validName"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="validName" value="Tuple {&#xA;&#x9;message : String = 'Name of RAM elements may not be empty',&#xA;&#x9;status : Boolean = if self.oclIsTypeOf(AssociationEnd) and self.oclAsType(AssociationEnd).navigable = false then true else self.name &lt;> '' endif&#xA;}.status"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Instantiation">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="aspectCannotMapSelf"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="aspectCannotMapSelf" value="Tuple {&#xA;&#x9;message : String = 'Aspect may not depend on itself',&#xA;&#x9;status : Boolean = not (self.source = self.Aspect)&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//InstantiationType"
        changeable="false" defaultValueLiteral="Depends" derived="true">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="derivation" value="if (self.oclContainer().oclIsTypeOf(ram::Aspect)) then InstantiationType::Extends else InstantiationType::Depends endif"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eGenericSuperTypes eClassifier="ecore:EClass CORE.ecore#//COREBinding">
      <eTypeArguments eClassifier="#//Aspect"/>
      <eTypeArguments eClassifier="#//ClassifierMapping"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Operation" eSuperTypes="#//NamedElement #//MappableElement #//Traceable">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="messageViewDefined correctVisibility"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="messageViewDefined" value="Tuple {&#xA;&#x9;message : String = 'MessageView missing for public operation',&#xA;&#x9;status : Boolean = if extendedVisibility = RAMVisibilityType::public and self.Classifier.oclIsTypeOf(Class) and self.partiality = core::COREPartialityType::none then self.Classifier.oclContainer().oclAsType(StructuralView).Aspect.messageViews->select(messageView : AbstractMessageView | messageView.oclIsTypeOf(MessageView))->one(messageView : AbstractMessageView | messageView.oclAsType(MessageView).specifies = self) else true endif&#xA;}.status"/>
      <details key="correctVisibility" value="Tuple {&#xA;&#x9;message : String = 'COREVisibility and RAMVisibility attributes are not in sync',&#xA;&#x9;status : Boolean = if visibility = core::COREVisibilityType::public then extendedVisibility = RAMVisibilityType::public else extendedVisibility &lt;> RAMVisibilityType::public endif&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="extendedVisibility" eType="#//RAMVisibilityType"
        defaultValueLiteral="public"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="returnType" lowerBound="1"
        eType="#//Type"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1"
        eType="#//Parameter" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="static" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="operationType" lowerBound="1"
        eType="#//OperationType" defaultValueLiteral="Normal"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Attribute" eSuperTypes="#//StructuralFeature #//TemporaryProperty #//MappableElement #//Traceable">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ObjectType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Type" abstract="true" eSuperTypes="#//NamedElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//TypedElement #//MappableElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="notVoid"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="notVoid" value="Tuple {&#xA;&#x9;message : String = 'The type of the parameter may not be void',&#xA;&#x9;status : Boolean = not self.type.oclIsTypeOf(RVoid)&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//Type"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="RAMVisibilityType">
    <eLiterals name="public" value="1"/>
    <eLiterals name="protected" value="2"/>
    <eLiterals name="private" value="3"/>
    <eLiterals name="package" value="4"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PrimitiveType" abstract="true" eSuperTypes="#//ObjectType #//ImplementationClass"/>
  <eClassifiers xsi:type="ecore:EClass" name="ObjectType" abstract="true" eSuperTypes="#//Type #//MappableElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="RVoid" eSuperTypes="#//Type">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'void'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RBoolean" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'boolean'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Boolean'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="ReferenceType">
    <eLiterals name="Composition"/>
    <eLiterals name="Aggregation" value="1"/>
    <eLiterals name="Regular" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RInt" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'int'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Integer'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RChar" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'char'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Character'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RString" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'String'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.String'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RAny" eSuperTypes="#//Type">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'*'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="REnum" eSuperTypes="#//PrimitiveType">
    <eStructuralFeatures xsi:type="ecore:EReference" name="literals" lowerBound="1"
        upperBound="-1" eType="#//REnumLiteral" containment="true" eOpposite="#//REnumLiteral/enum"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="REnumLiteral" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="enum" lowerBound="1" eType="#//REnum"
        eOpposite="#//REnum/literals"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AbstractMessageView" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" name="affectedBy" upperBound="-1"
        eType="#//AspectMessageView"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MessageView" eSuperTypes="#//AbstractMessageView">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="specifiesIsFirstMessage specificationDefined isAffectedBy"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="specifiesIsFirstMessage" value="Tuple {&#xA;&#x9;message : String = 'The first message in the MessageView must match specifies of the MessageView',&#xA;&#x9;status : Boolean = if not self.specification.oclIsUndefined() and self.specification.messages->size() > 0 then self.specifies = self.specification.messages->select(message : Message | not message.sendEvent.oclIsTypeOf(MessageOccurrenceSpecification))->asOrderedSet()->at(1).signature else true endif&#xA;}.status"/>
      <details key="specificationDefined" value="Tuple {&#xA;&#x9;message : String = 'A MessageView for a non-partial operation must have a specification',&#xA;&#x9;status : Boolean = if not self.specifies.oclIsUndefined() then if self.specifies.partiality = core::COREPartialityType::none then not self.specification.oclIsUndefined() else true endif else true endif&#xA;}.status"/>
      <details key="isAffectedBy" value="Tuple {&#xA;&#x9;message : String = 'An empty MessageView must have at least one affectedBy',&#xA;&#x9;status : Boolean = if self.specification.oclIsUndefined() and self.specifies.partiality &lt;> core::COREPartialityType::none then self.affectedBy->notEmpty() else true endif&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="specifies" lowerBound="1"
        eType="#//Operation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//Interaction"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MessageViewReference" eSuperTypes="#//AbstractMessageView">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="isAffectedBy"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="isAffectedBy" value="Tuple {&#xA;&#x9;message : String = 'The MessageViewReference must have at least one affectedBy',&#xA;&#x9;status : Boolean = self.affectedBy->size() > 0&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="references" lowerBound="1"
        eType="#//MessageView"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Interaction" eSuperTypes="#//FragmentContainer">
    <eStructuralFeatures xsi:type="ecore:EReference" name="lifelines" ordered="false"
        lowerBound="1" upperBound="-1" eType="#//Lifeline" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="messages" ordered="false"
        lowerBound="1" upperBound="-1" eType="#//Message" containment="true" eOpposite="#//Message/interaction"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="properties" upperBound="-1"
        eType="#//Reference" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="formalGates" upperBound="-1"
        eType="#//Gate" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AspectMessageView" eSuperTypes="#//AbstractMessageView #//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="notAffectedBySelf"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="notAffectedBySelf" value="Tuple {&#xA;&#x9;message : String = 'Message View may not be affected by itself',&#xA;&#x9;status : Boolean = not self.affectedBy->includes(self)&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="pointcut" lowerBound="1"
        eType="#//Operation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="advice" lowerBound="1"
        eType="#//Interaction" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Lifeline">
    <eStructuralFeatures xsi:type="ecore:EReference" name="represents" lowerBound="1"
        eType="#//TypedElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="coveredBy" ordered="false"
        lowerBound="1" upperBound="-1" eType="#//InteractionFragment" eOpposite="#//InteractionFragment/covered"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Message">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="validSelfMessage argumentsSpecified createMessageIsFirst returnsSpecified boundariesNotCrossed validReturns deleteMessageIsLast assignToAllowed noCrossingMessages"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="validSelfMessage" value="Tuple {&#xA;&#x9;message : String = 'receiveEvent of a self message may not come before the sendEvent',&#xA;&#x9;status : Boolean = if not self.receiveEvent.oclIsUndefined() and self.receiveEvent.oclIsKindOf(MessageOccurrenceSpecification) and not self.sendEvent.oclIsUndefined() and self.sendEvent.oclIsKindOf(MessageOccurrenceSpecification) then let sendEvent : InteractionFragment = self.sendEvent.oclAsType(InteractionFragment) in let receiveEvent : InteractionFragment = self.receiveEvent.oclAsType(InteractionFragment) in if sendEvent.covered->asOrderedSet()->at(1) = receiveEvent.covered->asOrderedSet()->at(1) then sendEvent.container.fragments->indexOf(self.sendEvent) &lt; receiveEvent.container.fragments->indexOf(self.receiveEvent) else true endif else true endif&#xA;}.status"/>
      <details key="argumentsSpecified" value="Tuple {&#xA;&#x9;message : String = 'All arguments of the operation must be specified',&#xA;&#x9;status : Boolean = if self.messageSort &lt;> MessageSort::reply and not self.sendEvent.oclIsUndefined() and self.sendEvent.oclIsKindOf(MessageOccurrenceSpecification) and not self.signature.oclIsUndefined() then let container : FragmentContainer = self.sendEvent.oclAsType(MessageOccurrenceSpecification).container in if container.fragments->includes(self.sendEvent) then self.signature.parameters->size() = self.arguments->size() and self.signature.parameters->forAll(currentParameter : Parameter | self.arguments->one(argument : ParameterValueMapping | argument.parameter = currentParameter)) else true endif else true endif&#xA;}.status"/>
      <details key="createMessageIsFirst" value="Tuple {&#xA;&#x9;message : String = 'The create message occurrence may not come after any other occurrence on this lifeline',&#xA;&#x9;status : Boolean = if self.messageSort = MessageSort::createMessage then if not self.receiveEvent.oclIsUndefined() and not self.receiveEvent.oclAsType(InteractionFragment).covered->isEmpty() then let event : InteractionFragment = self.receiveEvent.oclAsType(InteractionFragment) in event.covered->asOrderedSet()->at(1).coveredBy->forAll(fragment : InteractionFragment | if event.container.fragments->includes(fragment) then event.container.fragments->indexOf(fragment) >= event.container.fragments->indexOf(event) else true endif) else true endif else true endif&#xA;}.status"/>
      <details key="returnsSpecified" value="Tuple {&#xA;&#x9;message : String = 'Reply message must have returns specified if return type is not void',&#xA;&#x9;status : Boolean = if self.messageSort = MessageSort::reply then if not self.signature.returnType.oclIsTypeOf(RVoid) and self.signature.operationType = OperationType::Normal then not self.returns.oclIsUndefined() else self.returns.oclIsUndefined() endif else true endif&#xA;}.status"/>
      <details key="boundariesNotCrossed" value="Tuple {&#xA;&#x9;message : String = 'Messages may not cross boundaries of CombinedFragments or their operands',&#xA;&#x9;status : Boolean = let send : MessageOccurrenceSpecification = self.sendEvent in let receive : MessageOccurrenceSpecification = self.receiveEvent in if send.container.oclIsTypeOf(InteractionOperand) and receive.container.oclIsTypeOf(InteractionOperand) then send.container.oclAsType(InteractionOperand).CombinedFragment.covered->includes(send.covered->asOrderedSet()->at(1)) and receive.container.oclAsType(InteractionOperand).CombinedFragment.covered->includes(receive.covered->asOrderedSet()->at(1)) else true endif&#xA;}.status"/>
      <details key="validReturns" value="Tuple {&#xA;&#x9;message : String = 'Returns may only be specified if message sort is reply message',&#xA;&#x9;status : Boolean = if not self.returns.oclIsUndefined() then self.messageSort = MessageSort::reply else true endif&#xA;}.status"/>
      <details key="deleteMessageIsLast" value="Tuple {&#xA;&#x9;message : String = 'The destruction occurrence may not come before any other occurrence on this lifeline',&#xA;&#x9;status : Boolean = if self.messageSort = MessageSort::deleteMessage then if not self.receiveEvent.oclIsUndefined() and not self.receiveEvent.oclAsType(InteractionFragment).covered->isEmpty() then let event : InteractionFragment = self.receiveEvent.oclAsType(InteractionFragment) in event.covered->asOrderedSet()->at(1).coveredBy->forAll(fragment : InteractionFragment | if event.container.fragments->includes(fragment) then event.container.fragments->indexOf(fragment) &lt;= event.container.fragments->indexOf(event) else true endif) else true endif else true endif&#xA;}.status"/>
      <details key="assignToAllowed" value="Tuple {&#xA;&#x9;message : String = 'assignTo may not be specified for operations whose return type is void',&#xA;&#x9;status : Boolean = if self.signature.returnType.oclIsTypeOf(RVoid) then self.assignTo = null else true endif&#xA;}.status"/>
      <details key="noCrossingMessages" value="Tuple {&#xA;&#x9;message : String = 'Messages may not cross each other, MessageEnds of one message must come one after the other (also, send must come before receive)',&#xA;&#x9;status : Boolean = if not self.receiveEvent.oclIsUndefined() and self.receiveEvent.oclIsKindOf(MessageOccurrenceSpecification) and not self.sendEvent.oclIsUndefined() and self.sendEvent.oclIsKindOf(MessageOccurrenceSpecification) then let container : FragmentContainer = self.receiveEvent.oclAsType(MessageOccurrenceSpecification).container in let indexDifference : Integer = container.fragments->indexOf(self.receiveEvent) - container.fragments->indexOf(self.sendEvent) in indexDifference = 1 else true endif&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="sendEvent" lowerBound="1"
        eType="#//MessageEnd"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="receiveEvent" lowerBound="1"
        eType="#//MessageEnd"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="signature" lowerBound="1"
        eType="#//Operation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="assignTo" eType="#//StructuralFeature"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="messageSort" lowerBound="1"
        eType="#//MessageSort"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1"
        eType="#//ParameterValueMapping" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="interaction" lowerBound="1"
        eType="#//Interaction" eOpposite="#//Interaction/messages"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="returns" eType="#//ValueSpecification"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="selfMessage" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" changeable="false"
        volatile="true" transient="true" defaultValueLiteral="false" derived="true">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="derivation" value="if self.sendEvent.oclIsKindOf(MessageOccurrenceSpecification) and self.receiveEvent.oclIsKindOf(MessageOccurrenceSpecification) then self.sendEvent.oclAsType(MessageOccurrenceSpecification).covered->asOrderedSet()->at(1) = self.receiveEvent.oclAsType(MessageOccurrenceSpecification).covered->asOrderedSet()->at(1) else false endif"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="localProperties" ordered="false"
        upperBound="-1" eType="#//TemporaryProperty" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="MessageSort">
    <eLiterals name="synchCall"/>
    <eLiterals name="createMessage" value="1"/>
    <eLiterals name="deleteMessage" value="2"/>
    <eLiterals name="reply" value="3"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MessageEnd" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" name="message" lowerBound="1"
        eType="#//Message"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MessageOccurrenceSpecification" eSuperTypes="#//OccurrenceSpecification #//MessageEnd"/>
  <eClassifiers xsi:type="ecore:EClass" name="OccurrenceSpecification" eSuperTypes="#//InteractionFragment"/>
  <eClassifiers xsi:type="ecore:EClass" name="DestructionOccurrenceSpecification"
      eSuperTypes="#//MessageOccurrenceSpecification"/>
  <eClassifiers xsi:type="ecore:EClass" name="InteractionFragment" abstract="true">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="validCoveredMultiplicity"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="validCoveredMultiplicity" value="Tuple {&#xA;&#x9;message : String = 'InteractionFragment may only have one Lifeline it covers (except CombinedFragment)',&#xA;&#x9;status : Boolean = if not self.oclIsTypeOf(CombinedFragment) and covered->notEmpty() then covered->size() = 1 else true endif&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="covered" ordered="false"
        lowerBound="1" upperBound="-1" eType="#//Lifeline" eOpposite="#//Lifeline/coveredBy"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="container" lowerBound="1"
        eType="#//FragmentContainer" eOpposite="#//FragmentContainer/fragments"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="InteractionOperatorKind">
    <eLiterals name="alt"/>
    <eLiterals name="opt" value="1"/>
    <eLiterals name="loop" value="2"/>
    <eLiterals name="disruptable" value="3"/>
    <eLiterals name="critical" value="4"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="CombinedFragment" eSuperTypes="#//InteractionFragment">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="validOperands"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="validOperands" value="Tuple {&#xA;&#x9;message : String = 'opt and loop fragments may only have one operand',&#xA;&#x9;status : Boolean = if self.interactionOperator = InteractionOperatorKind::opt or self.interactionOperator = InteractionOperatorKind::loop or self.interactionOperator = InteractionOperatorKind::critical then self.operands->size() = 1 else true endif&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="interactionOperator" lowerBound="1"
        eType="#//InteractionOperatorKind"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="operands" lowerBound="1"
        upperBound="-1" eType="#//InteractionOperand" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OriginalBehaviorExecution" eSuperTypes="#//InteractionFragment"/>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionStatement" eSuperTypes="#//InteractionFragment">
    <eStructuralFeatures xsi:type="ecore:EReference" name="specification" lowerBound="1"
        eType="#//ValueSpecification" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="InteractionOperand" eSuperTypes="#//FragmentContainer">
    <eStructuralFeatures xsi:type="ecore:EReference" name="interactionConstraint"
        eType="#//ValueSpecification" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ValueSpecification" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="StructuralFeatureValue" eSuperTypes="#//ValueSpecification">
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//StructuralFeature"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ParameterValueMapping">
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameter" lowerBound="1"
        eType="#//Parameter"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//ValueSpecification"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ParameterValue" eSuperTypes="#//ValueSpecification">
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameter" lowerBound="1"
        eType="#//Parameter"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OpaqueExpression" eSuperTypes="#//ValueSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="body" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="language" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralSpecification" abstract="true"
      eSuperTypes="#//ValueSpecification"/>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralString" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralInteger" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="FragmentContainer" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EReference" name="fragments" lowerBound="1"
        upperBound="-1" eType="#//InteractionFragment" containment="true" eOpposite="#//InteractionFragment/container"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RCollection" abstract="true" eSuperTypes="#//Type #//ImplementationClass">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="let partial : String = if type.oclIsTypeOf(Class) or type.oclIsTypeOf(Operation) and type.oclAsType(core::COREModelElement).partiality = core::COREPartialityType::public then '|' else if type.oclIsTypeOf(Class) or type.oclIsTypeOf(Operation) and type.oclAsType(core::COREModelElement).partiality = core::COREPartialityType::concern then '\u00A6' else '' endif endif in let typeName : String = self.oclType().toString() in let name : String = typeName.substring(typeName.lastIndexOf(':') + 2, typeName.size()) in if type.name.oclIsUndefined() then name else name + '&lt;' + partial + type.name + '>' endif"/>
      </eAnnotations>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ObjectType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RSet" eSuperTypes="#//RCollection"/>
  <eClassifiers xsi:type="ecore:EClass" name="RSequence" eSuperTypes="#//RCollection"/>
  <eClassifiers xsi:type="ecore:EClass" name="Layout">
    <eStructuralFeatures xsi:type="ecore:EReference" name="containers" lowerBound="1"
        upperBound="-1" eType="#//ContainerMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ContainerMap" instanceClassName="java.util.Map$Entry">
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" upperBound="-1"
        eType="#//ElementMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ElementMap" instanceClassName="java.util.Map$Entry">
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//NewLayoutElement"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NewLayoutElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="x" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="y" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="InstantiationType">
    <eLiterals name="Depends"/>
    <eLiterals name="Extends" value="1"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Classifier" abstract="true" eSuperTypes="#//ObjectType #//Traceable">
    <eStructuralFeatures xsi:type="ecore:EReference" name="operations" upperBound="-1"
        eType="#//Operation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="associationEnds" upperBound="-1"
        eType="#//AssociationEnd" containment="true" eOpposite="#//AssociationEnd/classifier"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="typeParameters" upperBound="-1"
        eType="#//TypeParameter" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="superTypes" upperBound="-1"
        eType="#//Classifier"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="dataType" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ImplementationClass" eSuperTypes="#//Classifier">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceClassName" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="interface" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TemporaryProperty" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="StructuralFeature" abstract="true" eSuperTypes="#//TypedElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="static" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" defaultValueLiteral="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Reference" eSuperTypes="#//Property #//TemporaryProperty">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ObjectType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Property" abstract="true" eSuperTypes="#//StructuralFeature">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="validUpperBound validLowerBound validMultiplicity"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
      <details key="validUpperBound" value="Tuple {&#xA;&#x9;message : String = 'The upperbound must be greater than zero or -1 representing *',&#xA;&#x9;status : Boolean = self.upperBound > 0 or self.upperBound = -1&#xA;}.status"/>
      <details key="validLowerBound" value="Tuple {&#xA;&#x9;message : String = 'The lowerbound must be greater than or equal to zero',&#xA;&#x9;status : Boolean = self.lowerBound >= 0&#xA;}.status"/>
      <details key="validMultiplicity" value="Tuple {&#xA;&#x9;message : String = 'The lowerBound must be less than or equal to the upperBound',&#xA;&#x9;status : Boolean = self.lowerBound &lt;= self.upperBound or self.upperBound = -1&#xA;}.status"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
        defaultValueLiteral="0"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="upperBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
        defaultValueLiteral="1"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="referenceType" eType="#//ReferenceType"
        defaultValueLiteral="Regular"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TypedElement" abstract="true" eSuperTypes="#//NamedElement">
    <eOperations name="getType" lowerBound="1" eType="#//Type"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Gate" eSuperTypes="#//MessageEnd #//NamedElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralBoolean" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ClassifierMapping">
    <eStructuralFeatures xsi:type="ecore:EReference" name="operationMappings" upperBound="-1"
        eType="#//OperationMapping" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="attributeMappings" upperBound="-1"
        eType="#//AttributeMapping" containment="true"/>
    <eGenericSuperTypes eClassifier="ecore:EClass CORE.ecore#//COREMapping">
      <eTypeArguments eClassifier="#//Classifier"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AttributeMapping">
    <eGenericSuperTypes eClassifier="ecore:EClass CORE.ecore#//COREMapping">
      <eTypeArguments eClassifier="#//Attribute"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OperationMapping">
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameterMappings" upperBound="-1"
        eType="#//ParameterMapping" containment="true"/>
    <eGenericSuperTypes eClassifier="ecore:EClass CORE.ecore#//COREMapping">
      <eTypeArguments eClassifier="#//Operation"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ParameterMapping">
    <eGenericSuperTypes eClassifier="ecore:EClass CORE.ecore#//COREMapping">
      <eTypeArguments eClassifier="#//Parameter"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StateView" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="stateMachines" lowerBound="1"
        upperBound="-1" eType="#//StateMachine" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="specifies" lowerBound="1"
        eType="#//Classifier"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StateMachine">
    <eStructuralFeatures xsi:type="ecore:EReference" name="start" lowerBound="1" eType="#//CheckState"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1"
        eType="#//CheckState" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1"
        eType="#//Transition" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="substitutions" upperBound="-1"
        eType="#//Substitution" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transition" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="endState" lowerBound="1"
        eType="#//CheckState" eOpposite="#//CheckState/incomings"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="startState" lowerBound="1"
        eType="#//CheckState" eOpposite="#//CheckState/outgoings"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="signature" eType="#//Operation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="guard" eType="#//Constraint"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="CheckState" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="incomings" upperBound="-1"
        eType="#//Transition" eOpposite="#//Transition/endState"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoings" upperBound="-1"
        eType="#//Transition" eOpposite="#//Transition/startState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RDouble" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'double'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Double'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RFloat" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'float'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Float'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Constraint">
    <eStructuralFeatures xsi:type="ecore:EReference" name="Specification" lowerBound="1"
        eType="#//ValueSpecification" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Substitution"/>
  <eClassifiers xsi:type="ecore:EClass" name="TransitionSubstitution" eSuperTypes="#//Substitution">
    <eStructuralFeatures xsi:type="ecore:EReference" name="from" lowerBound="1" eType="#//Transition"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="to" lowerBound="1" upperBound="-1"
        eType="#//Transition"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TypeParameter" eSuperTypes="#//Type">
    <eStructuralFeatures xsi:type="ecore:EReference" name="genericType" eType="#//ObjectType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RLong" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'long'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Long'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RArray" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="if (self.type &lt;> null and self.type.name &lt;> null) then self.type.name + '[' + if (self.size >= 0) then self.size.toString() else '' endif + ']' else null endif"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.reflect.Array'"/>
      </eAnnotations>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="size" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
        defaultValueLiteral="-1"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="#//ObjectType"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="OperationType">
    <eLiterals name="Normal"/>
    <eLiterals name="Constructor" value="1"/>
    <eLiterals name="Destructor" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Traceable" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="WovenAspect" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="comesFrom" lowerBound="1"
        eType="#//Aspect"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"
        eType="#//WovenAspect" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="wovenElements" upperBound="-1"
        eType="#//TracingMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralNull" eSuperTypes="#//LiteralSpecification"/>
  <eClassifiers xsi:type="ecore:EClass" name="EnumLiteralValue" eSuperTypes="#//ValueSpecification">
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//REnumLiteral"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssignmentStatement" eSuperTypes="#//InteractionFragment">
    <eStructuralFeatures xsi:type="ecore:EReference" name="assignTo" lowerBound="1"
        eType="#//StructuralFeature"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//ValueSpecification"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TracingMap" instanceClassName="java.util.Map$Entry">
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" lowerBound="1" eType="#//Traceable"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//Traceable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="RByte" eSuperTypes="#//PrimitiveType">
    <eOperations name="getName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'byte'"/>
      </eAnnotations>
    </eOperations>
    <eOperations name="getInstanceClassName" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
        <details key="body" value="'java.lang.Byte'"/>
      </eAnnotations>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralLong" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//ELong"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralFloat" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat"
        defaultValueLiteral="0.0f"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralByte" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EByte"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralChar" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EChar"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LiteralDouble" eSuperTypes="#//LiteralSpecification">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
        defaultValueLiteral="0.0d"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"ram","nsURI":"http://cs.mcgill.ca/sel/ram/3.0","name":"ram","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Aspect","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MappableElement","instanceClass":null,"abstract":true,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StructuralView","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Class","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AssociationEnd","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Association","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NamedElement","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Instantiation","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Operation","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Attribute","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Type","instanceClass":null,"abstract":true,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Parameter","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"RAMVisibilityType","instanceClass":null,"id":13,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PrimitiveType","instanceClass":null,"abstract":true,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ObjectType","instanceClass":null,"abstract":true,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RVoid","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RBoolean","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"ReferenceType","instanceClass":null,"id":18,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RInt","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RChar","instanceClass":null,"abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RString","instanceClass":null,"abstract":false,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RAny","instanceClass":null,"abstract":false,"id":22,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"REnum","instanceClass":null,"abstract":false,"id":23,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"REnumLiteral","instanceClass":null,"abstract":false,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AbstractMessageView","instanceClass":null,"abstract":true,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MessageView","instanceClass":null,"abstract":false,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MessageViewReference","instanceClass":null,"abstract":false,"id":27,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Interaction","instanceClass":null,"abstract":false,"id":28,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AspectMessageView","instanceClass":null,"abstract":false,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Lifeline","instanceClass":null,"abstract":false,"id":30,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Message","instanceClass":null,"abstract":false,"id":31,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"MessageSort","instanceClass":null,"id":32,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MessageEnd","instanceClass":null,"abstract":true,"id":33,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MessageOccurrenceSpecification","instanceClass":null,"abstract":false,"id":34,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OccurrenceSpecification","instanceClass":null,"abstract":false,"id":35,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DestructionOccurrenceSpecification","instanceClass":null,"abstract":false,"id":36,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"InteractionFragment","instanceClass":null,"abstract":true,"id":37,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"InteractionOperatorKind","instanceClass":null,"id":38,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CombinedFragment","instanceClass":null,"abstract":false,"id":39,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OriginalBehaviorExecution","instanceClass":null,"abstract":false,"id":40,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionStatement","instanceClass":null,"abstract":false,"id":41,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"InteractionOperand","instanceClass":null,"abstract":false,"id":42,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ValueSpecification","instanceClass":null,"abstract":true,"id":43,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StructuralFeatureValue","instanceClass":null,"abstract":false,"id":44,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParameterValueMapping","instanceClass":null,"abstract":false,"id":45,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParameterValue","instanceClass":null,"abstract":false,"id":46,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OpaqueExpression","instanceClass":null,"abstract":false,"id":47,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralSpecification","instanceClass":null,"abstract":true,"id":48,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralString","instanceClass":null,"abstract":false,"id":49,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralInteger","instanceClass":null,"abstract":false,"id":50,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FragmentContainer","instanceClass":null,"abstract":true,"id":51,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RCollection","instanceClass":null,"abstract":true,"id":52,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RSet","instanceClass":null,"abstract":false,"id":53,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RSequence","instanceClass":null,"abstract":false,"id":54,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Layout","instanceClass":null,"abstract":false,"id":55,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"ContainerMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":56,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"ElementMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":57,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NewLayoutElement","instanceClass":null,"abstract":false,"id":58,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"InstantiationType","instanceClass":null,"id":59,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Classifier","instanceClass":null,"abstract":true,"id":60,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ImplementationClass","instanceClass":null,"abstract":false,"id":61,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TemporaryProperty","instanceClass":null,"abstract":true,"id":62,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StructuralFeature","instanceClass":null,"abstract":true,"id":63,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Reference","instanceClass":null,"abstract":false,"id":64,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Property","instanceClass":null,"abstract":true,"id":65,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypedElement","instanceClass":null,"abstract":true,"id":66,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Gate","instanceClass":null,"abstract":false,"id":67,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralBoolean","instanceClass":null,"abstract":false,"id":68,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ClassifierMapping","instanceClass":null,"abstract":false,"id":69,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AttributeMapping","instanceClass":null,"abstract":false,"id":70,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationMapping","instanceClass":null,"abstract":false,"id":71,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParameterMapping","instanceClass":null,"abstract":false,"id":72,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateView","instanceClass":null,"abstract":false,"id":73,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateMachine","instanceClass":null,"abstract":false,"id":74,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":75,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CheckState","instanceClass":null,"abstract":false,"id":76,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RDouble","instanceClass":null,"abstract":false,"id":77,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RFloat","instanceClass":null,"abstract":false,"id":78,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Constraint","instanceClass":null,"abstract":false,"id":79,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Substitution","instanceClass":null,"abstract":false,"id":80,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TransitionSubstitution","instanceClass":null,"abstract":false,"id":81,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeParameter","instanceClass":null,"abstract":false,"id":82,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RLong","instanceClass":null,"abstract":false,"id":83,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RArray","instanceClass":null,"abstract":false,"id":84,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"OperationType","instanceClass":null,"id":85,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Traceable","instanceClass":null,"abstract":true,"id":86,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"WovenAspect","instanceClass":null,"abstract":false,"id":87,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralNull","instanceClass":null,"abstract":false,"id":88,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EnumLiteralValue","instanceClass":null,"abstract":false,"id":89,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AssignmentStatement","instanceClass":null,"abstract":false,"id":90,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"TracingMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":91,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RByte","instanceClass":null,"abstract":false,"id":92,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralLong","instanceClass":null,"abstract":false,"id":93,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralFloat","instanceClass":null,"abstract":false,"id":94,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralByte","instanceClass":null,"abstract":false,"id":95,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralChar","instanceClass":null,"abstract":false,"id":96,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LiteralDouble","instanceClass":null,"abstract":false,"id":97,"interface":false,"eClass":"EClass"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"structuralView","changeable":true,"resolveProxies":true,"lowerBound":1,"id":98,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"messageViews","changeable":true,"resolveProxies":true,"lowerBound":0,"id":99,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"instantiations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":100,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"layout","changeable":true,"resolveProxies":true,"lowerBound":0,"id":101,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stateViews","changeable":true,"resolveProxies":true,"lowerBound":0,"id":102,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"wovenAspects","changeable":true,"resolveProxies":true,"lowerBound":0,"id":103,"derived":false},{"id":104,"eClass":"EGenericType"},{"id":105,"eClass":"EGenericType"},{"id":106,"eClass":"EGenericType"},{"id":107,"eClass":"EGenericType"},{"id":108,"eClass":"EGenericType"},{"id":109,"eClass":"EGenericType"},{"id":110,"eClass":"EGenericType"},{"id":111,"eClass":"EGenericType"},{"id":112,"eClass":"EGenericType"},{"id":113,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"classes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":114,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"associations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":115,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"types","changeable":true,"resolveProxies":true,"lowerBound":0,"id":116,"derived":false},{"id":117,"eClass":"EGenericType"},{"id":118,"eClass":"EGenericType"},{"id":119,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"attributes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":120,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"abstract","changeable":true,"lowerBound":0,"iD":false,"id":121,"derived":false},{"id":122,"eClass":"EGenericType"},{"id":123,"eClass":"EGenericType"},{"id":124,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getType","lowerBound":1,"id":125,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getOppositeEnd","lowerBound":1,"id":126,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"navigable","changeable":true,"lowerBound":0,"iD":false,"id":127,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"assoc","changeable":true,"resolveProxies":true,"lowerBound":1,"id":128,"derived":false},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"classifier","changeable":true,"resolveProxies":true,"lowerBound":1,"id":129,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"featureSelection","changeable":true,"resolveProxies":true,"lowerBound":0,"id":130,"derived":false},{"id":131,"eClass":"EGenericType"},{"id":132,"eClass":"EGenericType"},{"id":133,"eClass":"EGenericType"},{"id":134,"eClass":"EGenericType"},{"id":135,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":2,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ends","changeable":true,"resolveProxies":true,"lowerBound":2,"id":136,"derived":false},{"id":137,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"associationEnds","changeable":true,"resolveProxies":true,"lowerBound":0,"id":138,"derived":false},{"id":139,"eClass":"EGenericType"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"id":142,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"Depends","unsettable":false,"transient":false,"unique":true,"name":"type","changeable":false,"lowerBound":1,"iD":false,"id":143,"derived":true},{"id":144,"eClass":"EGenericType"},{"id":145,"eClass":"EGenericType"},{"id":146,"eClass":"EGenericType"},{"id":147,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"abstract","changeable":true,"lowerBound":0,"iD":false,"id":148,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"public","unsettable":false,"transient":false,"unique":true,"name":"extendedVisibility","changeable":true,"lowerBound":0,"iD":false,"id":149,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"returnType","changeable":true,"resolveProxies":true,"lowerBound":1,"id":150,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"parameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":151,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"static","changeable":true,"lowerBound":0,"iD":false,"id":152,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"Normal","unsettable":false,"transient":false,"unique":true,"name":"operationType","changeable":true,"lowerBound":1,"iD":false,"id":153,"derived":false},{"id":154,"eClass":"EGenericType"},{"id":155,"eClass":"EGenericType"},{"id":156,"eClass":"EGenericType"},{"id":157,"eClass":"EGenericType"},{"id":158,"eClass":"EGenericType"},{"id":159,"eClass":"EGenericType"},{"id":160,"eClass":"EGenericType"},{"id":161,"eClass":"EGenericType"},{"id":162,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":163,"derived":false},{"id":164,"eClass":"EGenericType"},{"id":165,"eClass":"EGenericType"},{"id":166,"eClass":"EGenericType"},{"id":167,"eClass":"EGenericType"},{"id":168,"eClass":"EGenericType"},{"id":169,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":170,"derived":false},{"id":171,"eClass":"EGenericType"},{"id":172,"eClass":"EGenericType"},{"id":173,"eClass":"EGenericType"},{"name":"public","id":174,"value":1,"literal":"public","eClass":"EEnumLiteral"},{"name":"protected","id":175,"value":2,"literal":"protected","eClass":"EEnumLiteral"},{"name":"private","id":176,"value":3,"literal":"private","eClass":"EEnumLiteral"},{"name":"package","id":177,"value":4,"literal":"package","eClass":"EEnumLiteral"},{"id":178,"eClass":"EGenericType"},{"id":179,"eClass":"EGenericType"},{"id":180,"eClass":"EGenericType"},{"id":181,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":182,"many":false,"required":true,"eClass":"EOperation"},{"id":183,"eClass":"EGenericType"},{"id":184,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":185,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":186,"many":false,"required":true,"eClass":"EOperation"},{"id":187,"eClass":"EGenericType"},{"id":188,"eClass":"EGenericType"},{"id":189,"eClass":"EGenericType"},{"name":"Composition","id":190,"value":0,"literal":"Composition","eClass":"EEnumLiteral"},{"name":"Aggregation","id":191,"value":1,"literal":"Aggregation","eClass":"EEnumLiteral"},{"name":"Regular","id":192,"value":2,"literal":"Regular","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":193,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":194,"many":false,"required":true,"eClass":"EOperation"},{"id":195,"eClass":"EGenericType"},{"id":196,"eClass":"EGenericType"},{"id":197,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":198,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":199,"many":false,"required":true,"eClass":"EOperation"},{"id":200,"eClass":"EGenericType"},{"id":201,"eClass":"EGenericType"},{"id":202,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":203,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":204,"many":false,"required":true,"eClass":"EOperation"},{"id":205,"eClass":"EGenericType"},{"id":206,"eClass":"EGenericType"},{"id":207,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":208,"many":false,"required":true,"eClass":"EOperation"},{"id":209,"eClass":"EGenericType"},{"id":210,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"literals","changeable":true,"resolveProxies":true,"lowerBound":1,"id":211,"derived":false},{"id":212,"eClass":"EGenericType"},{"id":213,"eClass":"EGenericType"},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"enum","changeable":true,"resolveProxies":true,"lowerBound":1,"id":214,"derived":false},{"id":215,"eClass":"EGenericType"},{"id":216,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"affectedBy","changeable":true,"resolveProxies":true,"lowerBound":0,"id":217,"derived":false},{"id":218,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"specifies","changeable":true,"resolveProxies":true,"lowerBound":1,"id":219,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"specification","changeable":true,"resolveProxies":true,"lowerBound":0,"id":220,"derived":false},{"id":221,"eClass":"EGenericType"},{"id":222,"eClass":"EGenericType"},{"id":223,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"references","changeable":true,"resolveProxies":true,"lowerBound":1,"id":224,"derived":false},{"id":225,"eClass":"EGenericType"},{"id":226,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"lifelines","changeable":true,"resolveProxies":true,"lowerBound":1,"id":227,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"messages","changeable":true,"resolveProxies":true,"lowerBound":1,"id":228,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"properties","changeable":true,"resolveProxies":true,"lowerBound":0,"id":229,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"formalGates","changeable":true,"resolveProxies":true,"lowerBound":0,"id":230,"derived":false},{"id":231,"eClass":"EGenericType"},{"id":232,"eClass":"EGenericType"},{"id":233,"eClass":"EGenericType"},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"interaction","changeable":true,"resolveProxies":true,"lowerBound":1,"id":234,"derived":false},{"id":235,"eClass":"EGenericType"},{"id":236,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"pointcut","changeable":true,"resolveProxies":true,"lowerBound":1,"id":237,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"advice","changeable":true,"resolveProxies":true,"lowerBound":1,"id":238,"derived":false},{"id":239,"eClass":"EGenericType"},{"id":240,"eClass":"EGenericType"},{"id":241,"eClass":"EGenericType"},{"id":242,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"represents","changeable":true,"resolveProxies":true,"lowerBound":1,"id":243,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"coveredBy","changeable":true,"resolveProxies":true,"lowerBound":1,"id":244,"derived":false},{"id":245,"eClass":"EGenericType"},{"id":246,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"covered","changeable":true,"resolveProxies":true,"lowerBound":1,"id":247,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"sendEvent","changeable":true,"resolveProxies":true,"lowerBound":1,"id":248,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"receiveEvent","changeable":true,"resolveProxies":true,"lowerBound":1,"id":249,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"signature","changeable":true,"resolveProxies":true,"lowerBound":1,"id":250,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"assignTo","changeable":true,"resolveProxies":true,"lowerBound":0,"id":251,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"messageSort","changeable":true,"lowerBound":1,"iD":false,"id":252,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"arguments","changeable":true,"resolveProxies":true,"lowerBound":0,"id":253,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"returns","changeable":true,"resolveProxies":true,"lowerBound":0,"id":254,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":true,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":true,"unique":true,"name":"selfMessage","changeable":false,"lowerBound":1,"iD":false,"id":255,"derived":true},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"localProperties","changeable":true,"resolveProxies":true,"lowerBound":0,"id":256,"derived":false},{"id":257,"eClass":"EGenericType"},{"id":258,"eClass":"EGenericType"},{"id":259,"eClass":"EGenericType"},{"id":260,"eClass":"EGenericType"},{"id":261,"eClass":"EGenericType"},{"id":262,"eClass":"EGenericType"},{"id":263,"eClass":"EGenericType"},{"id":264,"eClass":"EGenericType"},{"id":265,"eClass":"EGenericType"},{"id":266,"eClass":"EGenericType"},{"name":"synchCall","id":267,"value":0,"literal":"synchCall","eClass":"EEnumLiteral"},{"name":"createMessage","id":268,"value":1,"literal":"createMessage","eClass":"EEnumLiteral"},{"name":"deleteMessage","id":269,"value":2,"literal":"deleteMessage","eClass":"EEnumLiteral"},{"name":"reply","id":270,"value":3,"literal":"reply","eClass":"EEnumLiteral"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"message","changeable":true,"resolveProxies":true,"lowerBound":1,"id":271,"derived":false},{"id":272,"eClass":"EGenericType"},{"id":273,"eClass":"EGenericType"},{"id":274,"eClass":"EGenericType"},{"id":275,"eClass":"EGenericType"},{"id":276,"eClass":"EGenericType"},{"container":true,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"container","changeable":true,"resolveProxies":true,"lowerBound":1,"id":277,"derived":false},{"id":278,"eClass":"EGenericType"},{"id":279,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"fragments","changeable":true,"resolveProxies":true,"lowerBound":1,"id":280,"derived":false},{"name":"alt","id":281,"value":0,"literal":"alt","eClass":"EEnumLiteral"},{"name":"opt","id":282,"value":1,"literal":"opt","eClass":"EEnumLiteral"},{"name":"loop","id":283,"value":2,"literal":"loop","eClass":"EEnumLiteral"},{"name":"disruptable","id":284,"value":3,"literal":"disruptable","eClass":"EEnumLiteral"},{"name":"critical","id":285,"value":4,"literal":"critical","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"interactionOperator","changeable":true,"lowerBound":1,"iD":false,"id":286,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"operands","changeable":true,"resolveProxies":true,"lowerBound":1,"id":287,"derived":false},{"id":288,"eClass":"EGenericType"},{"id":289,"eClass":"EGenericType"},{"id":290,"eClass":"EGenericType"},{"id":291,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"specification","changeable":true,"resolveProxies":true,"lowerBound":1,"id":292,"derived":false},{"id":293,"eClass":"EGenericType"},{"id":294,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"interactionConstraint","changeable":true,"resolveProxies":true,"lowerBound":0,"id":295,"derived":false},{"id":296,"eClass":"EGenericType"},{"id":297,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":298,"derived":false},{"id":299,"eClass":"EGenericType"},{"id":300,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"parameter","changeable":true,"resolveProxies":true,"lowerBound":1,"id":301,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":302,"derived":false},{"id":303,"eClass":"EGenericType"},{"id":304,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"parameter","changeable":true,"resolveProxies":true,"lowerBound":1,"id":305,"derived":false},{"id":306,"eClass":"EGenericType"},{"id":307,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"body","changeable":true,"lowerBound":1,"iD":false,"id":308,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"language","changeable":true,"lowerBound":1,"iD":false,"id":309,"derived":false},{"id":310,"eClass":"EGenericType"},{"id":311,"eClass":"EGenericType"},{"id":312,"eClass":"EGenericType"},{"id":313,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":314,"derived":false},{"id":315,"eClass":"EGenericType"},{"id":316,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":317,"derived":false},{"id":318,"eClass":"EGenericType"},{"id":319,"eClass":"EGenericType"},{"id":320,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":321,"many":false,"required":true,"eClass":"EOperation"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":322,"derived":false},{"id":323,"eClass":"EGenericType"},{"id":324,"eClass":"EGenericType"},{"id":325,"eClass":"EGenericType"},{"id":326,"eClass":"EGenericType"},{"id":327,"eClass":"EGenericType"},{"id":328,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"containers","changeable":true,"resolveProxies":true,"lowerBound":1,"id":329,"derived":false},{"id":330,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"key","changeable":true,"resolveProxies":true,"lowerBound":1,"id":331,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":332,"derived":false},{"id":333,"eClass":"EGenericType"},{"id":334,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"key","changeable":true,"resolveProxies":true,"lowerBound":1,"id":335,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":336,"derived":false},{"id":337,"eClass":"EGenericType"},{"id":338,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"x","changeable":true,"lowerBound":1,"iD":false,"id":339,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"y","changeable":true,"lowerBound":1,"iD":false,"id":340,"derived":false},{"id":341,"eClass":"EGenericType"},{"id":342,"eClass":"EGenericType"},{"name":"Depends","id":343,"value":0,"literal":"Depends","eClass":"EEnumLiteral"},{"name":"Extends","id":344,"value":1,"literal":"Extends","eClass":"EEnumLiteral"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"operations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":345,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"typeParameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":346,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"superTypes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":347,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"dataType","changeable":true,"lowerBound":0,"iD":false,"id":348,"derived":false},{"id":349,"eClass":"EGenericType"},{"id":350,"eClass":"EGenericType"},{"id":351,"eClass":"EGenericType"},{"id":352,"eClass":"EGenericType"},{"id":353,"eClass":"EGenericType"},{"id":354,"eClass":"EGenericType"},{"id":355,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"instanceClassName","changeable":true,"lowerBound":1,"iD":false,"id":356,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"interface","changeable":true,"lowerBound":1,"iD":false,"id":357,"derived":false},{"id":358,"eClass":"EGenericType"},{"id":359,"eClass":"EGenericType"},{"id":360,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"static","changeable":true,"lowerBound":1,"iD":false,"id":361,"derived":false},{"id":362,"eClass":"EGenericType"},{"id":363,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":364,"derived":false},{"id":365,"eClass":"EGenericType"},{"id":366,"eClass":"EGenericType"},{"id":367,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"0","unsettable":false,"transient":false,"unique":true,"name":"lowerBound","changeable":true,"lowerBound":0,"iD":false,"id":368,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"1","unsettable":false,"transient":false,"unique":true,"name":"upperBound","changeable":true,"lowerBound":0,"iD":false,"id":369,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"Regular","unsettable":false,"transient":false,"unique":true,"name":"referenceType","changeable":true,"lowerBound":0,"iD":false,"id":370,"derived":false},{"id":371,"eClass":"EGenericType"},{"id":372,"eClass":"EGenericType"},{"id":373,"eClass":"EGenericType"},{"id":374,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getType","lowerBound":1,"id":375,"many":false,"required":true,"eClass":"EOperation"},{"id":376,"eClass":"EGenericType"},{"id":377,"eClass":"EGenericType"},{"id":378,"eClass":"EGenericType"},{"id":379,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":380,"derived":false},{"id":381,"eClass":"EGenericType"},{"id":382,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"operationMappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":383,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"attributeMappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":384,"derived":false},{"id":385,"eClass":"EGenericType"},{"id":386,"eClass":"EGenericType"},{"id":387,"eClass":"EGenericType"},{"id":388,"eClass":"EGenericType"},{"id":389,"eClass":"EGenericType"},{"id":390,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"parameterMappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":391,"derived":false},{"id":392,"eClass":"EGenericType"},{"id":393,"eClass":"EGenericType"},{"id":394,"eClass":"EGenericType"},{"id":395,"eClass":"EGenericType"},{"id":396,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stateMachines","changeable":true,"resolveProxies":true,"lowerBound":1,"id":397,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"specifies","changeable":true,"resolveProxies":true,"lowerBound":1,"id":398,"derived":false},{"id":399,"eClass":"EGenericType"},{"id":400,"eClass":"EGenericType"},{"id":401,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"start","changeable":true,"resolveProxies":true,"lowerBound":1,"id":402,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":403,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":404,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"substitutions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":405,"derived":false},{"id":406,"eClass":"EGenericType"},{"id":407,"eClass":"EGenericType"},{"id":408,"eClass":"EGenericType"},{"id":409,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"endState","changeable":true,"resolveProxies":true,"lowerBound":1,"id":410,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"startState","changeable":true,"resolveProxies":true,"lowerBound":1,"id":411,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"signature","changeable":true,"resolveProxies":true,"lowerBound":0,"id":412,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"guard","changeable":true,"resolveProxies":true,"lowerBound":0,"id":413,"derived":false},{"id":414,"eClass":"EGenericType"},{"id":415,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"incomings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":416,"derived":false},{"id":417,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"outgoings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":418,"derived":false},{"id":419,"eClass":"EGenericType"},{"id":420,"eClass":"EGenericType"},{"id":421,"eClass":"EGenericType"},{"id":422,"eClass":"EGenericType"},{"id":423,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":424,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":425,"many":false,"required":true,"eClass":"EOperation"},{"id":426,"eClass":"EGenericType"},{"id":427,"eClass":"EGenericType"},{"id":428,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":429,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":430,"many":false,"required":true,"eClass":"EOperation"},{"id":431,"eClass":"EGenericType"},{"id":432,"eClass":"EGenericType"},{"id":433,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"Specification","changeable":true,"resolveProxies":true,"lowerBound":1,"id":434,"derived":false},{"id":435,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"from","changeable":true,"resolveProxies":true,"lowerBound":1,"id":436,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"to","changeable":true,"resolveProxies":true,"lowerBound":1,"id":437,"derived":false},{"id":438,"eClass":"EGenericType"},{"id":439,"eClass":"EGenericType"},{"id":440,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"genericType","changeable":true,"resolveProxies":true,"lowerBound":0,"id":441,"derived":false},{"id":442,"eClass":"EGenericType"},{"id":443,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":444,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":445,"many":false,"required":true,"eClass":"EOperation"},{"id":446,"eClass":"EGenericType"},{"id":447,"eClass":"EGenericType"},{"id":448,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":449,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":450,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":-1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"-1","unsettable":false,"transient":false,"unique":true,"name":"size","changeable":true,"lowerBound":1,"iD":false,"id":451,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":452,"derived":false},{"id":453,"eClass":"EGenericType"},{"id":454,"eClass":"EGenericType"},{"id":455,"eClass":"EGenericType"},{"id":456,"eClass":"EGenericType"},{"id":457,"eClass":"EGenericType"},{"name":"Normal","id":458,"value":0,"literal":"Normal","eClass":"EEnumLiteral"},{"name":"Constructor","id":459,"value":1,"literal":"Constructor","eClass":"EEnumLiteral"},{"name":"Destructor","id":460,"value":2,"literal":"Destructor","eClass":"EEnumLiteral"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"comesFrom","changeable":true,"resolveProxies":true,"lowerBound":1,"id":461,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"children","changeable":true,"resolveProxies":true,"lowerBound":0,"id":462,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"wovenElements","changeable":true,"resolveProxies":true,"lowerBound":0,"id":463,"derived":false},{"id":464,"eClass":"EGenericType"},{"id":465,"eClass":"EGenericType"},{"id":466,"eClass":"EGenericType"},{"id":467,"eClass":"EGenericType"},{"id":468,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":469,"derived":false},{"id":470,"eClass":"EGenericType"},{"id":471,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"assignTo","changeable":true,"resolveProxies":true,"lowerBound":1,"id":472,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":473,"derived":false},{"id":474,"eClass":"EGenericType"},{"id":475,"eClass":"EGenericType"},{"id":476,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"key","changeable":true,"resolveProxies":true,"lowerBound":1,"id":477,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":478,"derived":false},{"id":479,"eClass":"EGenericType"},{"id":480,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getName","lowerBound":1,"id":481,"many":false,"required":true,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getInstanceClassName","lowerBound":1,"id":482,"many":false,"required":true,"eClass":"EOperation"},{"id":483,"eClass":"EGenericType"},{"id":484,"eClass":"EGenericType"},{"id":485,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":486,"derived":false},{"id":487,"eClass":"EGenericType"},{"id":488,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"0.0f","unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":489,"derived":false},{"id":490,"eClass":"EGenericType"},{"id":491,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":492,"derived":false},{"id":493,"eClass":"EGenericType"},{"id":494,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":"\u0000","volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":495,"derived":false},{"id":496,"eClass":"EGenericType"},{"id":497,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"0.0d","unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":498,"derived":false},{"id":499,"eClass":"EGenericType"},{"id":500,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":0,"target":11},{"source":0,"target":12},{"source":0,"target":13},{"source":0,"target":14},{"source":0,"target":15},{"source":0,"target":16},{"source":0,"target":17},{"source":0,"target":18},{"source":0,"target":19},{"source":0,"target":20},{"source":0,"target":21},{"source":0,"target":22},{"source":0,"target":23},{"source":0,"target":24},{"source":0,"target":25},{"source":0,"target":26},{"source":0,"target":27},{"source":0,"target":28},{"source":0,"target":29},{"source":0,"target":30},{"source":0,"target":31},{"source":0,"target":32},{"source":0,"target":33},{"source":0,"target":34},{"source":0,"target":35},{"source":0,"target":36},{"source":0,"target":37},{"source":0,"target":38},{"source":0,"target":39},{"source":0,"target":40},{"source":0,"target":41},{"source":0,"target":42},{"source":0,"target":43},{"source":0,"target":44},{"source":0,"target":45},{"source":0,"target":46},{"source":0,"target":47},{"source":0,"target":48},{"source":0,"target":49},{"source":0,"target":50},{"source":0,"target":51},{"source":0,"target":52},{"source":0,"target":53},{"source":0,"target":54},{"source":0,"target":55},{"source":0,"target":56},{"source":0,"target":57},{"source":0,"target":58},{"source":0,"target":59},{"source":0,"target":60},{"source":0,"target":61},{"source":0,"target":62},{"source":0,"target":63},{"source":0,"target":64},{"source":0,"target":65},{"source":0,"target":66},{"source":0,"target":67},{"source":0,"target":68},{"source":0,"target":69},{"source":0,"target":70},{"source":0,"target":71},{"source":0,"target":72},{"source":0,"target":73},{"source":0,"target":74},{"source":0,"target":75},{"source":0,"target":76},{"source":0,"target":77},{"source":0,"target":78},{"source":0,"target":79},{"source":0,"target":80},{"source":0,"target":81},{"source":0,"target":82},{"source":0,"target":83},{"source":0,"target":84},{"source":0,"target":85},{"source":0,"target":86},{"source":0,"target":87},{"source":0,"target":88},{"source":0,"target":89},{"source":0,"target":90},{"source":0,"target":91},{"source":0,"target":92},{"source":0,"target":93},{"source":0,"target":94},{"source":0,"target":95},{"source":0,"target":96},{"source":0,"target":97},{"source":1,"target":0},{"source":1,"target":7},{"source":1,"target":98},{"source":1,"target":99},{"source":1,"target":100},{"source":1,"target":101},{"source":1,"target":102},{"source":1,"target":103},{"source":1,"target":104},{"source":1,"target":105},{"source":98,"target":3},{"source":98,"target":106},{"source":98,"target":1},{"source":106,"target":3},{"source":99,"target":25},{"source":99,"target":107},{"source":99,"target":1},{"source":107,"target":25},{"source":100,"target":8},{"source":100,"target":108},{"source":100,"target":1},{"source":108,"target":8},{"source":101,"target":55},{"source":101,"target":109},{"source":101,"target":1},{"source":109,"target":55},{"source":102,"target":73},{"source":102,"target":110},{"source":102,"target":1},{"source":110,"target":73},{"source":103,"target":87},{"source":103,"target":111},{"source":103,"target":1},{"source":111,"target":87},{"source":104,"target":7},{"source":2,"target":0},{"source":2,"target":7},{"source":2,"target":112},{"source":2,"target":113},{"source":112,"target":7},{"source":3,"target":0},{"source":3,"target":114},{"source":3,"target":115},{"source":3,"target":116},{"source":114,"target":60},{"source":114,"target":117},{"source":114,"target":3},{"source":117,"target":60},{"source":115,"target":6},{"source":115,"target":118},{"source":115,"target":3},{"source":118,"target":6},{"source":116,"target":11},{"source":116,"target":119},{"source":116,"target":3},{"source":119,"target":11},{"source":4,"target":0},{"source":4,"target":60},{"source":4,"target":120},{"source":4,"target":121},{"source":4,"target":122},{"source":120,"target":10},{"source":120,"target":123},{"source":120,"target":4},{"source":123,"target":10},{"source":121,"target":124},{"source":121,"target":4},{"source":122,"target":60},{"source":5,"target":0},{"source":5,"target":65},{"source":5,"target":125},{"source":5,"target":126},{"source":5,"target":127},{"source":5,"target":128},{"source":5,"target":129},{"source":5,"target":130},{"source":5,"target":131},{"source":125,"target":11},{"source":125,"target":132},{"source":125,"target":5},{"source":132,"target":11},{"source":126,"target":5},{"source":126,"target":133},{"source":126,"target":5},{"source":133,"target":5},{"source":127,"target":134},{"source":127,"target":5},{"source":128,"target":6},{"source":128,"target":135},{"source":128,"target":5},{"source":128,"target":136},{"source":135,"target":6},{"source":129,"target":60},{"source":129,"target":137},{"source":129,"target":5},{"source":129,"target":138},{"source":137,"target":60},{"source":130,"target":139},{"source":130,"target":5},{"source":131,"target":65},{"source":6,"target":0},{"source":6,"target":7},{"source":6,"target":136},{"source":6,"target":140},{"source":136,"target":5},{"source":136,"target":141},{"source":136,"target":6},{"source":136,"target":128},{"source":141,"target":5},{"source":140,"target":7},{"source":7,"target":0},{"source":7,"target":142},{"source":8,"target":0},{"source":8,"target":143},{"source":8,"target":144},{"source":143,"target":59},{"source":143,"target":145},{"source":143,"target":8},{"source":145,"target":59},{"source":144,"target":146},{"source":144,"target":147},{"source":146,"target":1},{"source":147,"target":69},{"source":9,"target":0},{"source":9,"target":7},{"source":9,"target":2},{"source":9,"target":86},{"source":9,"target":148},{"source":9,"target":149},{"source":9,"target":150},{"source":9,"target":151},{"source":9,"target":152},{"source":9,"target":153},{"source":9,"target":154},{"source":9,"target":155},{"source":9,"target":156},{"source":148,"target":157},{"source":148,"target":9},{"source":149,"target":13},{"source":149,"target":158},{"source":149,"target":9},{"source":158,"target":13},{"source":150,"target":11},{"source":150,"target":159},{"source":150,"target":9},{"source":159,"target":11},{"source":151,"target":12},{"source":151,"target":160},{"source":151,"target":9},{"source":160,"target":12},{"source":152,"target":161},{"source":152,"target":9},{"source":153,"target":85},{"source":153,"target":162},{"source":153,"target":9},{"source":162,"target":85},{"source":154,"target":7},{"source":155,"target":2},{"source":156,"target":86},{"source":10,"target":0},{"source":10,"target":63},{"source":10,"target":62},{"source":10,"target":2},{"source":10,"target":86},{"source":10,"target":163},{"source":10,"target":164},{"source":10,"target":165},{"source":10,"target":166},{"source":10,"target":167},{"source":163,"target":15},{"source":163,"target":168},{"source":163,"target":10},{"source":168,"target":15},{"source":164,"target":63},{"source":165,"target":62},{"source":166,"target":2},{"source":167,"target":86},{"source":11,"target":0},{"source":11,"target":7},{"source":11,"target":169},{"source":169,"target":7},{"source":12,"target":0},{"source":12,"target":66},{"source":12,"target":2},{"source":12,"target":170},{"source":12,"target":171},{"source":12,"target":172},{"source":170,"target":11},{"source":170,"target":173},{"source":170,"target":12},{"source":173,"target":11},{"source":171,"target":66},{"source":172,"target":2},{"source":13,"target":0},{"source":13,"target":174},{"source":13,"target":175},{"source":13,"target":176},{"source":13,"target":177},{"source":174,"target":13},{"source":175,"target":13},{"source":176,"target":13},{"source":177,"target":13},{"source":14,"target":0},{"source":14,"target":15},{"source":14,"target":61},{"source":14,"target":178},{"source":14,"target":179},{"source":178,"target":15},{"source":179,"target":61},{"source":15,"target":0},{"source":15,"target":11},{"source":15,"target":2},{"source":15,"target":180},{"source":15,"target":181},{"source":180,"target":11},{"source":181,"target":2},{"source":16,"target":0},{"source":16,"target":11},{"source":16,"target":182},{"source":16,"target":183},{"source":182,"target":184},{"source":182,"target":16},{"source":183,"target":11},{"source":17,"target":0},{"source":17,"target":14},{"source":17,"target":185},{"source":17,"target":186},{"source":17,"target":187},{"source":185,"target":188},{"source":185,"target":17},{"source":186,"target":189},{"source":186,"target":17},{"source":187,"target":14},{"source":18,"target":0},{"source":18,"target":190},{"source":18,"target":191},{"source":18,"target":192},{"source":190,"target":18},{"source":191,"target":18},{"source":192,"target":18},{"source":19,"target":0},{"source":19,"target":14},{"source":19,"target":193},{"source":19,"target":194},{"source":19,"target":195},{"source":193,"target":196},{"source":193,"target":19},{"source":194,"target":197},{"source":194,"target":19},{"source":195,"target":14},{"source":20,"target":0},{"source":20,"target":14},{"source":20,"target":198},{"source":20,"target":199},{"source":20,"target":200},{"source":198,"target":201},{"source":198,"target":20},{"source":199,"target":202},{"source":199,"target":20},{"source":200,"target":14},{"source":21,"target":0},{"source":21,"target":14},{"source":21,"target":203},{"source":21,"target":204},{"source":21,"target":205},{"source":203,"target":206},{"source":203,"target":21},{"source":204,"target":207},{"source":204,"target":21},{"source":205,"target":14},{"source":22,"target":0},{"source":22,"target":11},{"source":22,"target":208},{"source":22,"target":209},{"source":208,"target":210},{"source":208,"target":22},{"source":209,"target":11},{"source":23,"target":0},{"source":23,"target":14},{"source":23,"target":211},{"source":23,"target":212},{"source":211,"target":24},{"source":211,"target":213},{"source":211,"target":23},{"source":211,"target":214},{"source":213,"target":24},{"source":212,"target":14},{"source":24,"target":0},{"source":24,"target":7},{"source":24,"target":214},{"source":24,"target":215},{"source":214,"target":23},{"source":214,"target":216},{"source":214,"target":24},{"source":214,"target":211},{"source":216,"target":23},{"source":215,"target":7},{"source":25,"target":0},{"source":25,"target":217},{"source":217,"target":29},{"source":217,"target":218},{"source":217,"target":25},{"source":218,"target":29},{"source":26,"target":0},{"source":26,"target":25},{"source":26,"target":219},{"source":26,"target":220},{"source":26,"target":221},{"source":219,"target":9},{"source":219,"target":222},{"source":219,"target":26},{"source":222,"target":9},{"source":220,"target":28},{"source":220,"target":223},{"source":220,"target":26},{"source":223,"target":28},{"source":221,"target":25},{"source":27,"target":0},{"source":27,"target":25},{"source":27,"target":224},{"source":27,"target":225},{"source":224,"target":26},{"source":224,"target":226},{"source":224,"target":27},{"source":226,"target":26},{"source":225,"target":25},{"source":28,"target":0},{"source":28,"target":51},{"source":28,"target":227},{"source":28,"target":228},{"source":28,"target":229},{"source":28,"target":230},{"source":28,"target":231},{"source":227,"target":30},{"source":227,"target":232},{"source":227,"target":28},{"source":232,"target":30},{"source":228,"target":31},{"source":228,"target":233},{"source":228,"target":28},{"source":228,"target":234},{"source":233,"target":31},{"source":229,"target":64},{"source":229,"target":235},{"source":229,"target":28},{"source":235,"target":64},{"source":230,"target":67},{"source":230,"target":236},{"source":230,"target":28},{"source":236,"target":67},{"source":231,"target":51},{"source":29,"target":0},{"source":29,"target":25},{"source":29,"target":7},{"source":29,"target":237},{"source":29,"target":238},{"source":29,"target":239},{"source":29,"target":240},{"source":237,"target":9},{"source":237,"target":241},{"source":237,"target":29},{"source":241,"target":9},{"source":238,"target":28},{"source":238,"target":242},{"source":238,"target":29},{"source":242,"target":28},{"source":239,"target":25},{"source":240,"target":7},{"source":30,"target":0},{"source":30,"target":243},{"source":30,"target":244},{"source":243,"target":66},{"source":243,"target":245},{"source":243,"target":30},{"source":245,"target":66},{"source":244,"target":37},{"source":244,"target":246},{"source":244,"target":30},{"source":244,"target":247},{"source":246,"target":37},{"source":31,"target":0},{"source":31,"target":248},{"source":31,"target":249},{"source":31,"target":250},{"source":31,"target":251},{"source":31,"target":252},{"source":31,"target":253},{"source":31,"target":234},{"source":31,"target":254},{"source":31,"target":255},{"source":31,"target":256},{"source":248,"target":33},{"source":248,"target":257},{"source":248,"target":31},{"source":257,"target":33},{"source":249,"target":33},{"source":249,"target":258},{"source":249,"target":31},{"source":258,"target":33},{"source":250,"target":9},{"source":250,"target":259},{"source":250,"target":31},{"source":259,"target":9},{"source":251,"target":63},{"source":251,"target":260},{"source":251,"target":31},{"source":260,"target":63},{"source":252,"target":32},{"source":252,"target":261},{"source":252,"target":31},{"source":261,"target":32},{"source":253,"target":45},{"source":253,"target":262},{"source":253,"target":31},{"source":262,"target":45},{"source":234,"target":28},{"source":234,"target":263},{"source":234,"target":31},{"source":234,"target":228},{"source":263,"target":28},{"source":254,"target":43},{"source":254,"target":264},{"source":254,"target":31},{"source":264,"target":43},{"source":255,"target":265},{"source":255,"target":31},{"source":256,"target":62},{"source":256,"target":266},{"source":256,"target":31},{"source":266,"target":62},{"source":32,"target":0},{"source":32,"target":267},{"source":32,"target":268},{"source":32,"target":269},{"source":32,"target":270},{"source":267,"target":32},{"source":268,"target":32},{"source":269,"target":32},{"source":270,"target":32},{"source":33,"target":0},{"source":33,"target":271},{"source":271,"target":31},{"source":271,"target":272},{"source":271,"target":33},{"source":272,"target":31},{"source":34,"target":0},{"source":34,"target":35},{"source":34,"target":33},{"source":34,"target":273},{"source":34,"target":274},{"source":273,"target":35},{"source":274,"target":33},{"source":35,"target":0},{"source":35,"target":37},{"source":35,"target":275},{"source":275,"target":37},{"source":36,"target":0},{"source":36,"target":34},{"source":36,"target":276},{"source":276,"target":34},{"source":37,"target":0},{"source":37,"target":247},{"source":37,"target":277},{"source":247,"target":30},{"source":247,"target":278},{"source":247,"target":37},{"source":247,"target":244},{"source":278,"target":30},{"source":277,"target":51},{"source":277,"target":279},{"source":277,"target":37},{"source":277,"target":280},{"source":279,"target":51},{"source":38,"target":0},{"source":38,"target":281},{"source":38,"target":282},{"source":38,"target":283},{"source":38,"target":284},{"source":38,"target":285},{"source":281,"target":38},{"source":282,"target":38},{"source":283,"target":38},{"source":284,"target":38},{"source":285,"target":38},{"source":39,"target":0},{"source":39,"target":37},{"source":39,"target":286},{"source":39,"target":287},{"source":39,"target":288},{"source":286,"target":38},{"source":286,"target":289},{"source":286,"target":39},{"source":289,"target":38},{"source":287,"target":42},{"source":287,"target":290},{"source":287,"target":39},{"source":290,"target":42},{"source":288,"target":37},{"source":40,"target":0},{"source":40,"target":37},{"source":40,"target":291},{"source":291,"target":37},{"source":41,"target":0},{"source":41,"target":37},{"source":41,"target":292},{"source":41,"target":293},{"source":292,"target":43},{"source":292,"target":294},{"source":292,"target":41},{"source":294,"target":43},{"source":293,"target":37},{"source":42,"target":0},{"source":42,"target":51},{"source":42,"target":295},{"source":42,"target":296},{"source":295,"target":43},{"source":295,"target":297},{"source":295,"target":42},{"source":297,"target":43},{"source":296,"target":51},{"source":43,"target":0},{"source":44,"target":0},{"source":44,"target":43},{"source":44,"target":298},{"source":44,"target":299},{"source":298,"target":63},{"source":298,"target":300},{"source":298,"target":44},{"source":300,"target":63},{"source":299,"target":43},{"source":45,"target":0},{"source":45,"target":301},{"source":45,"target":302},{"source":301,"target":12},{"source":301,"target":303},{"source":301,"target":45},{"source":303,"target":12},{"source":302,"target":43},{"source":302,"target":304},{"source":302,"target":45},{"source":304,"target":43},{"source":46,"target":0},{"source":46,"target":43},{"source":46,"target":305},{"source":46,"target":306},{"source":305,"target":12},{"source":305,"target":307},{"source":305,"target":46},{"source":307,"target":12},{"source":306,"target":43},{"source":47,"target":0},{"source":47,"target":43},{"source":47,"target":308},{"source":47,"target":309},{"source":47,"target":310},{"source":308,"target":311},{"source":308,"target":47},{"source":309,"target":312},{"source":309,"target":47},{"source":310,"target":43},{"source":48,"target":0},{"source":48,"target":43},{"source":48,"target":313},{"source":313,"target":43},{"source":49,"target":0},{"source":49,"target":48},{"source":49,"target":314},{"source":49,"target":315},{"source":314,"target":316},{"source":314,"target":49},{"source":315,"target":48},{"source":50,"target":0},{"source":50,"target":48},{"source":50,"target":317},{"source":50,"target":318},{"source":317,"target":319},{"source":317,"target":50},{"source":318,"target":48},{"source":51,"target":0},{"source":51,"target":280},{"source":280,"target":37},{"source":280,"target":320},{"source":280,"target":51},{"source":280,"target":277},{"source":320,"target":37},{"source":52,"target":0},{"source":52,"target":11},{"source":52,"target":61},{"source":52,"target":321},{"source":52,"target":322},{"source":52,"target":323},{"source":52,"target":324},{"source":321,"target":325},{"source":321,"target":52},{"source":322,"target":15},{"source":322,"target":326},{"source":322,"target":52},{"source":326,"target":15},{"source":323,"target":11},{"source":324,"target":61},{"source":53,"target":0},{"source":53,"target":52},{"source":53,"target":327},{"source":327,"target":52},{"source":54,"target":0},{"source":54,"target":52},{"source":54,"target":328},{"source":328,"target":52},{"source":55,"target":0},{"source":55,"target":329},{"source":329,"target":56},{"source":329,"target":330},{"source":329,"target":55},{"source":330,"target":56},{"source":56,"target":0},{"source":56,"target":331},{"source":56,"target":332},{"source":331,"target":333},{"source":331,"target":56},{"source":332,"target":57},{"source":332,"target":334},{"source":332,"target":56},{"source":334,"target":57},{"source":57,"target":0},{"source":57,"target":335},{"source":57,"target":336},{"source":335,"target":337},{"source":335,"target":57},{"source":336,"target":58},{"source":336,"target":338},{"source":336,"target":57},{"source":338,"target":58},{"source":58,"target":0},{"source":58,"target":339},{"source":58,"target":340},{"source":339,"target":341},{"source":339,"target":58},{"source":340,"target":342},{"source":340,"target":58},{"source":59,"target":0},{"source":59,"target":343},{"source":59,"target":344},{"source":343,"target":59},{"source":344,"target":59},{"source":60,"target":0},{"source":60,"target":15},{"source":60,"target":86},{"source":60,"target":345},{"source":60,"target":138},{"source":60,"target":346},{"source":60,"target":347},{"source":60,"target":348},{"source":60,"target":349},{"source":60,"target":350},{"source":345,"target":9},{"source":345,"target":351},{"source":345,"target":60},{"source":351,"target":9},{"source":138,"target":5},{"source":138,"target":352},{"source":138,"target":60},{"source":138,"target":129},{"source":352,"target":5},{"source":346,"target":82},{"source":346,"target":353},{"source":346,"target":60},{"source":353,"target":82},{"source":347,"target":60},{"source":347,"target":354},{"source":347,"target":60},{"source":354,"target":60},{"source":348,"target":355},{"source":348,"target":60},{"source":349,"target":15},{"source":350,"target":86},{"source":61,"target":0},{"source":61,"target":60},{"source":61,"target":356},{"source":61,"target":357},{"source":61,"target":358},{"source":356,"target":359},{"source":356,"target":61},{"source":357,"target":360},{"source":357,"target":61},{"source":358,"target":60},{"source":62,"target":0},{"source":63,"target":0},{"source":63,"target":66},{"source":63,"target":361},{"source":63,"target":362},{"source":361,"target":363},{"source":361,"target":63},{"source":362,"target":66},{"source":64,"target":0},{"source":64,"target":65},{"source":64,"target":62},{"source":64,"target":364},{"source":64,"target":365},{"source":64,"target":366},{"source":364,"target":15},{"source":364,"target":367},{"source":364,"target":64},{"source":367,"target":15},{"source":365,"target":65},{"source":366,"target":62},{"source":65,"target":0},{"source":65,"target":63},{"source":65,"target":368},{"source":65,"target":369},{"source":65,"target":370},{"source":65,"target":371},{"source":368,"target":372},{"source":368,"target":65},{"source":369,"target":373},{"source":369,"target":65},{"source":370,"target":18},{"source":370,"target":374},{"source":370,"target":65},{"source":374,"target":18},{"source":371,"target":63},{"source":66,"target":0},{"source":66,"target":7},{"source":66,"target":375},{"source":66,"target":376},{"source":375,"target":11},{"source":375,"target":377},{"source":375,"target":66},{"source":377,"target":11},{"source":376,"target":7},{"source":67,"target":0},{"source":67,"target":33},{"source":67,"target":7},{"source":67,"target":378},{"source":67,"target":379},{"source":378,"target":33},{"source":379,"target":7},{"source":68,"target":0},{"source":68,"target":48},{"source":68,"target":380},{"source":68,"target":381},{"source":380,"target":382},{"source":380,"target":68},{"source":381,"target":48},{"source":69,"target":0},{"source":69,"target":383},{"source":69,"target":384},{"source":69,"target":385},{"source":383,"target":71},{"source":383,"target":386},{"source":383,"target":69},{"source":386,"target":71},{"source":384,"target":70},{"source":384,"target":387},{"source":384,"target":69},{"source":387,"target":70},{"source":385,"target":388},{"source":388,"target":60},{"source":70,"target":0},{"source":70,"target":389},{"source":389,"target":390},{"source":390,"target":10},{"source":71,"target":0},{"source":71,"target":391},{"source":71,"target":392},{"source":391,"target":72},{"source":391,"target":393},{"source":391,"target":71},{"source":393,"target":72},{"source":392,"target":394},{"source":394,"target":9},{"source":72,"target":0},{"source":72,"target":395},{"source":395,"target":396},{"source":396,"target":12},{"source":73,"target":0},{"source":73,"target":7},{"source":73,"target":397},{"source":73,"target":398},{"source":73,"target":399},{"source":397,"target":74},{"source":397,"target":400},{"source":397,"target":73},{"source":400,"target":74},{"source":398,"target":60},{"source":398,"target":401},{"source":398,"target":73},{"source":401,"target":60},{"source":399,"target":7},{"source":74,"target":0},{"source":74,"target":402},{"source":74,"target":403},{"source":74,"target":404},{"source":74,"target":405},{"source":402,"target":76},{"source":402,"target":406},{"source":402,"target":74},{"source":406,"target":76},{"source":403,"target":76},{"source":403,"target":407},{"source":403,"target":74},{"source":407,"target":76},{"source":404,"target":75},{"source":404,"target":408},{"source":404,"target":74},{"source":408,"target":75},{"source":405,"target":80},{"source":405,"target":409},{"source":405,"target":74},{"source":409,"target":80},{"source":75,"target":0},{"source":75,"target":7},{"source":75,"target":410},{"source":75,"target":411},{"source":75,"target":412},{"source":75,"target":413},{"source":75,"target":414},{"source":410,"target":76},{"source":410,"target":415},{"source":410,"target":75},{"source":410,"target":416},{"source":415,"target":76},{"source":411,"target":76},{"source":411,"target":417},{"source":411,"target":75},{"source":411,"target":418},{"source":417,"target":76},{"source":412,"target":9},{"source":412,"target":419},{"source":412,"target":75},{"source":419,"target":9},{"source":413,"target":79},{"source":413,"target":420},{"source":413,"target":75},{"source":420,"target":79},{"source":414,"target":7},{"source":76,"target":0},{"source":76,"target":7},{"source":76,"target":416},{"source":76,"target":418},{"source":76,"target":421},{"source":416,"target":75},{"source":416,"target":422},{"source":416,"target":76},{"source":416,"target":410},{"source":422,"target":75},{"source":418,"target":75},{"source":418,"target":423},{"source":418,"target":76},{"source":418,"target":411},{"source":423,"target":75},{"source":421,"target":7},{"source":77,"target":0},{"source":77,"target":14},{"source":77,"target":424},{"source":77,"target":425},{"source":77,"target":426},{"source":424,"target":427},{"source":424,"target":77},{"source":425,"target":428},{"source":425,"target":77},{"source":426,"target":14},{"source":78,"target":0},{"source":78,"target":14},{"source":78,"target":429},{"source":78,"target":430},{"source":78,"target":431},{"source":429,"target":432},{"source":429,"target":78},{"source":430,"target":433},{"source":430,"target":78},{"source":431,"target":14},{"source":79,"target":0},{"source":79,"target":434},{"source":434,"target":43},{"source":434,"target":435},{"source":434,"target":79},{"source":435,"target":43},{"source":80,"target":0},{"source":81,"target":0},{"source":81,"target":80},{"source":81,"target":436},{"source":81,"target":437},{"source":81,"target":438},{"source":436,"target":75},{"source":436,"target":439},{"source":436,"target":81},{"source":439,"target":75},{"source":437,"target":75},{"source":437,"target":440},{"source":437,"target":81},{"source":440,"target":75},{"source":438,"target":80},{"source":82,"target":0},{"source":82,"target":11},{"source":82,"target":441},{"source":82,"target":442},{"source":441,"target":15},{"source":441,"target":443},{"source":441,"target":82},{"source":443,"target":15},{"source":442,"target":11},{"source":83,"target":0},{"source":83,"target":14},{"source":83,"target":444},{"source":83,"target":445},{"source":83,"target":446},{"source":444,"target":447},{"source":444,"target":83},{"source":445,"target":448},{"source":445,"target":83},{"source":446,"target":14},{"source":84,"target":0},{"source":84,"target":14},{"source":84,"target":449},{"source":84,"target":450},{"source":84,"target":451},{"source":84,"target":452},{"source":84,"target":453},{"source":449,"target":454},{"source":449,"target":84},{"source":450,"target":455},{"source":450,"target":84},{"source":451,"target":456},{"source":451,"target":84},{"source":452,"target":15},{"source":452,"target":457},{"source":452,"target":84},{"source":457,"target":15},{"source":453,"target":14},{"source":85,"target":0},{"source":85,"target":458},{"source":85,"target":459},{"source":85,"target":460},{"source":458,"target":85},{"source":459,"target":85},{"source":460,"target":85},{"source":86,"target":0},{"source":87,"target":0},{"source":87,"target":7},{"source":87,"target":461},{"source":87,"target":462},{"source":87,"target":463},{"source":87,"target":464},{"source":461,"target":1},{"source":461,"target":465},{"source":461,"target":87},{"source":465,"target":1},{"source":462,"target":87},{"source":462,"target":466},{"source":462,"target":87},{"source":466,"target":87},{"source":463,"target":91},{"source":463,"target":467},{"source":463,"target":87},{"source":467,"target":91},{"source":464,"target":7},{"source":88,"target":0},{"source":88,"target":48},{"source":88,"target":468},{"source":468,"target":48},{"source":89,"target":0},{"source":89,"target":43},{"source":89,"target":469},{"source":89,"target":470},{"source":469,"target":24},{"source":469,"target":471},{"source":469,"target":89},{"source":471,"target":24},{"source":470,"target":43},{"source":90,"target":0},{"source":90,"target":37},{"source":90,"target":472},{"source":90,"target":473},{"source":90,"target":474},{"source":472,"target":63},{"source":472,"target":475},{"source":472,"target":90},{"source":475,"target":63},{"source":473,"target":43},{"source":473,"target":476},{"source":473,"target":90},{"source":476,"target":43},{"source":474,"target":37},{"source":91,"target":0},{"source":91,"target":477},{"source":91,"target":478},{"source":477,"target":86},{"source":477,"target":479},{"source":477,"target":91},{"source":479,"target":86},{"source":478,"target":86},{"source":478,"target":480},{"source":478,"target":91},{"source":480,"target":86},{"source":92,"target":0},{"source":92,"target":14},{"source":92,"target":481},{"source":92,"target":482},{"source":92,"target":483},{"source":481,"target":484},{"source":481,"target":92},{"source":482,"target":485},{"source":482,"target":92},{"source":483,"target":14},{"source":93,"target":0},{"source":93,"target":48},{"source":93,"target":486},{"source":93,"target":487},{"source":486,"target":488},{"source":486,"target":93},{"source":487,"target":48},{"source":94,"target":0},{"source":94,"target":48},{"source":94,"target":489},{"source":94,"target":490},{"source":489,"target":491},{"source":489,"target":94},{"source":490,"target":48},{"source":95,"target":0},{"source":95,"target":48},{"source":95,"target":492},{"source":95,"target":493},{"source":492,"target":494},{"source":492,"target":95},{"source":493,"target":48},{"source":96,"target":0},{"source":96,"target":48},{"source":96,"target":495},{"source":96,"target":496},{"source":495,"target":497},{"source":495,"target":96},{"source":496,"target":48},{"source":97,"target":0},{"source":97,"target":48},{"source":97,"target":498},{"source":97,"target":499},{"source":498,"target":500},{"source":498,"target":97},{"source":499,"target":48}],"multigraph":true}