on df5bf81 help sign in
Idris-dev/java/org/idris/rts/Closure.java
17 lines 332 B history raw
1package org.idris.rts;
3import java.util.concurrent.Callable;
5public abstract class Closure implements Callable<Object>, Runnable {
6 protected final Object [] context;
8 protected Closure(final Object ... context) {
9 this.context = context;
10 }
12 public void run() {
13 call();
14 }
16 public abstract Object call();