SyntaxTree.method_call C# (CSharp) Code Examples

Example #1

0

Show file

File: semantic_checks_for_sugar.cs Project: shusha1311/pascalabcnet

        /*void common_diap_check(expression from, expression to)
         * {
         *
         * }*/

        void semantic_check_method_call_as_diapason_expr(SyntaxTree.method_call mc)
        {
            var from = mc.parameters.expressions[0];
            var to   = mc.parameters.expressions[1];

            var semfrom = convert_strong(from);
            var b       = convertion_data_and_alghoritms.can_convert_type(semfrom, SystemLibrary.SystemLibrary.integer_type);
            var b1      = false;

            if (!b)
            {
                b1 = convertion_data_and_alghoritms.can_convert_type(semfrom, SystemLibrary.SystemLibrary.char_type);
            }
            if (!b && !b1)
            {
                AddError(get_location(from), "INTEGER_OR_CHAR_VALUE_EXPECTED");
            }

            var semto = convert_strong(to);
            var c     = convertion_data_and_alghoritms.can_convert_type(semto, SystemLibrary.SystemLibrary.integer_type);
            var c1    = false;

            if (!c)
            {
                c1 = convertion_data_and_alghoritms.can_convert_type(semto, SystemLibrary.SystemLibrary.char_type);
            }
            if (!c && !c1)
            {
                AddError(get_location(to), "INTEGER_OR_CHAR_VALUE_EXPECTED");
            }
            if (b != c || c1 != b1)
            {
                AddError(get_location(to), "INCOMPATIBLE_DIAPASON_BOUNDS_TYPES");
            }
        }

Example #2

0

Show file

        void semantic_check_method_call_as_slice_expr(SyntaxTree.method_call mc)
        // нельзя проверять сахарный узел, т.к.могут быть вложенные сахарные expression!!
        {
            var v      = (mc.dereferencing_value as dot_node).left;
            var semvar = convert_strong(v);

            if (semvar is typed_expression)
            {
                semvar = convert_typed_expression_to_function_call(semvar as typed_expression);
            }

            var IsSlicedType = 0; // проверим, является ли semvar.type динамическим массивом, списком List или строкой

            if (semvar.type.type_special_kind == SemanticTree.type_special_kind.array_kind)
            {
                IsSlicedType = 1;
            }

            if (IsSlicedType == 0)
            {
                var t = ConvertSemanticTypeNodeToNETType(semvar.type); // не работает для array of T

                // semvar.type должен быть array of T, List<T> или string
                if (t == null)
                {
                    IsSlicedType = 0; // можно ничего не присваивать :)
                }
//                else if (t.IsArray)
//                  IsSlicedType = 1;
                else if (t == typeof(System.String))
                {
                    IsSlicedType = 2;
                }
                else if (t.IsGenericType && t.GetGenericTypeDefinition() == typeof(System.Collections.Generic.List <>))
                {
                    IsSlicedType = 3;
                }
            }

            if (IsSlicedType == 0)
            {
                AddError(get_location(v), "BAD_SLICE_OBJECT");
            }

            var        from = mc.parameters.expressions[1];
            var        to   = mc.parameters.expressions[2];
            expression step = mc.parameters.expressions.Count > 3 ? mc.parameters.expressions[3] : null;

            CheckIntegerOrIndex(from);
            CheckIntegerOrIndex(to);
            CheckInteger(step);
        }

Example #3

0

Show file

File: SubtreeCreator.cs Project: proteanthread/pascalabcnet

        private static method_call CreateMethodCall(string methodName, params expression[] exprList)
        {
            SyntaxTree.method_call mc = new SyntaxTree.method_call();
            mc.dereferencing_value = new ident(methodName);
            SyntaxTree.expression_list exl = new PascalABCCompiler.SyntaxTree.expression_list();
            foreach (expression x in exprList)
            {
                exl.Add(x);
            }
            mc.parameters = exl;

            return(mc);
        }

Example #4

0

Show file

        //private SyntaxTree.uses_list CreateStandartUsesList()
        //{
        //    uses_list res = new uses_list();
        //    unit_or_namespace pabcsystem = new unit_or_namespace();
        //    pabcsystem.name = new ident_list("PABCSystem");
        //    res.units.Add(pabcsystem);
        //    return res;
        //}

        public procedure_call CreateProcedureCall(string procName, params expression[] exprList)
        {
            SyntaxTree.procedure_call pc = new SyntaxTree.procedure_call();
            SyntaxTree.method_call    mc = new SyntaxTree.method_call();
            mc.dereferencing_value = new ident(procName);
            pc.func_name           = mc;
            SyntaxTree.expression_list exl = new PascalABCCompiler.SyntaxTree.expression_list();
            foreach (expression x in exprList)
            {
                exl.Add(x);
            }
            mc.parameters = exl;
            return(pc);
        }

Example #5

0

Show file

        void semantic_check_method_call_as_slice_expr_multi(SyntaxTree.method_call mc)
        {
            var v = (mc.dereferencing_value as dot_node).left;

            var semvar = convert_strong(v);

            if (semvar is typed_expression)
            {
                semvar = convert_typed_expression_to_function_call(semvar as typed_expression);
            }

            if (semvar.type.type_special_kind != SemanticTree.type_special_kind.array_kind)
            {
                AddError(semvar.location, "SLICES_MULTI_DIMENSIONAL_ARRAY_EXPECTED");
            }

            // Теперь с размерностями разберёмся
            int rank = 0;

            if (semvar.type is compiled_type_node)
            {
                rank = (semvar.type as compiled_type_node).rank;
            }
            else if (semvar.type is common_type_node)
            {
                rank = (semvar.type as common_type_node).rank;
            }
            if (rank != mc.parameters.Count)
            {
                AddError(semvar.location, "NUMBER_OF_SLICES_IN_MULTIDIMENSIONAL_ARRAY_SHOULD_BE_EQUAL_TO_ARRAY_RANK");
            }

            foreach (var param in mc.parameters.expressions)
            {
                var p = param as method_call; // Tuple.Create
                if (p == null)
                {
                    AddError(semvar.location, "_Compiler_error_param_must_be_Tuple");
                }

                var from = p.parameters.expressions[0];
                var to   = p.parameters.expressions[1];
                var step = p.parameters.expressions[2];

                CheckIntegerOrIndex(from);
                CheckIntegerOrIndex(to);
                CheckInteger(step);
            }
        }

Example #6

0

Show file