imp
Stmt
Skip
Assign
name
exp
Expr
Block
stmts
If
cond
lhs
rhs
While
cond
body
IntConst
value
Var
name
Unary
op
expr
Binary
lhs
rhs
op
UnaryOp
NEGATE
NEGATE
NOT
NOT
BinaryOp
ADD
ADD
SUB
SUB
MUL
MUL
LT
LT
LEQ
LEQ
EQ
EQ
GEQ
GEQ
GT
GT
AND
AND
OR
OR
Store
values
StringToValueMap
java.util.Map$Entry
java.util.Map$Entry
key
value
Value
IntValue
value
BoolValue
value
<?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="imp" nsURI="http://imp.imp.imp/" nsPrefix="imp">
  <eClassifiers xsi:type="ecore:EClass" name="Stmt" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="Skip" eSuperTypes="#//Stmt"/>
  <eClassifiers xsi:type="ecore:EClass" name="Assign" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="exp" lowerBound="1" eType="#//Expr"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Expr" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="Block" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EReference" name="stmts" upperBound="-1"
        eType="#//Stmt" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="If" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EReference" name="cond" lowerBound="1" eType="#//Expr"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="lhs" lowerBound="1" eType="#//Stmt"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rhs" lowerBound="1" eType="#//Stmt"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="While" eSuperTypes="#//Stmt">
    <eStructuralFeatures xsi:type="ecore:EReference" name="cond" lowerBound="1" eType="#//Expr"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="body" lowerBound="1" eType="#//Stmt"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IntConst" eSuperTypes="#//Expr">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Var" eSuperTypes="#//Expr">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Unary" eSuperTypes="#//Expr">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//UnaryOp"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="expr" lowerBound="1" eType="#//Expr"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Binary" eSuperTypes="#//Expr">
    <eStructuralFeatures xsi:type="ecore:EReference" name="lhs" lowerBound="1" eType="#//Expr"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rhs" lowerBound="1" eType="#//Expr"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//BinaryOp"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="UnaryOp">
    <eLiterals name="NEGATE"/>
    <eLiterals name="NOT" value="1"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="BinaryOp">
    <eLiterals name="ADD"/>
    <eLiterals name="SUB" value="1"/>
    <eLiterals name="MUL" value="2"/>
    <eLiterals name="LT" value="3"/>
    <eLiterals name="LEQ" value="4"/>
    <eLiterals name="EQ" value="5"/>
    <eLiterals name="GEQ" value="6"/>
    <eLiterals name="GT" value="7"/>
    <eLiterals name="AND" value="8"/>
    <eLiterals name="OR" value="9"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Store">
    <eStructuralFeatures xsi:type="ecore:EReference" name="values" upperBound="-1"
        eType="#//StringToValueMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringToValueMap" instanceClassName="java.util.Map$Entry">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" lowerBound="1" eType="#//Value"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Value" abstract="true"/>
  <eClassifiers xsi:type="ecore:EClass" name="IntValue" eSuperTypes="#//Value">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BoolValue" eSuperTypes="#//Value">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"imp","nsURI":"http://imp.imp.imp/","name":"imp","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Stmt","instanceClass":null,"abstract":true,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Skip","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Assign","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Expr","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Block","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"If","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"While","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntConst","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Var","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Unary","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Binary","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"UnaryOp","instanceClass":null,"id":12,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"instanceClassName":null,"name":"BinaryOp","instanceClass":null,"id":13,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Store","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"StringToValueMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Value","instanceClass":null,"abstract":true,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntValue","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BoolValue","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"id":19,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":20,"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":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":21,"derived":false},{"id":22,"eClass":"EGenericType"},{"id":23,"eClass":"EGenericType"},{"id":24,"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":"stmts","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"id":26,"eClass":"EGenericType"},{"id":27,"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":"cond","changeable":true,"resolveProxies":true,"lowerBound":1,"id":28,"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":"lhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":29,"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":"rhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":30,"derived":false},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"id":33,"eClass":"EGenericType"},{"id":34,"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":"cond","changeable":true,"resolveProxies":true,"lowerBound":1,"id":35,"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":"body","changeable":true,"resolveProxies":true,"lowerBound":1,"id":36,"derived":false},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"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":40,"derived":false},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":43,"derived":false},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"op","changeable":true,"lowerBound":0,"iD":false,"id":46,"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":"expr","changeable":true,"resolveProxies":true,"lowerBound":1,"id":47,"derived":false},{"id":48,"eClass":"EGenericType"},{"id":49,"eClass":"EGenericType"},{"id":50,"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":"lhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":51,"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":"rhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":52,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"op","changeable":true,"lowerBound":0,"iD":false,"id":53,"derived":false},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"name":"NEGATE","id":58,"value":0,"literal":"NEGATE","eClass":"EEnumLiteral"},{"name":"NOT","id":59,"value":1,"literal":"NOT","eClass":"EEnumLiteral"},{"name":"ADD","id":60,"value":0,"literal":"ADD","eClass":"EEnumLiteral"},{"name":"SUB","id":61,"value":1,"literal":"SUB","eClass":"EEnumLiteral"},{"name":"MUL","id":62,"value":2,"literal":"MUL","eClass":"EEnumLiteral"},{"name":"LT","id":63,"value":3,"literal":"LT","eClass":"EEnumLiteral"},{"name":"LEQ","id":64,"value":4,"literal":"LEQ","eClass":"EEnumLiteral"},{"name":"EQ","id":65,"value":5,"literal":"EQ","eClass":"EEnumLiteral"},{"name":"GEQ","id":66,"value":6,"literal":"GEQ","eClass":"EEnumLiteral"},{"name":"GT","id":67,"value":7,"literal":"GT","eClass":"EEnumLiteral"},{"name":"AND","id":68,"value":8,"literal":"AND","eClass":"EEnumLiteral"},{"name":"OR","id":69,"value":9,"literal":"OR","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":"values","changeable":true,"resolveProxies":true,"lowerBound":0,"id":70,"derived":false},{"id":71,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"key","changeable":true,"lowerBound":0,"iD":false,"id":72,"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":73,"derived":false},{"id":74,"eClass":"EGenericType"},{"id":75,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"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":76,"derived":false},{"id":77,"eClass":"EGenericType"},{"id":78,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"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":79,"derived":false},{"id":80,"eClass":"EGenericType"},{"id":81,"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":1,"target":0},{"source":2,"target":0},{"source":2,"target":1},{"source":2,"target":19},{"source":19,"target":1},{"source":3,"target":0},{"source":3,"target":1},{"source":3,"target":20},{"source":3,"target":21},{"source":3,"target":22},{"source":20,"target":23},{"source":20,"target":3},{"source":21,"target":4},{"source":21,"target":24},{"source":21,"target":3},{"source":24,"target":4},{"source":22,"target":1},{"source":4,"target":0},{"source":5,"target":0},{"source":5,"target":1},{"source":5,"target":25},{"source":5,"target":26},{"source":25,"target":1},{"source":25,"target":27},{"source":25,"target":5},{"source":27,"target":1},{"source":26,"target":1},{"source":6,"target":0},{"source":6,"target":1},{"source":6,"target":28},{"source":6,"target":29},{"source":6,"target":30},{"source":6,"target":31},{"source":28,"target":4},{"source":28,"target":32},{"source":28,"target":6},{"source":32,"target":4},{"source":29,"target":1},{"source":29,"target":33},{"source":29,"target":6},{"source":33,"target":1},{"source":30,"target":1},{"source":30,"target":34},{"source":30,"target":6},{"source":34,"target":1},{"source":31,"target":1},{"source":7,"target":0},{"source":7,"target":1},{"source":7,"target":35},{"source":7,"target":36},{"source":7,"target":37},{"source":35,"target":4},{"source":35,"target":38},{"source":35,"target":7},{"source":38,"target":4},{"source":36,"target":1},{"source":36,"target":39},{"source":36,"target":7},{"source":39,"target":1},{"source":37,"target":1},{"source":8,"target":0},{"source":8,"target":4},{"source":8,"target":40},{"source":8,"target":41},{"source":40,"target":42},{"source":40,"target":8},{"source":41,"target":4},{"source":9,"target":0},{"source":9,"target":4},{"source":9,"target":43},{"source":9,"target":44},{"source":43,"target":45},{"source":43,"target":9},{"source":44,"target":4},{"source":10,"target":0},{"source":10,"target":4},{"source":10,"target":46},{"source":10,"target":47},{"source":10,"target":48},{"source":46,"target":12},{"source":46,"target":49},{"source":46,"target":10},{"source":49,"target":12},{"source":47,"target":4},{"source":47,"target":50},{"source":47,"target":10},{"source":50,"target":4},{"source":48,"target":4},{"source":11,"target":0},{"source":11,"target":4},{"source":11,"target":51},{"source":11,"target":52},{"source":11,"target":53},{"source":11,"target":54},{"source":51,"target":4},{"source":51,"target":55},{"source":51,"target":11},{"source":55,"target":4},{"source":52,"target":4},{"source":52,"target":56},{"source":52,"target":11},{"source":56,"target":4},{"source":53,"target":13},{"source":53,"target":57},{"source":53,"target":11},{"source":57,"target":13},{"source":54,"target":4},{"source":12,"target":0},{"source":12,"target":58},{"source":12,"target":59},{"source":58,"target":12},{"source":59,"target":12},{"source":13,"target":0},{"source":13,"target":60},{"source":13,"target":61},{"source":13,"target":62},{"source":13,"target":63},{"source":13,"target":64},{"source":13,"target":65},{"source":13,"target":66},{"source":13,"target":67},{"source":13,"target":68},{"source":13,"target":69},{"source":60,"target":13},{"source":61,"target":13},{"source":62,"target":13},{"source":63,"target":13},{"source":64,"target":13},{"source":65,"target":13},{"source":66,"target":13},{"source":67,"target":13},{"source":68,"target":13},{"source":69,"target":13},{"source":14,"target":0},{"source":14,"target":70},{"source":70,"target":15},{"source":70,"target":71},{"source":70,"target":14},{"source":71,"target":15},{"source":15,"target":0},{"source":15,"target":72},{"source":15,"target":73},{"source":72,"target":74},{"source":72,"target":15},{"source":73,"target":16},{"source":73,"target":75},{"source":73,"target":15},{"source":75,"target":16},{"source":16,"target":0},{"source":17,"target":0},{"source":17,"target":16},{"source":17,"target":76},{"source":17,"target":77},{"source":76,"target":78},{"source":76,"target":17},{"source":77,"target":16},{"source":18,"target":0},{"source":18,"target":16},{"source":18,"target":79},{"source":18,"target":80},{"source":79,"target":81},{"source":79,"target":18},{"source":80,"target":16}],"multigraph":true}