@Override public String visit(SubClassInclusionComposedEntity inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), getSubsumer()); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ClassConclusion visit(SubClassInclusionComposedEntity inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionComposedEntity inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
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 apply(IndexedClassEntity premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionComposedEntity(premises.getRoot(), premise)); }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }
@Override public ClassConclusion visit(SubClassInclusionComposedEntity inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionComposedEntity inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
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 apply(IndexedClassEntity premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionComposedEntity(premises.getRoot(), premise)); }
@Override public IndexedContextRoot getOrigin() { return getDestination(); }
@Override public String visit(SubClassInclusionComposedEntity inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getPremise(factory_)); }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), getSubsumer()); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getPremise(factory); default: return failGetPremise(index); } }
@Override public ClassConclusion visit(SubClassInclusionComposedEntity inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(SubClassInclusionComposedEntity inference) { conclusionVisitor_.visit(inference.getPremise(conclusionFactory_)); return null; }
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 apply(IndexedClassEntity premise, ContextPremises premises, ClassInferenceProducer producer) { producer.produce(new SubClassInclusionComposedEntity(premises.getRoot(), premise)); }