@Override public void produce(final ClassInference inference) { final IndexedContextRoot originRoot = inference.getTraceRoot(); Queue<ClassInference> inferencesByOrigin = tracedInferences_ .get(originRoot); if (inferencesByOrigin == null) { inferencesByOrigin = new ConcurrentLinkedQueue<ClassInference>(); final Queue<ClassInference> previous = tracedInferences_ .putIfAbsent(originRoot, inferencesByOrigin); if (previous != null) inferencesByOrigin = previous; } inferencesByOrigin.add(inference); }
@Override public void produce(final ClassInference inference) { final IndexedContextRoot originRoot = inference.getTraceRoot(); Queue<ClassInference> inferencesByOrigin = tracedInferences_ .get(originRoot); if (inferencesByOrigin == null) { inferencesByOrigin = new ConcurrentLinkedQueue<ClassInference>(); final Queue<ClassInference> previous = tracedInferences_ .putIfAbsent(originRoot, inferencesByOrigin); if (previous != null) inferencesByOrigin = previous; } inferencesByOrigin.add(inference); }
@Override public void produce(final ClassInference inference) { final IndexedContextRoot originRoot = inference.getTraceRoot(); Queue<ClassInference> inferencesByOrigin = tracedInferences_ .get(originRoot); if (inferencesByOrigin == null) { inferencesByOrigin = new ConcurrentLinkedQueue<ClassInference>(); final Queue<ClassInference> previous = tracedInferences_ .putIfAbsent(originRoot, inferencesByOrigin); if (previous != null) inferencesByOrigin = previous; } inferencesByOrigin.add(inference); }
@Override protected Boolean defaultVisit(ClassInference conclusion) { tracedRoots_.add(conclusion.getTraceRoot()); return true; }
@Override public void produce(ClassInference inference) { Context sourceContext = state_.getContext(inference.getTraceRoot()); if (sourceContext == null || !sourceContext.isSaturated()) { super.produce(inference); } }
@Override public void produce(ClassInference inference) { Context sourceContext = state_.getContext(inference.getTraceRoot()); if (sourceContext == null || !sourceContext.isSaturated()) { super.produce(inference); } }
@Override public void produce(ClassInference inference) { Context sourceContext = state_.getContext(inference.getTraceRoot()); if (sourceContext == null || !sourceContext.isSaturated()) { super.produce(inference); } }