Exemplos de Trapl.Semantics FunctInitChecker em C# (CSharp)

Exemplo n.º 1

Arquivo: funct_init_checker.cs Projeto: hlorenzi/trapl

        public static bool Check(Core.Session session, Core.DeclFunct funct)
        {
            var checker = new FunctInitChecker(session, funct);

            var statusList = new List<InitStatus>();
            for (var i = 0; i < funct.registerTypes.Count; i++)
                statusList.Add(new InitStatus(i >= 1 && i < funct.parameterNum + 1));

            var segmentVisitCounts = new List<int>();
            for (var i = 0; i < funct.segments.Count; i++)
                segmentVisitCounts.Add(0);

            checker.CheckSegment(0, segmentVisitCounts, statusList);
            checker.CheckUnusedMutabilities();
            return checker.foundErrors;
        }

Exemplo n.º 2

Arquivo: funct_init_checker.cs Projeto: hlorenzi/trapl

        public static bool Check(Core.Session session, Core.DeclFunct funct)
        {
            var checker = new FunctInitChecker(session, funct);

            var statusList = new List <InitStatus>();

            for (var i = 0; i < funct.registerTypes.Count; i++)
            {
                statusList.Add(new InitStatus(i >= 1 && i < funct.parameterNum + 1));
            }

            var segmentVisitCounts = new List <int>();

            for (var i = 0; i < funct.segments.Count; i++)
            {
                segmentVisitCounts.Add(0);
            }

            checker.CheckSegment(0, segmentVisitCounts, statusList);
            checker.CheckUnusedMutabilities();
            return(checker.foundErrors);
        }