Predicate Input::encodeWithContent
Gets the textual representation of with-content c used in MaD.
arg will be printed in square brackets ([]) after the result, unless
arg is the empty string.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImplstring encodeWithContent(ContentSet c, string arg)