first steps towards a generic transformation pipeline for krun

**please review**
Because I wanted all parsing to happen over strings, and binary files are
not strings.

On Thu, Sep 18, 2014 at 2:57 PM, Radu Mereuta <notifications@github.com>
wrote:

> In src/main/java/org/kframework/parser/ProgramLoader.java:
>
> > @@ -115,7 +117,7 @@ public static Term processPgm(byte[] content, Source source, Sort startSymbol,
> >              }
> >              out = ((Rule) out).getBody();
> >          } else if (whatParser == ParserType.BINARY) {
> > -            try (ByteArrayInputStream in = new ByteArrayInputStream(content)) {
> > +            try (ByteArrayInputStream in = new ByteArrayInputStream(Base64.decode(content))) {
>
> Why are you switching to Base64?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/948/files#r17750654>.
>