Create a TJ source file.

#lang tiny-opalclj
#eval eval-abs

class A {
  int f(int a) {
     return a + 1;
  }
}

require the source from REPL.

To execute a method concretely, invoke it from REPL (self is set to a dummy object).

> (A$f 100)

To interpret a method abstractly, specify a default parameter value for that method in the source and require it again.

#lang tiny-opalclj
#eval eval-abs

class A {
  int f(int a = 3) {
     return a + 1;
  }
}