public ExpressionDecoder(IILDecoder <APC, TSymbolicValue, TSymbolicValue, IValueContextProvider <TSymbolicValue>, TEdgeData> valueDecoder, ExpressionAnalysisFacade <TSymbolicValue, TContext, TEdgeData> parent) { this.value_decoder = valueDecoder; this.parent = parent; this.underlying = valueDecoder.ContextProvider; }
public ValueAnalysis(ExpressionAnalysisFacade <SymbolicValue, Context, EdgeData> parent) { this.parent = parent; }