blob: 0b4b46d4bcae238ee03c5184a765ba5ab6ef72ce [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<Document version="1.0">
<!--Generated by Henshin on 2020/06/24 10:33:31-->
<GraphTransformationSystem ID="I0" name="GraGra">
<TaggedValue Tag="AttrHandler" TagValue="Java Expr">
<TaggedValue Tag="Package" TagValue="java.lang"/>
<TaggedValue Tag="Package" TagValue="java.util"/>
<TaggedValue Tag="Package" TagValue="com.objectspace.jgl"/>
</TaggedValue>
<TaggedValue Tag="CSP" TagValue="true"/>
<TaggedValue Tag="injective" TagValue="true"/>
<TaggedValue Tag="dangling" TagValue="true"/>
<TaggedValue Tag="NACs" TagValue="true"/>
<TaggedValue Tag="PACs" TagValue="true"/>
<TaggedValue Tag="TypeGraphLevel" TagValue="ENABLED_MAX"/>
<Types>
<NodeType ID="I2" abstract="false" name="Fleet%:RECT:java.awt.Color[r=0,g=0,b=0]:[NODE]:"/>
<NodeType ID="I4" abstract="true" name="Vehicle%:RECT:java.awt.Color[r=255,g=0,b=0]:[NODE]:"/>
<NodeType ID="I6" abstract="false" name="MotorVehicle%:RECT:java.awt.Color[r=0,g=0,b=255]:[NODE]:">
<Parent pID="I4"/>
</NodeType>
<NodeType ID="I8" abstract="false" name="Person%:RECT:java.awt.Color[r=128,g=0,b=128]:[NODE]:"/>
<NodeType ID="I10" abstract="false" name="Driver%:RECT:java.awt.Color[r=128,g=128,b=0]:[NODE]:">
<Parent pID="I8"/>
</NodeType>
<EdgeType ID="I12" abstract="false" name="vehicles%:SOLID_LINE:java.awt.Color[r=0,g=0,b=0]:[EDGE]:"/>
<EdgeType ID="I14" abstract="false" name="driver%:SOLID_LINE:java.awt.Color[r=0,g=0,b=0]:[EDGE]:"/>
<EdgeType ID="I16" abstract="false" name="owner%:SOLID_LINE:java.awt.Color[r=0,g=0,b=0]:[EDGE]:"/>
<EdgeType ID="I18" abstract="false" name="vehicleOwnership%:SOLID_LINE:java.awt.Color[r=0,g=0,b=0]:[EDGE]:"/>
<Graph ID="I1" kind="TG" name="TypeGraph">
<Node ID="I3" type="I2"/>
<Node ID="I5" type="I4"/>
<Node ID="I7" type="I6"/>
<Node ID="I9" type="I8"/>
<Node ID="I11" type="I10"/>
<Edge ID="I13" source="I3" sourcemax="1" sourcemin="0" target="I5" targetmin="0" type="I12"/>
<Edge ID="I15" source="I5" target="I11" targetmax="1" targetmin="0" type="I14"/>
<Edge ID="I17" source="I5" sourcemax="-1" sourcemin="0" target="I9" targetmax="1" targetmin="1" type="I16"/>
<Edge ID="I19" source="I9" sourcemax="1" sourcemin="1" target="I5" targetmin="0" type="I18"/>
</Graph>
</Types>
<Rule ID="I20" formula="true" name="assignVehicleOwnershipToPerson">
<Graph ID="I21" kind="LHS" name="Left">
<Node ID="I22" type="I8"/>
<Node ID="I23" type="I4"/>
</Graph>
<Graph ID="I24" kind="RHS" name="Right">
<Node ID="I25" type="I8"/>
<Node ID="I26" type="I4"/>
<Edge ID="I27" source="I25" target="I26" type="I18"/>
<Edge ID="I28" source="I26" target="I25" type="I16"/>
</Graph>
<Morphism name="assignVehicleOwnershipToPerson">
<Mapping image="I25" orig="I22"/>
<Mapping image="I26" orig="I23"/>
</Morphism>
<ApplCondition/>
</Rule>
<Rule ID="I29" formula="true" name="getMotorVehicleInOwnershipOfPerson">
<Graph ID="I30" kind="LHS" name="Left">
<Node ID="I31" type="I6"/>
<Node ID="I32" type="I8"/>
<Edge ID="I33" source="I32" target="I31" type="I18"/>
</Graph>
<Graph ID="I34" kind="RHS" name="Right">
<Node ID="I35" type="I6"/>
<Node ID="I36" type="I8"/>
<Edge ID="I37" source="I36" target="I35" type="I18"/>
</Graph>
<Morphism name="getMotorVehicleInOwnershipOfPerson">
<Mapping image="I35" orig="I31"/>
<Mapping image="I36" orig="I32"/>
<Mapping image="I37" orig="I33"/>
</Morphism>
<ApplCondition/>
</Rule>
</GraphTransformationSystem>
</Document>