public ValueDecoder(HeapAnalysis parent, IILDecoder <APC, int, int, TContext, Dummy> stackDecoder) { this.context = new Lazy <IValueContextProvider <SymbolicValue> > (() => new ValueContextProvider <TContext>(this.parent, this.stack_decoder.ContextProvider)); this.parent = parent; this.stack_decoder = stackDecoder; }
public ValueContextProvider(HeapAnalysis parent, TContext underlying) { this.parent = parent; this.underlying = underlying; }
public StackToSymbolicAdapter(HeapAnalysis parent, Visitor delegatee) { this.parent = parent; this.delegatee = delegatee; }