X-Git-Url: http://git.megacz.com/?p=org.ibex.xt.git;a=blobdiff_plain;f=src%2Forg%2Fibex%2Fxt%2FPrevalence.java;h=b237619514ba0fd9bed80f8d50e3e618faf16575;hp=ef871474e9cc694058d1623e62a257eeb4ffb387;hb=ceef03aad63c852ca44925dad0d417db07fd166e;hpb=5365f47787b1b4eeca31ad5da2373237371e264e diff --git a/src/org/ibex/xt/Prevalence.java b/src/org/ibex/xt/Prevalence.java index ef87147..b237619 100644 --- a/src/org/ibex/xt/Prevalence.java +++ b/src/org/ibex/xt/Prevalence.java @@ -56,6 +56,7 @@ public class Prevalence { }; System.err.println("configuring with " + manager); pf.configureSnapshotManager(manager); + //pf.configureSnapshotManager(new SnapshotManager(new JS(), base)); //pf.configureClassLoader(JSTransaction.class.getClassLoader()); prevayler = pf.create(); prevaylers.put(cx, prevayler); @@ -68,10 +69,27 @@ public class Prevalence { public static class JSTransaction implements Transaction { public static final long serialVersionUid = 0xfb2aa281; private JS js; - public JSTransaction(JS js) { this.js = js; } + JSScope newscope; + Vec v; + public JSTransaction(JS js) throws JSExn { + newscope = new JSScope(null); + this.js = JS.cloneWithNewParentScope(js, newscope); + v = JS.getFormalArgs(this.js); + for(int i=0; i