Algebra.QL.Extensions.TypeCheck.Stmnt.GotoStmnt.TypeCheck C# (CSharp) Метод

        public void TypeCheck(ITypeEnvironment env)
        {
            if (env.IsDeclared(gotoDeclareName))
            {
                env.ReportError("You already defined a gotoNextForm. You can only have 1 per form.",
                    SourceStartPosition, SourceEndPosition);

                return;
            }

            env.Declare(gotoDeclareName, null);
        }