// Used for determining Write and WriteConfined knowin the callee
public static bool IsWriteConfinedParameter(Method callee, Parameter p)
{
bool isWriteConfined = !PointsToAndEffectsAnnotations.IsAssumedPureMethod(callee) &&
(PointsToAndEffectsAnnotations.IsDeclaredWriteConfined(callee) ||
PointsToAndEffectsAnnotations.IsDeclaredWriteConfined(p));
return(isWriteConfined);
}
public static bool IsWriteParameter(Method callee, Parameter p)
{
bool isWrite = (!PointsToAndEffectsAnnotations.IsAssumedPureMethod(callee) &&
PointsToAndEffectsAnnotations.IsDeclaredWrite(p)) ||
p.IsOut;
/*bool isWrite = (!PointsToAndEffectsAnnotations.IsDeclaredPure(callee)
* && PointsToAndEffectsAnnotations.IsDeclaredWrite(p))
|| p.IsOut;
*/
isWrite = isWrite && !IsConstructor(callee);
return(isWrite);
}