kast parser

For cell properties yes but not for klabels or ktokens.
On Aug 8, 2014 12:52 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/kast/KastParser.jj:
>
> > +  }
> > +}
> > +PARSER_END(KastParser)
> > +
> > +SKIP :
> > +{
> > +  " "
> > +| "\r"
> > +| "\t"
> > +| "\n"
> > +}
> > +
> > +TOKEN : /* klabels */
> > +{ < NUM : ("-")?(< DIGIT >)+ >
> > +| < #DIGIT : [ "0"-"9" ] >
> > +| <STRING: "\"" (~["\"", "\n"] |
>
> But you do need strings for cell properties for example.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/807/files#r16006285>.
>