ParamView.xml revision 1600a2e47d5ed599df94d20411f0767fb6d68587
<?xml version='1.0' ?>
<DGraph filename="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het" nextlinkid="18">
<DGNode name="s__IU1" refname="s" relxpath="/Imports/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:3.29">sort i</Symbol>
</Declarations>
</DGNode>
<DGNode name="s__PU1" refname="s" relxpath="/Parameters/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:3.14">sort p</Symbol>
</Declarations>
</DGNode>
<DGNode name="s" refname="s" relxpath="/">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:3.39">sort s</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__IU1" refname="v" relxpath="/Imports/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:5.28">sort j</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__PU1" refname="v" relxpath="/Parameters/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:5.13">sort r</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__S" refname="v" relxpath="/Source">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:5.39">sort p</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__T" refname="v" relxpath="/Target">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:5.51">sort q</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__PU1" refname="s2" relxpath="/Parameters/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:8.15">sort p2</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__A1V" refname="s" relxpath="/Parameters/Union/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Signature>sorts i, p</Signature>
</DGNode>
<DGNode name="s2__A1A1" refname="s2" relxpath="/Actuals/Spec[1]/Actuals/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Declarations>
<Symbol range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:8.35">sort t</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__A1" refname="s2" relxpath="/Actuals/Spec[1]">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Signature>sorts j, q, t</Signature>
</DGNode>
<DGNode name="s2" refname="s2" relxpath="/">
<ConsStatus>Cons(ConsistentByNoSentences)</ConsStatus>
<Signature>sorts i, j, p2, q, s, t</Signature>
</DGNode>
<DGLink source="s__IU1" target="s__PU1" linkid="0">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__IU1" target="s2__A1V" linkid="5">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s" linkid="1">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s2__A1V" linkid="7">
<Type>GlobalProvenThmInc</Type>
<Status>Proven</Status>
<Rule>Global-Decomposition</Rule>
<ProofBasis linkref="5" />
<ProofBasis linkref="15" />
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s2__A1V" linkid="15">
<Type>LocalProvenThmInc</Type>
<Status>Proven</Status>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s" target="s2" linkid="13">
<Type>GlobalDef</Type>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__IU1" target="v__PU1" linkid="2">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__IU1" target="s2__A1A1" linkid="8">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__PU1" target="v__T" linkid="3">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__PU1" target="s2__A1A1" linkid="9">
<Type>GlobalProvenThm</Type>
<Status>Proven</Status>
<Rule>Global-Decomposition</Rule>
<ProofBasis linkref="8" />
<ProofBasis linkref="16" />
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__PU1" target="s2__A1A1" linkid="16">
<Type>LocalProvenThm</Type>
<Status>Proven</Status>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="v__T" linkid="4">
<Type>GlobalProvenThm</Type>
<Status>Proven</Status>
<Rule>Global-Decomposition</Rule>
<ProofBasis linkref="17" />
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="v__T" linkid="17">
<Type>LocalProvenThm</Type>
<Status>Proven</Status>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="s2__A1V" linkid="6">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__T" target="s2__A1" linkid="11">
<Type>GlobalDef</Type>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="s2__PU1" target="s2" linkid="14">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s2__A1A1" target="s2__A1" linkid="10">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s2__A1" target="s2" linkid="12">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<SPEC-DEFN name="s" range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:3.6" formal-param="s__PU1" />
<SPEC-DEFN name="s2" range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:8.6-8.7" formal-param="s2__PU1" />
<VIEW-DEFN name="v" range="/local/home/maeder/haskell/Hets/test/ParameterSpecTest/ParamView.het:5.6" formal-param="v__PU1" source="v__S" target="v__T">
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</VIEW-DEFN>
</DGraph>