@Override public void apply(IndexedClass premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpression definedExpression = getDefinition(premise); if (definedExpression == null) return; producer.produce(new SubClassInclusionExpandedDefinition(premises.getRoot(), premise, definedExpression, getDefinitionReason(premise))); }
@Override public void apply(IndexedClass premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpression definedExpression = getDefinition(premise); if (definedExpression == null) return; producer.produce(new SubClassInclusionExpandedDefinition(premises.getRoot(), premise, definedExpression, getDefinitionReason(premise))); }
@Override public void apply(IndexedClass premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedClassExpression definedExpression = getDefinition(premise); if (definedExpression == null) return; producer.produce(new SubClassInclusionExpandedDefinition(premises.getRoot(), premise, definedExpression, getDefinitionReason(premise))); }