]> hydra-www.ietfng.org Git - dyna2/commitdiff
added load and save scripts.
authortimv <tim.f.vieira@gmail.com>
Fri, 14 Jun 2013 22:42:12 +0000 (18:42 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 18 Jun 2013 01:23:17 +0000 (21:23 -0400)
src/Dyna/Backend/Python/load.py [new file with mode: 0644]
src/Dyna/Backend/Python/save.py [new file with mode: 0644]

diff --git a/src/Dyna/Backend/Python/load.py b/src/Dyna/Backend/Python/load.py
new file mode 100644 (file)
index 0000000..b860fb1
--- /dev/null
@@ -0,0 +1,19 @@
+"""
+Load interpreter state using python's pickle protocol.
+"""
+
+import cPickle
+
+from interpreter import Interpreter, foo, none
+
+def main():
+    #out = cPickle.dumps(interp)  # XXX:
+    #interp2 = cPickle.loads(out)  # XXX:
+    #interp2.repl()
+    with file('save.pkl', 'r') as f:
+        interp = cPickle.load(f)
+
+    interp.repl()
+
+if __name__ == '__main__':
+    main()
diff --git a/src/Dyna/Backend/Python/save.py b/src/Dyna/Backend/Python/save.py
new file mode 100644 (file)
index 0000000..f954dd4
--- /dev/null
@@ -0,0 +1,13 @@
+"""
+Save interpreter state using python's pickle protocol.
+"""
+
+import cPickle
+
+
+def main(interp):
+    #out = cPickle.dumps(interp)  # XXX:
+    #interp2 = cPickle.loads(out)  # XXX:
+    #interp2.repl()
+    with file('save.pkl', 'wb') as f:
+        cPickle.dump(interp, f)