@Override public SubClassInclusionComposedObjectIntersectionOfMatch3 getSubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedObjectIntersectionOfMatch3(parent, firstPremiseMatch); }
SubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedExtendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getExtendedExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch();
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getExtendedExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch();
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getExtendedExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch();
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedExtendedOriginMatch()); }
SubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedExtendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public SubClassInclusionComposedObjectIntersectionOfMatch3 getSubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedObjectIntersectionOfMatch3(parent, firstPremiseMatch); }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
SubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { super(parent); this.extendedExtendedOriginMatch_ = firstPremiseMatch .getExtendedDestinationMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public SubClassInclusionComposedObjectIntersectionOfMatch3 getSubClassInclusionComposedObjectIntersectionOfMatch3( SubClassInclusionComposedObjectIntersectionOfMatch2 parent, SubClassInclusionComposedMatch2 firstPremiseMatch) { return new SubClassInclusionComposedObjectIntersectionOfMatch3(parent, firstPremiseMatch); }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }