C# (CSharp) Absy.Resolve Exemples

Exemple #1

Fichier : CivlUtil.cs Projet : shaobo-he/boogie

        public static int ResolveAndTypecheck(Absy absy)
        {
            var rc = new ResolutionContext(null);

            absy.Resolve(rc);
            if (rc.ErrorCount != 0)
            {
                return(rc.ErrorCount);
            }
            var tc = new TypecheckingContext(null);

            absy.Typecheck(tc);
            return(tc.ErrorCount);
        }

Exemple #2

Fichier : CivlUtil.cs Projet : relative-robustness/artifact

 public static void ResolveAndTypecheck(Absy absy)
 {
     absy.Resolve(new ResolutionContext(null));
     absy.Typecheck(new TypecheckingContext(null));
 }