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));
 }
Exemplo n.º 2
0
 public Subroutine GetSubroutine(MethodCache <Local, Parameter, Type, Method, Field, Property, Attribute, Assembly> methodCache)
 {
     return(methodCache.BuildSubroutine(this.stackDelta, this, this, 0));
 }