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);
}
