SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }