public override Func <Context, IType> VisitAt_ucid([NotNull] FullSimpleParser.At_ucidContext context) { var name = context.UCID().GetText(); return(ctx => { if (ctx.IsNameBound(name)) { return new TypeVar(ctx.NameToIndex(name), ctx.Length); } return new TypeId(name); }); }
/// <summary> /// Visit a parse tree produced by the <c>at_ucid</c> /// labeled alternative in <see cref="FullSimpleParser.atype"/>. /// <para> /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/> /// on <paramref name="context"/>. /// </para> /// </summary> /// <param name="context">The parse tree.</param> /// <return>The visitor result.</return> public virtual Result VisitAt_ucid([NotNull] FullSimpleParser.At_ucidContext context) { return(VisitChildren(context)); }