From 636483270e658488f7d7790e3d31f3e046748d3a Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sun, 16 Jan 2005 01:24:06 +0000
Subject: [PATCH] remove JS.run() and JS.pause()

darcs-hash:20050116012406-5007d-b3f5204a0cab6d9b2b8d21749e06381c7e30bf21.gz
---
 src/org/ibex/js/JS.java |   17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/src/org/ibex/js/JS.java b/src/org/ibex/js/JS.java
index 5355580..4c69a05 100644
--- a/src/org/ibex/js/JS.java
+++ b/src/org/ibex/js/JS.java
@@ -20,13 +20,6 @@ public interface JS extends Pausable {
     /** Store a specific value against the given key. */
     public void put(JS key, JS value) throws JSExn;
 
-    /** Executes or unpauses the task, running it in a
-     *  <i>pausable</i> context. */
-    public Object run(Object o) throws Exception, AlreadyRunningException;
-
-    /** Pauses the running task at its convienience. */
-    public void pause() throws NotPausableException;
-
     /** Calls a specific method with given arguments on this object.
      *  An exception is thrown if there is no such method or the
      *  arguments are invalid. */
@@ -83,10 +76,6 @@ public interface JS extends Pausable {
         public InputStream getInputStream() throws IOException, JSExn { throw new JSExn(
             "object has not associated stream, class ["+ getClass().getName() +"]"); }
 
-        public Object run(Object o) throws Exception { throw new JSExn(
-            "object cannot be called, class ["+ getClass().getName() +"]"); }
-        public void pause() { throw new NotPausableException(); }
-
         public JS call(JS method, JS[] args) throws JSExn {
             if (method == null) throw new JSExn( "object cannot be called, class ["+ getClass().getName() +"]");
             throw new JSExn("method not found: " + JSU.str(method) + " class="+this.getClass().getName());
@@ -127,8 +116,6 @@ public interface JS extends Pausable {
         // FIMXE: cloning Fountains...
         //public InputStream getInputStream() throws IOException, JSExn { return clonee.getInputStream(); }
 
-        public Object run(Object o) throws Exception { return clonee.run(o); }
-        public void pause() { clonee.pause(); }
         public JS call(JS m, JS[] a) throws JSExn { return clonee.call(m, a); }
         public String[] getFormalArgs() { return clonee.getFormalArgs(); }
         public JS putAndTriggerTraps(JS k, JS v) throws JSExn { return clonee.putAndTriggerTraps(k, v); }
@@ -148,10 +135,6 @@ public interface JS extends Pausable {
 
         public JS unclone() { return this; }
 
-        public Object run(Object o) throws Exception {
-            throw new JSExn("object cannot be called, class ["+ getClass().getName() +"]"); }
-        public void pause() { throw new NotPausableException(); }
-
         public JS call(JS method, JS[] args) throws JSExn {
             if (method==null) throw new JSExn("cannot call a " + getClass().getName());
             throw new JSExn("method not found: " + JSU.str(method)); }
-- 
1.7.10.4