当前位置: 首页>>代码示例>>C#>>正文


C# type_node.ToList方法代码示例

本文整理汇总了C#中PascalABCCompiler.TreeRealization.type_node.ToList方法的典型用法代码示例。如果您正苦于以下问题:C# type_node.ToList方法的具体用法?C# type_node.ToList怎么用?C# type_node.ToList使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在PascalABCCompiler.TreeRealization.type_node的用法示例。


在下文中一共展示了type_node.ToList方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。

示例1: TryToDeduceTypesInLambda

        //Попытка вычислить типы после подстановки типов формальных параметров
        public static bool TryToDeduceTypesInLambda(function_lambda_definition lambda_syntax_node,
                                                    delegate_internal_interface formal_delegate, 
                                                    type_node[] deduced, List<int> nils,
                                                    out Exception exception_on_body_compilation)
        {
            var there_are_undeduced_params = false;
            var param_counter = 0;
            var visitor = SystemLibrary.SystemLibrary.syn_visitor;
            var result = true;
            exception_on_body_compilation = null;

            if (lambda_syntax_node.formal_parameters == null
                || lambda_syntax_node.formal_parameters.params_list == null
                || lambda_syntax_node.formal_parameters.params_list.Count == 0)
            {
                return false;
            }
            
            foreach (var t in lambda_syntax_node.formal_parameters.params_list)
            {
                var lambdaInfType = t.vars_type as lambda_inferred_type;
                if (lambdaInfType != null
                    && lambdaInfType.real_type is lambda_any_type_node)
                {
                    if (!CheckIfTypeDependsOnUndeducedGenericParameters(formal_delegate.parameters[param_counter].type, deduced)) //Если тип параметра не зависит от невыведенных дженерик-параметров, то можем вычислить этот тип явно
                    {
                        lambdaInfType.real_type = generic_convertions.determine_type(formal_delegate.parameters[param_counter].type,
                                                                           deduced.ToList(),
                                                                           true); //инстанцируем и записываем вычесленный тип
                    }
                    else
                    {
                        there_are_undeduced_params = true; //иначе мы не сможем вывести тип возвращаемого значения
                        break;
                    }
                }
                param_counter += t.idents.idents.Count;
            }

            if (!there_are_undeduced_params
                && lambda_syntax_node.return_type is lambda_inferred_type
                && ((lambda_inferred_type)lambda_syntax_node.return_type).real_type is lambda_any_type_node)
            {
                var lambdaName = lambda_syntax_node.lambda_name;
                var fl = lambda_syntax_node.lambda_visit_mode;
                lambda_syntax_node.lambda_visit_mode = LambdaVisitMode.VisitForAdvancedMethodCallProcessing;
                var aux_name = LambdaHelper.GetAuxiliaryLambdaName(lambda_syntax_node.lambda_name);
                lambda_syntax_node.lambda_name = aux_name;

                try
                {
                    visitor.visit(lambda_syntax_node); //пробуем скомпилировать тело лямбды, вычислим тип возвращаемого значения
                }
                catch (Exception exc)
                {
                    exception_on_body_compilation = exc; // Если произошло исключение то запишем его в выходной параметр, оно потом будет обработано вызывающим методом
                    result = false;
                }
                finally
                {
                    var context = visitor.context;

                    //Далее надо удалить ненужный узел из списка функций
                    LambdaHelper.RemoveLambdaInfoFromCompilationContext(context, lambda_syntax_node);
                    
                    lambda_syntax_node.lambda_name = lambdaName;
                    lambda_syntax_node.lambda_visit_mode = fl;

                    if (result)
                    {
                        if (!DeduceInstanceTypes(formal_delegate.return_value_type,
                                                 (type_node)((lambda_inferred_type)lambda_syntax_node.return_type).real_type,
                                                 deduced, nils)) //Выводим дженерик-параметры после того как вычислили тип возвращаемого значения
                        {
                            result = false;
                        }
                    }
                }
            }
            return result;
        }
开发者ID:CSRedRat,项目名称:pascalabcnet,代码行数:82,代码来源:generics.cs


注:本文中的PascalABCCompiler.TreeRealization.type_node.ToList方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。