public PropertyRange getSecondPremise(PropertyRange.Factory factory) { return factory.getPropertyRange(premiseSubsumer_.getProperty(), getSubsumer()); }
public PropertyRange getSecondPremise(PropertyRange.Factory factory) { return factory.getPropertyRange(premiseSubsumer_.getProperty(), getSubsumer()); }
public PropertyRange getSecondPremise(PropertyRange.Factory factory) { return factory.getPropertyRange(premiseSubsumer_.getProperty(), getSubsumer()); }
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)); }