ClassInconsistencyOfDisjointSubsumersMatch3( ClassInconsistencyOfDisjointSubsumersMatch2 parent, DisjointSubsumerMatch2 secondPremiseMatch) { super(parent); if (!secondPremiseMatch.getDisjointExpressionsMatch() .equals(getParent().getDisjointExpressionsMatch())) { throw new ElkMatchException( parent.getParent().getParent().getDisjointExpressions(), secondPremiseMatch.getDisjointExpressionsMatch()); } this.extendedExtendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
ClassInconsistencyOfDisjointSubsumersMatch3( ClassInconsistencyOfDisjointSubsumersMatch2 parent, DisjointSubsumerMatch2 secondPremiseMatch) { super(parent); if (!secondPremiseMatch.getDisjointExpressionsMatch() .equals(getParent().getDisjointExpressionsMatch())) { throw new ElkMatchException( parent.getParent().getParent().getDisjointExpressions(), secondPremiseMatch.getDisjointExpressionsMatch()); } this.extendedExtendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
ClassInconsistencyOfDisjointSubsumersMatch3( ClassInconsistencyOfDisjointSubsumersMatch2 parent, DisjointSubsumerMatch2 secondPremiseMatch) { super(parent); if (!secondPremiseMatch.getDisjointExpressionsMatch() .equals(getParent().getDisjointExpressionsMatch())) { throw new ElkMatchException( parent.getParent().getParent().getDisjointExpressions(), secondPremiseMatch.getDisjointExpressionsMatch()); } this.extendedExtendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }