C# (CSharp) TypeNode.EvalType示例

示例#1

        public override void Validate(Environment env)
        {
            if (ClassNode != null)
            {
                if (!IsExtern)
                {
                    env.Classes.Add(ClassNode);
                }

                ClassNode.Validate(env);
                return;
            }

            env.Scopes.Types.Bind(Name, TypeNode.EvalType(env));
        }

示例#2

文件： VarDecNode.cs 项目： jolnsigkitu/implementation

        public override void Validate(Environment env)
        {
            Expr.Validate(env);

            DerivedType = Expr.Type;

            if (TypeAnnotation != null)
            {
                DerivedType = TypeAnnotation.EvalType(env);
                Expr.AssertType(DerivedType);
            }

            env.Scopes.Values.Bind(Name, new VariableBinding()
            {
                Name    = Name,
                Type    = DerivedType,
                IsConst = IsConst,
            });
        }