示例#1
0
        // 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);
        }
示例#2
0
        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);
        }