@Override public void apply(DisjointSubsumer premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpressionList disjoint = premise.getDisjointExpressions(); Set<? extends Integer> disjointSubsumerPositions = premises .getSubsumerPositions(disjoint); // should not be null if (disjointSubsumerPositions.size() > 1) { // at least two disjoint members were derived int lastPos = premise.getPosition(); for (int otherPos : disjointSubsumerPositions) { if (otherPos != lastPos) { producer.produce(new ClassInconsistencyOfDisjointSubsumers( premise, otherPos)); } } } }
@Override public void apply(DisjointSubsumer premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpressionList disjoint = premise.getDisjointExpressions(); Set<? extends Integer> disjointSubsumerPositions = premises .getSubsumerPositions(disjoint); // should not be null if (disjointSubsumerPositions.size() > 1) { // at least two disjoint members were derived int lastPos = premise.getPosition(); for (int otherPos : disjointSubsumerPositions) { if (otherPos != lastPos) { producer.produce(new ClassInconsistencyOfDisjointSubsumers( premise, otherPos)); } } } }
@Override public void apply(DisjointSubsumer premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpressionList disjoint = premise.getDisjointExpressions(); Set<? extends Integer> disjointSubsumerPositions = premises .getSubsumerPositions(disjoint); // should not be null if (disjointSubsumerPositions.size() > 1) { // at least two disjoint members were derived int lastPos = premise.getPosition(); for (int otherPos : disjointSubsumerPositions) { if (otherPos != lastPos) { producer.produce(new ClassInconsistencyOfDisjointSubsumers( premise, otherPos)); } } } }