refactor rule metadata in java backend to use typed attributes

@yilongli please review
It's done there already

On Wed, Sep 10, 2014 at 11:05 AM, Radu Mereuta <notifications@github.com>
wrote:

> In
> src/javasources/KTool/src/org/kframework/parser/concrete/disambiguate/CorrectCastPriorityFilter.java:
>
> > @@ -48,6 +48,7 @@ public ASTNode visit(Cast cst, Void _) throws ParseFailedException {
> >                  var.setUserTyped(true);
> >                  var.setSort(cst.getSort());
> >                  var.setSyntactic(cst.getType() != CastType.SEMANTIC);
> > +                var.copyAttributesFrom(cst);
>
> You should do this in RemoveSyntacticCasts too.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/905/files#r17370479>.
>