oclstdlib
Boolean
java.lang.Boolean
java.lang.Boolean
Integer
org.eclipse.ocl.pivot.values.IntegerValue
org.eclipse.ocl.pivot.values.IntegerValue
Real
org.eclipse.ocl.pivot.values.RealValue
org.eclipse.ocl.pivot.values.RealValue
String
java.lang.String
java.lang.String
UnlimitedNatural
org.eclipse.ocl.pivot.values.UnlimitedNaturalValue
org.eclipse.ocl.pivot.values.UnlimitedNaturalValue
Bag
org.eclipse.ocl.pivot.values.Bag
org.eclipse.ocl.pivot.values.Bag
T
Collection
java.util.Collection
java.util.Collection
T
elementType
lower
upper
OclAny
java.lang.Object
java.lang.Object
OclComparable
java.lang.Object
java.lang.Object
OclElement
java.lang.Object
java.lang.Object
oclContainer
oclContents
OclInvalid
java.lang.Object
java.lang.Object
OclLambda
java.lang.Object
java.lang.Object
OclMessage
java.lang.Object
java.lang.Object
OclState
java.lang.Object
java.lang.Object
OclSummable
java.lang.Object
java.lang.Object
OclTuple
java.lang.Object
java.lang.Object
OclType
java.lang.Object
java.lang.Object
OclVoid
java.lang.Object
java.lang.Object
OrderedCollection
java.util.Collection
java.util.Collection
T
OrderedSet
org.eclipse.ocl.pivot.values.OrderedSet
org.eclipse.ocl.pivot.values.OrderedSet
T
Sequence
java.util.List
java.util.List
T
Set
java.util.Set
java.util.Set
T
UniqueCollection
java.util.Collection
java.util.Collection
T
<?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="oclstdlib" nsURI="http://www.eclipse.org/ocl/2015/Library" nsPrefix="oclstdlib">
  <eAnnotations source="http://www.eclipse.org/OCL/ASLibrary"/>
  <eClassifiers xsi:type="ecore:EDataType" name="Boolean" instanceClassName="java.lang.Boolean"/>
  <eClassifiers xsi:type="ecore:EDataType" name="Integer" instanceClassName="org.eclipse.ocl.pivot.values.IntegerValue"/>
  <eClassifiers xsi:type="ecore:EDataType" name="Real" instanceClassName="org.eclipse.ocl.pivot.values.RealValue"/>
  <eClassifiers xsi:type="ecore:EDataType" name="String" instanceClassName="java.lang.String"/>
  <eClassifiers xsi:type="ecore:EDataType" name="UnlimitedNatural" instanceClassName="org.eclipse.ocl.pivot.values.UnlimitedNaturalValue"/>
  <eClassifiers xsi:type="ecore:EClass" name="Bag" instanceClassName="org.eclipse.ocl.pivot.values.Bag"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//Collection">
      <eTypeArguments eTypeParameter="#//Bag/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Collection" instanceClassName="java.util.Collection"
      abstract="true" interface="true" eSuperTypes="#//OclAny">
    <eTypeParameters name="T"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="elementType" lowerBound="1">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Evaluates to the type of the collection elements.&#xA;"/>
      </eAnnotations>
      <eGenericType eTypeParameter="#//Collection/T"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="lower" lowerBound="1" eType="#//Integer">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Evaluates to the lower bound on the number of collection elements.&#xA;"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="upper" lowerBound="1" eType="#//Integer">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Evaluates to the upper bound on the number of collection elements.&#xA;"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OclAny" instanceClassName="java.lang.Object"
      abstract="true" interface="true">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="This Ecore representation of the pivot OclAny exists solely to support serialization of Ecore metamodels.&#xA;True functionality is only available once converted to a Pivot model."/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OclComparable" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclElement" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny">
    <eStructuralFeatures xsi:type="ecore:EReference" name="oclContainer" eType="#//OclElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The object for which self is a composed content or null if there is no such object.&#xA;"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="oclContents" ordered="false"
        upperBound="-1" eType="#//OclElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The composed contents of self."/>
      </eAnnotations>
      <eAnnotations source="http://www.eclipse.org/OCL/Collection">
        <details key="nullFree" value="true"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OclInvalid" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclVoid"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclLambda" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclMessage" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclState" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclSummable" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclTuple" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclType" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="OclVoid" instanceClassName="java.lang.Object"
      abstract="true" interface="true" eSuperTypes="#//OclAny"/>
  <eClassifiers xsi:type="ecore:EClass" name="OrderedCollection" instanceClassName="java.util.Collection"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//Collection">
      <eTypeArguments eTypeParameter="#//OrderedCollection/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="OrderedSet" instanceClassName="org.eclipse.ocl.pivot.values.OrderedSet"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//OrderedCollection">
      <eTypeArguments eTypeParameter="#//OrderedSet/T"/>
    </eGenericSuperTypes>
    <eGenericSuperTypes eClassifier="#//UniqueCollection">
      <eTypeArguments eTypeParameter="#//OrderedSet/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Sequence" instanceClassName="java.util.List"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//OrderedCollection">
      <eTypeArguments eTypeParameter="#//Sequence/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Set" instanceClassName="java.util.Set"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//UniqueCollection">
      <eTypeArguments eTypeParameter="#//Set/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="UniqueCollection" instanceClassName="java.util.Collection"
      abstract="true" interface="true">
    <eTypeParameters name="T"/>
    <eGenericSuperTypes eClassifier="#//Collection">
      <eTypeArguments eTypeParameter="#//UniqueCollection/T"/>
    </eGenericSuperTypes>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"oclstdlib","nsURI":"http://www.eclipse.org/ocl/2015/Library","name":"oclstdlib","id":0,"eClass":"EPackage"},{"instanceTypeName":"java.lang.Boolean","defaultValue":null,"instanceClassName":"java.lang.Boolean","name":"Boolean","instanceClass":"java.lang.Boolean","id":1,"serializable":true,"eClass":"EDataType"},{"instanceTypeName":"org.eclipse.ocl.pivot.values.IntegerValue","defaultValue":null,"instanceClassName":"org.eclipse.ocl.pivot.values.IntegerValue","name":"Integer","instanceClass":null,"id":2,"serializable":true,"eClass":"EDataType"},{"instanceTypeName":"org.eclipse.ocl.pivot.values.RealValue","defaultValue":null,"instanceClassName":"org.eclipse.ocl.pivot.values.RealValue","name":"Real","instanceClass":null,"id":3,"serializable":true,"eClass":"EDataType"},{"instanceTypeName":"java.lang.String","defaultValue":null,"instanceClassName":"java.lang.String","name":"String","instanceClass":"java.lang.String","id":4,"serializable":true,"eClass":"EDataType"},{"instanceTypeName":"org.eclipse.ocl.pivot.values.UnlimitedNaturalValue","defaultValue":null,"instanceClassName":"org.eclipse.ocl.pivot.values.UnlimitedNaturalValue","name":"UnlimitedNatural","instanceClass":null,"id":5,"serializable":true,"eClass":"EDataType"},{"instanceTypeName":"org.eclipse.ocl.pivot.values.Bag","defaultValue":null,"instanceClassName":"org.eclipse.ocl.pivot.values.Bag","name":"Bag","instanceClass":null,"abstract":true,"id":6,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.util.Collection","defaultValue":null,"instanceClassName":"java.util.Collection","name":"Collection","instanceClass":"java.util.Collection","abstract":true,"id":7,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclAny","instanceClass":"java.lang.Object","abstract":true,"id":8,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclComparable","instanceClass":"java.lang.Object","abstract":true,"id":9,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclElement","instanceClass":"java.lang.Object","abstract":true,"id":10,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclInvalid","instanceClass":"java.lang.Object","abstract":true,"id":11,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclLambda","instanceClass":"java.lang.Object","abstract":true,"id":12,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclMessage","instanceClass":"java.lang.Object","abstract":true,"id":13,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclState","instanceClass":"java.lang.Object","abstract":true,"id":14,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclSummable","instanceClass":"java.lang.Object","abstract":true,"id":15,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclTuple","instanceClass":"java.lang.Object","abstract":true,"id":16,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclType","instanceClass":"java.lang.Object","abstract":true,"id":17,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.lang.Object","defaultValue":null,"instanceClassName":"java.lang.Object","name":"OclVoid","instanceClass":"java.lang.Object","abstract":true,"id":18,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.util.Collection","defaultValue":null,"instanceClassName":"java.util.Collection","name":"OrderedCollection","instanceClass":"java.util.Collection","abstract":true,"id":19,"interface":true,"eClass":"EClass"},{"instanceTypeName":"org.eclipse.ocl.pivot.values.OrderedSet","defaultValue":null,"instanceClassName":"org.eclipse.ocl.pivot.values.OrderedSet","name":"OrderedSet","instanceClass":null,"abstract":true,"id":20,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.util.List","defaultValue":null,"instanceClassName":"java.util.List","name":"Sequence","instanceClass":"java.util.List","abstract":true,"id":21,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.util.Set","defaultValue":null,"instanceClassName":"java.util.Set","name":"Set","instanceClass":"java.util.Set","abstract":true,"id":22,"interface":true,"eClass":"EClass"},{"instanceTypeName":"java.util.Collection","defaultValue":null,"instanceClassName":"java.util.Collection","name":"UniqueCollection","instanceClass":"java.util.Collection","abstract":true,"id":23,"interface":true,"eClass":"EClass"},{"name":"T","id":24,"eClass":"ETypeParameter"},{"id":25,"eClass":"EGenericType"},{"id":26,"eClass":"EGenericType"},{"name":"T","id":27,"eClass":"ETypeParameter"},{"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":"elementType","changeable":true,"resolveProxies":true,"lowerBound":1,"id":28,"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":"lower","changeable":true,"lowerBound":1,"iD":false,"id":29,"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":"upper","changeable":true,"lowerBound":1,"iD":false,"id":30,"derived":false},{"id":31,"eClass":"EGenericType"},{"id":32,"eClass":"EGenericType"},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"id":35,"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":"oclContainer","changeable":true,"resolveProxies":true,"lowerBound":0,"id":36,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"oclContents","changeable":true,"resolveProxies":true,"lowerBound":0,"id":37,"derived":false},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"name":"T","id":49,"eClass":"ETypeParameter"},{"id":50,"eClass":"EGenericType"},{"id":51,"eClass":"EGenericType"},{"name":"T","id":52,"eClass":"ETypeParameter"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"name":"T","id":57,"eClass":"ETypeParameter"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"name":"T","id":60,"eClass":"ETypeParameter"},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"name":"T","id":63,"eClass":"ETypeParameter"},{"id":64,"eClass":"EGenericType"},{"id":65,"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":1,"target":0},{"source":2,"target":0},{"source":3,"target":0},{"source":4,"target":0},{"source":5,"target":0},{"source":6,"target":0},{"source":6,"target":24},{"source":6,"target":7},{"source":6,"target":25},{"source":25,"target":26},{"source":25,"target":7},{"source":26,"target":24},{"source":7,"target":0},{"source":7,"target":27},{"source":7,"target":8},{"source":7,"target":28},{"source":7,"target":29},{"source":7,"target":30},{"source":7,"target":31},{"source":28,"target":32},{"source":28,"target":7},{"source":32,"target":27},{"source":29,"target":2},{"source":29,"target":33},{"source":29,"target":7},{"source":33,"target":2},{"source":30,"target":2},{"source":30,"target":34},{"source":30,"target":7},{"source":34,"target":2},{"source":31,"target":8},{"source":8,"target":0},{"source":9,"target":0},{"source":9,"target":8},{"source":9,"target":35},{"source":35,"target":8},{"source":10,"target":0},{"source":10,"target":8},{"source":10,"target":36},{"source":10,"target":37},{"source":10,"target":38},{"source":36,"target":10},{"source":36,"target":39},{"source":36,"target":10},{"source":39,"target":10},{"source":37,"target":10},{"source":37,"target":40},{"source":37,"target":10},{"source":40,"target":10},{"source":38,"target":8},{"source":11,"target":0},{"source":11,"target":18},{"source":11,"target":41},{"source":41,"target":18},{"source":12,"target":0},{"source":12,"target":8},{"source":12,"target":42},{"source":42,"target":8},{"source":13,"target":0},{"source":13,"target":8},{"source":13,"target":43},{"source":43,"target":8},{"source":14,"target":0},{"source":14,"target":8},{"source":14,"target":44},{"source":44,"target":8},{"source":15,"target":0},{"source":15,"target":8},{"source":15,"target":45},{"source":45,"target":8},{"source":16,"target":0},{"source":16,"target":8},{"source":16,"target":46},{"source":46,"target":8},{"source":17,"target":0},{"source":17,"target":10},{"source":17,"target":47},{"source":47,"target":10},{"source":18,"target":0},{"source":18,"target":8},{"source":18,"target":48},{"source":48,"target":8},{"source":19,"target":0},{"source":19,"target":49},{"source":19,"target":7},{"source":19,"target":50},{"source":50,"target":51},{"source":50,"target":7},{"source":51,"target":49},{"source":20,"target":0},{"source":20,"target":52},{"source":20,"target":19},{"source":20,"target":23},{"source":20,"target":53},{"source":20,"target":54},{"source":53,"target":55},{"source":53,"target":19},{"source":55,"target":52},{"source":54,"target":56},{"source":54,"target":23},{"source":56,"target":52},{"source":21,"target":0},{"source":21,"target":57},{"source":21,"target":19},{"source":21,"target":58},{"source":58,"target":59},{"source":58,"target":19},{"source":59,"target":57},{"source":22,"target":0},{"source":22,"target":60},{"source":22,"target":23},{"source":22,"target":61},{"source":61,"target":62},{"source":61,"target":23},{"source":62,"target":60},{"source":23,"target":0},{"source":23,"target":63},{"source":23,"target":7},{"source":23,"target":64},{"source":64,"target":65},{"source":64,"target":7},{"source":65,"target":63}],"multigraph":true}