viewmodeltrace
ViewModelTrace
traceModelId
logicModel
traces
MatchArgumentTuple
elements
MatchArgument
parameterName
EObjectMatchArgument
value
JavaObjectMatchArgument
value
TraceState
USED
USED
UNUSED
UNUSED
Trace
traceName
argumentTuple
state
VariableInstantiationTrace
variables
StringVariablePair
key
value
ConstraintTrace
localVariables
constraints
<?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="viewmodeltrace" nsURI="http://inf.mit.bme.hu/emf/2017/ViewModelTrace"
    nsPrefix="viewmodeltrace">
  <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
    <details key="modelDirectory" value="/hu.bme.mit.inf.viewmodel.runtime.model/src-gen"/>
    <details key="prefix" value="ViewModelTrace"/>
    <details key="fileExtensions" value="viewmodeltrace"/>
    <details key="providerName" value="BME MIT FTSRG"/>
    <details key="operationReflection" value="false"/>
    <details key="basePackage" value="hu.bme.mit.inf.viewmodel.runtime.model"/>
  </eAnnotations>
  <eClassifiers xsi:type="ecore:EClass" name="ViewModelTrace">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="traceModelId" unique="false"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="logicModel" eType="ecore:EClass logicmodel.ecore#//LogicModel"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="traces" ordered="false"
        upperBound="-1" eType="#//Trace" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MatchArgumentTuple">
    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" ordered="false"
        upperBound="-1" eType="#//MatchArgument" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MatchArgument" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="parameterName" unique="false"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EObjectMatchArgument" eSuperTypes="#//MatchArgument">
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="JavaObjectMatchArgument" eSuperTypes="#//MatchArgument">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" unique="false" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="TraceState">
    <eLiterals name="USED"/>
    <eLiterals name="UNUSED"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Trace" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="traceName" unique="false"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="argumentTuple" eType="#//MatchArgumentTuple"
        containment="true" resolveProxies="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="state" unique="false" eType="#//TraceState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VariableInstantiationTrace" eSuperTypes="#//Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="variables" ordered="false"
        upperBound="-1" eType="#//StringVariablePair" containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringVariablePair">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" unique="false" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass logicmodel.ecore#//Variable"
        containment="true" resolveProxies="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ConstraintTrace" eSuperTypes="#//Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="localVariables" ordered="false"
        upperBound="-1" eType="ecore:EClass logicmodel.ecore#//Variable" containment="true"
        resolveProxies="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="constraints" ordered="false"
        upperBound="-1" eType="ecore:EClass logicmodel.ecore#//Constraint" containment="true"
        resolveProxies="false"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"viewmodeltrace","nsURI":"http://inf.mit.bme.hu/emf/2017/ViewModelTrace","name":"viewmodeltrace","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ViewModelTrace","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MatchArgumentTuple","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MatchArgument","instanceClass":null,"abstract":true,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EObjectMatchArgument","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"JavaObjectMatchArgument","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"TraceState","instanceClass":null,"id":6,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Trace","instanceClass":null,"abstract":true,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VariableInstantiationTrace","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringVariablePair","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ConstraintTrace","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"traceModelId","changeable":true,"lowerBound":0,"iD":false,"id":11,"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":"logicModel","changeable":true,"resolveProxies":true,"lowerBound":0,"id":12,"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":"traces","changeable":true,"resolveProxies":false,"lowerBound":0,"id":13,"derived":false},{"id":14,"eClass":"EGenericType"},{"id":15,"eClass":"EGenericType"},{"id":16,"eClass":"EGenericType"},{"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":"elements","changeable":true,"resolveProxies":false,"lowerBound":0,"id":17,"derived":false},{"id":18,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"parameterName","changeable":true,"lowerBound":0,"iD":false,"id":19,"derived":false},{"id":20,"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":"value","changeable":true,"resolveProxies":true,"lowerBound":0,"id":21,"derived":false},{"id":22,"eClass":"EGenericType"},{"id":23,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":24,"derived":false},{"id":25,"eClass":"EGenericType"},{"id":26,"eClass":"EGenericType"},{"name":"USED","id":27,"value":0,"literal":"USED","eClass":"EEnumLiteral"},{"name":"UNUSED","id":28,"value":0,"literal":"UNUSED","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"traceName","changeable":true,"lowerBound":0,"iD":false,"id":29,"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":"argumentTuple","changeable":true,"resolveProxies":false,"lowerBound":0,"id":30,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"state","changeable":true,"lowerBound":0,"iD":false,"id":31,"derived":false},{"id":32,"eClass":"EGenericType"},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"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":"variables","changeable":true,"resolveProxies":false,"lowerBound":0,"id":35,"derived":false},{"id":36,"eClass":"EGenericType"},{"id":37,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"key","changeable":true,"lowerBound":0,"iD":false,"id":38,"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":"value","changeable":true,"resolveProxies":false,"lowerBound":0,"id":39,"derived":false},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"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":"localVariables","changeable":true,"resolveProxies":false,"lowerBound":0,"id":42,"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":"constraints","changeable":true,"resolveProxies":false,"lowerBound":0,"id":43,"derived":false},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"id":46,"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":1,"target":0},{"source":1,"target":11},{"source":1,"target":12},{"source":1,"target":13},{"source":11,"target":14},{"source":11,"target":1},{"source":12,"target":15},{"source":12,"target":1},{"source":13,"target":7},{"source":13,"target":16},{"source":13,"target":1},{"source":16,"target":7},{"source":2,"target":0},{"source":2,"target":17},{"source":17,"target":3},{"source":17,"target":18},{"source":17,"target":2},{"source":18,"target":3},{"source":3,"target":0},{"source":3,"target":19},{"source":19,"target":20},{"source":19,"target":3},{"source":4,"target":0},{"source":4,"target":3},{"source":4,"target":21},{"source":4,"target":22},{"source":21,"target":23},{"source":21,"target":4},{"source":22,"target":3},{"source":5,"target":0},{"source":5,"target":3},{"source":5,"target":24},{"source":5,"target":25},{"source":24,"target":26},{"source":24,"target":5},{"source":25,"target":3},{"source":6,"target":0},{"source":6,"target":27},{"source":6,"target":28},{"source":27,"target":6},{"source":28,"target":6},{"source":7,"target":0},{"source":7,"target":29},{"source":7,"target":30},{"source":7,"target":31},{"source":29,"target":32},{"source":29,"target":7},{"source":30,"target":2},{"source":30,"target":33},{"source":30,"target":7},{"source":33,"target":2},{"source":31,"target":6},{"source":31,"target":34},{"source":31,"target":7},{"source":34,"target":6},{"source":8,"target":0},{"source":8,"target":7},{"source":8,"target":35},{"source":8,"target":36},{"source":35,"target":9},{"source":35,"target":37},{"source":35,"target":8},{"source":37,"target":9},{"source":36,"target":7},{"source":9,"target":0},{"source":9,"target":38},{"source":9,"target":39},{"source":38,"target":40},{"source":38,"target":9},{"source":39,"target":41},{"source":39,"target":9},{"source":10,"target":0},{"source":10,"target":7},{"source":10,"target":42},{"source":10,"target":43},{"source":10,"target":44},{"source":42,"target":45},{"source":42,"target":10},{"source":43,"target":46},{"source":43,"target":10},{"source":44,"target":7}],"multigraph":true}