Algebra.QL.TypeCheck.Expr.VarExpr.TypeCheck C# (CSharp) Метод

        public ITypeCheckType TypeCheck(ITypeEnvironment env)
        {
            if (!env.IsDeclared(Name))
            {
                env.ReportError(String.Format("Undefined variable '{0}' used. Make sure the variable is defined.",
                    Name), SourceStartPosition, SourceEndPosition);

                return new UnknownType();
            }

            return env.GetDeclared(Name);
        }