It's going to have to be unflatten_java, I'm pretty sure. If you're
concerned, I can look further into customizing this behavior, it should be
possible. It will just require a bit more boilerplate code.


On Tue, Apr 1, 2014 at 11:27 AM, mdmkolbe <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/kompile/KompileOptions.java:
>
> > +import com.beust.jcommander.ParameterException;
> > +import com.beust.jcommander.ParametersDelegate;
> > +
> > +public final class KompileOptions implements Serializable {
> > +
> > +    public static enum Backend {
> > +        pdf(true, false),
> > +        latex(true, false),
> > +        doc(true, false),
> > +        html(true, false),
> > +        kore(false, false),
> > +        maude(false, false),
> > +        java(false, true),
> > +        unparse(false, false),
> > +        unflatten(false, false),
> > +        unflatten_java(false, true),
>
> Is JCommander going to make this option have to be "unflatten_java" or can
> we still use "unflatten-java"?
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/309/files#r11168150>
> .
>