@Override public SubClassInclusionObjectHasSelfPropertyRangeMatch1 getSubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionObjectHasSelfPropertyRangeMatch1(parent, conclusionMatch); }
SubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
public SubClassInclusionDecomposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getFirstPremise(factory), getOriginMatch()); }
@Override public String visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionObjectHasSelfPropertyRangeMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public SubClassInclusionDecomposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedOriginMatch(), getRangeMatch()); }
@Override public SubClassInclusionObjectHasSelfPropertyRangeMatch1 getSubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionObjectHasSelfPropertyRangeMatch1(parent, conclusionMatch); }
SubClassInclusionDecomposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getConclusion(factory), getOriginMatch()); }
public PropertyRangeMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropertyRangeMatch1( getParent().getParent().getSecondPremise(factory)); }
SubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch(), factory.getObjectHasSelf(getPropertyMatch())); }
@Override public SubClassInclusionObjectHasSelfPropertyRangeMatch1 getSubClassInclusionObjectHasSelfPropertyRangeMatch1( SubClassInclusionObjectHasSelfPropertyRange parent, SubClassInclusionDecomposedMatch1 conclusionMatch) { return new SubClassInclusionObjectHasSelfPropertyRangeMatch1(parent, conclusionMatch); }