public Subroutine GetSubroutine(MethodCache <Local, Parameter, Type, Method, Field, Property, Event, Attribute, Assembly> methodCache) { Contract.Requires(methodCache != null); // F: Added as of Clousot suggestion return(methodCache.BuildSubroutine(stackDelta, this, 0)); }
public Subroutine GetSubroutine(MethodCache <Local, Parameter, Type, Method, Field, Property, Attribute, Assembly> methodCache) { return(methodCache.BuildSubroutine(this.stackDelta, this, this, 0)); }