SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch2( SubClassInclusionObjectHasSelfPropertyRangeMatch1 parent, SubClassInclusionDecomposedMatch2 firstPremiseMatch) { super(parent); this.extendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); ElkObjectHasSelf premiseSubsumerMatch = firstPremiseMatch .getSubsumerIndexedObjectHasSelfMatch(); ElkObjectPropertyExpression premisePropertyMatch = premiseSubsumerMatch .getProperty(); if (premisePropertyMatch instanceof ElkObjectProperty) { this.propertyMatch_ = (ElkObjectProperty) premisePropertyMatch; } else { throw new ElkMatchException(parent.getParent().getSubsumer(), premiseSubsumerMatch); } checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }