summaryrefslogtreecommitdiff
path: root/Source/VCExpr/SimplifyLikeLineariser.cs
diff options
context:
space:
mode:
authorGravatar mikebarnett <unknown>2011-03-06 20:56:16 +0000
committerGravatar mikebarnett <unknown>2011-03-06 20:56:16 +0000
commit0cd15d2b78a68bcdc566b31d53287f63625560e7 (patch)
treea01d26f2d8b65a20c7d9dd042c8f644e671752a3 /Source/VCExpr/SimplifyLikeLineariser.cs
parentfa74660cb6cd7251eb3e03e9e281bf37a2018242 (diff)
Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead of an IMethodReference so it is guaranteed to know if the method is static or not and also to be able to access its parameters as IParameterDefinitions which is needed to know if they are out params or not.
Diffstat (limited to 'Source/VCExpr/SimplifyLikeLineariser.cs')
0 files changed, 0 insertions, 0 deletions