C# (CSharp) VarContextNode.HasVariableBeenAssigned示例

示例#1

文件： ResolutionContext.cs 项目： gauravpartha/boogie_proofgen

            public bool HasVariableBeenAssigned(string name)
            {
                Contract.Requires(name != null);

                if (assignedAssumptionVariables.Contains(name))
                {
                    return(true);
                }
                else if (ParentContext != null)
                {
                    return(ParentContext.HasVariableBeenAssigned(name));
                }
                else
                {
                    return(false);
                }
            }

示例#2

文件： ResolutionContext.cs 项目： gauravpartha/boogie_proofgen

        public bool HasVariableBeenAssigned(string name)
        {
            Contract.Requires(name != null);

            return(varContext.HasVariableBeenAssigned(name));
        }