SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedSecondConjunctMatch2( SubClassInclusionDecomposedSecondConjunctMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); IndexedObjectIntersectionOfMatch premiseSubsumerMatch = premiseMatch .getSubsumerIndexedObjectIntersectionOfMatch(); this.fullSubsumerMatch_ = premiseSubsumerMatch.getFullValue(); this.premiseSubsumerPrefixLength_ = premiseSubsumerMatch .getPrefixLength(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }