org.eclipse.opencert.sam.arg/model/arg.trace

<?xml version="1.0" encoding="UTF-8"?>
<trace:TraceModel
    xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI"
    xmlns:trace="http://www.eclipse.org/gmf/2006/Trace">
  <nodeTraces
      visualID="2001"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Claim') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argument')">
    <nodeLabelTraces
        visualID="5003"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5004"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2002"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Agreement') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argumentation')">
    <nodeLabelTraces
        visualID="5005"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5006"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2003"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'ArgumentReasoning') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argument')">
    <nodeLabelTraces
        visualID="5007"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5008"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2004"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Argumentation') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argumentation')">
    <nodeLabelTraces
        visualID="5009"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5010"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2005"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'InformationElementCitation') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argument')">
    <nodeLabelTraces
        visualID="5011"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5012"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2006"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'ArgumentElementCitation') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argument')">
    <nodeLabelTraces
        visualID="5013"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5014"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5015"
        queryText="true"/>
  </nodeTraces>
  <nodeTraces
      visualID="2007"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Choice') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Case') and _containmentMF_.name = 'argument')">
    <nodeLabelTraces
        visualID="5016"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5017"
        queryText="true"/>
  </nodeTraces>
  <childNodeTraces
      visualID="3001"
      queryText="(let _eClass_:ecore::EClass = modelFacet.metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Choice') and (let _containmentMF_:ecore::EStructuralFeature = modelFacet.containmentMetaFeature.ecoreFeature in (let _eClass_:ecore::EClass = _containmentMF_.eContainingClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'Claim') and _containmentMF_.name = 'choice')">
    <nodeLabelTraces
        visualID="5001"
        queryText="true"/>
    <nodeLabelTraces
        visualID="5002"
        queryText="true"/>
  </childNodeTraces>
  <linkTraces
      visualID="4001"
      queryText="modelFacet.oclIsKindOf(gmfgen::TypeLinkModelFacet) and (let _eClass_:ecore::EClass = modelFacet.oclAsType(gmfgen::TypeLinkModelFacet).metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'AssertedInference')">
    <linkLabelTraces
        visualID="6001"
        queryText="true"/>
  </linkTraces>
  <linkTraces
      visualID="4002"
      queryText="modelFacet.oclIsKindOf(gmfgen::TypeLinkModelFacet) and (let _eClass_:ecore::EClass = modelFacet.oclAsType(gmfgen::TypeLinkModelFacet).metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'AssertedEvidence')">
    <linkLabelTraces
        visualID="6002"
        queryText="true"/>
  </linkTraces>
  <linkTraces
      visualID="4003"
      queryText="modelFacet.oclIsKindOf(gmfgen::TypeLinkModelFacet) and (let _eClass_:ecore::EClass = modelFacet.oclAsType(gmfgen::TypeLinkModelFacet).metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'AssertedContext')">
    <linkLabelTraces
        visualID="6003"
        queryText="true"/>
  </linkTraces>
  <linkTraces
      visualID="4004"
      queryText="modelFacet.oclIsKindOf(gmfgen::TypeLinkModelFacet) and (let _eClass_:ecore::EClass = modelFacet.oclAsType(gmfgen::TypeLinkModelFacet).metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'AssertedChallenge')"/>
  <linkTraces
      visualID="4005"
      queryText="modelFacet.oclIsKindOf(gmfgen::TypeLinkModelFacet) and (let _eClass_:ecore::EClass = modelFacet.oclAsType(gmfgen::TypeLinkModelFacet).metaClass.ecoreClass in _eClass_.ePackage.nsURI = 'arg' and _eClass_.name = 'AssertedCounterEvidence')"/>
</trace:TraceModel>