@Override public SubClassInclusionComposedEntityMatch1 getSubClassInclusionComposedEntityMatch1( SubClassInclusionComposedEntity parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedEntityMatch1(parent, conclusionMatch); }
SubClassInclusionComposedEntityMatch1( SubClassInclusionComposedEntity parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); this.conclusionSubsumerMatch_ = conclusionMatch .getSubsumerIndexedClassEntityMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), getOriginMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), (SubsumerMatch) conclusionSubsumerMatch_); }
SubClassInclusionComposedEntityMatch1( SubClassInclusionComposedEntity parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); this.conclusionSubsumerMatch_ = conclusionMatch .getSubsumerIndexedClassEntityMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
@Override public SubClassInclusionComposedEntityMatch1 getSubClassInclusionComposedEntityMatch1( SubClassInclusionComposedEntity parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedEntityMatch1(parent, conclusionMatch); }
@Override public Void visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch2 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch2, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch2)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }