From 320d3c36ed0801088c54518a7014ac92314874ee Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 21 Sep 2014 23:17:46 +0800
Subject: [PATCH] language/core: add EncodedException

---
 artiq/language/core.py | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/artiq/language/core.py b/artiq/language/core.py
index c1816e16f..506f3eb0b 100644
--- a/artiq/language/core.py
+++ b/artiq/language/core.py
@@ -329,3 +329,20 @@ def syscall(*args):
 
     """
     return _syscall_manager.do(*args)
+
+
+_encoded_exceptions = dict()
+
+def EncodedException(eid):
+    """Represents exceptions on the core device, which are identified
+    by a single number.
+
+    """
+    try:
+        return _encoded_exceptions[eid]
+    except KeyError:
+        class EncodedException(Exception):
+            def __init__(self):
+                Exception.__init__(self, eid)
+        _encoded_exceptions[eid] = EncodedException
+        return EncodedException