ForwardLinkOfObjectHasSelfMatch2(ForwardLinkOfObjectHasSelfMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); ElkObjectHasSelf existential = premiseMatch .getSubsumerIndexedObjectHasSelfMatch(); if (!parent.getForwardRelationMatch() .equals(existential.getProperty())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), existential); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectHasSelfMatch2(ForwardLinkOfObjectHasSelfMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); ElkObjectHasSelf existential = premiseMatch .getSubsumerIndexedObjectHasSelfMatch(); if (!parent.getForwardRelationMatch() .equals(existential.getProperty())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), existential); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectHasSelfMatch2(ForwardLinkOfObjectHasSelfMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); ElkObjectHasSelf existential = premiseMatch .getSubsumerIndexedObjectHasSelfMatch(); if (!parent.getForwardRelationMatch() .equals(existential.getProperty())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), existential); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectHasSelfMatch1(ForwardLinkOfObjectHasSelf parent, ForwardLinkMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectHasSelfMatch1(ForwardLinkOfObjectHasSelf parent, ForwardLinkMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectHasSelfMatch1(ForwardLinkOfObjectHasSelf parent, ForwardLinkMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }