@Override public void apply(SubContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedObjectSomeValuesFrom.Helper.generatePropagations( premise.getSubDestination(), premises, producer); }
@Override public void apply(SubContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedObjectSomeValuesFrom.Helper.generatePropagations( premise.getSubDestination(), premises, producer); }
@Override public void apply(SubContextInitialization premise, ContextPremises premises, ClassInferenceProducer producer) { IndexedObjectSomeValuesFrom.Helper.generatePropagations( premise.getSubDestination(), premises, producer); }