// Abstract syntax trees

abstract class Exp

abstract class BExp 

abstract class Decl

// function declarations

case class Def(name: String, args: List[String], body: Exp) extends Decl

case class Main(e: Exp) extends Decl

// expressions

case class Call(name: String, args: List[Exp]) extends Exp

case class If(a: BExp, e1: Exp, e2: Exp) extends Exp

case class Write(e: Exp) extends Exp

case class Var(s: String) extends Exp

case class Num(i: Int) extends Exp

case class Aop(o: String, a1: Exp, a2: Exp) extends Exp

case class Sequ(e1: Exp, e2: Exp) extends Exp

// boolean expressions

case class Bop(o: String, a1: Exp, a2: Exp) extends BExp

// calculating the maximal needed stack size

def max_stack_exp(e: Exp): Int = e match {

  case Call(_, args) => args.map(max_stack_exp).sum

  case If(a, e1, e2) => max_stack_bexp(a) + (List(max_stack_exp(e1), max_stack_exp(e2)).max)

  case Write(e) => max_stack_exp(e) + 1

  case Var(_) => 1

  case Num(_) => 1

  case Aop(_, a1, a2) => max_stack_exp(a1) + max_stack_exp(a2)

  case Sequ(e1, e2) => List(max_stack_exp(e1), max_stack_exp(e2)).max

}

def max_stack_bexp(e: BExp): Int = e match {

  case Bop(_, a1, a2) => max_stack_exp(a1) + max_stack_exp(a2)

}

// compiler - built-in functions 

// copied from http://www.ceng.metu.edu.tr/courses/ceng444/link/jvm-cpm.html

//

val library = """

.class public XXX.XXX

.super java/lang/Object

.method public <init>()V

        aload_0

        invokenonvirtual java/lang/Object/<init>()V

        return

.end method

.method public static write(I)V 

        .limit locals 5 

        .limit stack 5 

        iload 0 

        getstatic java/lang/System/out Ljava/io/PrintStream; 

        swap 

        invokevirtual java/io/PrintStream/println(I)V 

        return 

.end method

"""

// for generating new labels

var counter = -1

def Fresh(x: String) = {

  counter += 1

  x ++ "_" ++ counter.toString()

}

type Env = Map[String, Int]

// compile expressions

  case If(b, a1, a2) => {

    val if_else = Fresh("If_else")

    val if_end = Fresh("If_end")

    compile_bexp(b, env, if_else) ++

    compile_exp(a1, env) ++

    compile_exp(a2, env) ++

  }

    val is = "I" * args.length

  }

  case Sequ(a1, a2) => {

  }

  case Write(a1) => {

    compile_exp(a1, env) ++

  }

}

// compile boolean expressions

  case Bop("==", a1, a2) => 

  case Bop("!=", a1, a2) => 

  case Bop("<", a1, a2) => 

  case Bop("<=", a1, a2) => 

}

// compile function for declarations and main

  case Def(name, args, a) => { 

    val env = args.zipWithIndex.toMap

    val is = "I" * args.length

    compile_exp(a, env) ++

  }

  case Main(a) => {

    compile_exp(a, Map()) ++

  }

}

// main compilation function

def compile(prog: List[Decl], class_name: String) : String = {

  (library + instructions).replaceAllLiterally("XXX", class_name)

}

// example program (factorials)

val test_prog = 

  List(Def("fact", List("n"),

         If(Bop("==",Var("n"),Num(0)),

            Num(1),

            Aop("*",Var("n"),

                    Call("fact",List(Aop("-",Var("n"),Num(1))))))),

       Def("facT",List("n", "acc"),

         If(Bop("==",Var("n"),Num(0)),

            Var("acc"),

            Call("facT",List(Aop("-",Var("n"),Num(1)), 

                             Aop("*",Var("n"),Var("acc")))))),

       Main(Sequ(Write(Call("fact",List(Num(10)))),

                 Write(Call("facT",List(Num(10), Num(1)))))))

// prints out the JVM instructions