private SpecNode ToSpecNode(AttributedExpression expr, string kind, TokenNode token) { Console.WriteLine("Specification (" + kind + ")"); var dc = new DocComment(expr.DocComment); return(new SpecNode { Kind = kind, Clause = Printer.ExprToString(expr.E), UserDoc = dc.MainBody, Token = token, }); }
public virtual void Visit(AttributedExpression attributedExpression) { VisitNullableAttributes(attributedExpression.Attributes); Visit(attributedExpression.E); }