Class Make::Private::SummarizedCallableImpl

A callable with a flow summary.

This interface is not meant to be used directly, instead use the public SummarizedCallable interface. However, if you need to use this, make sure that that all classes C that extend SummarizedCallableImpl also extend SummarizedCallable, using the following adapter pattern:

private class CAdapter extends SummarizedCallable instanceof C {
  override predicate propagatesFlow(string input, string output, boolean preservesValue, string model) {
    none()
  }

  override predicate hasProvenance(Provenance provenance) {
    C.super.hasProvenance(provenance)
  }
}