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;
}
