C# (CSharp) ExpressionStack.Concat示例

示例#1

文件： ProgramState.cs 项目： shuebner/sonar-csharp

        public ProgramState PushValues(IEnumerable <SymbolicValue> values)
        {
            if (!values.Any())
            {
                return(this);
            }

            return(new ProgramState(
                       Values,
                       Constraints,
                       ProgramPointVisitCounts,
                       ImmutableStack.Create(ExpressionStack.Concat(values).ToArray()),
                       Relationships));
        }