SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedDefinitionMatch3( SubClassInclusionExpandedDefinitionMatch2 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); ElkClass firstSubsumer = firstPremiseMatch.getSubsumerElkClassMatch(); if (!parent.getDefinedClassMatch().equals(firstSubsumer)) { throw new ElkMatchException( getParent().getParent().getParent().getDefinedClass(), firstSubsumer); } this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }