src/JavaContext.st
branchjk_new_structure
changeset 1455 0bd5fedc1d2c
parent 1452 69dcb9c33742
child 1459 9e24f4337d78
--- a/src/JavaContext.st	Wed Apr 04 16:46:32 2012 +0000
+++ b/src/JavaContext.st	Thu Apr 05 09:58:14 2012 +0000
@@ -27,6 +27,13 @@
 	category:'Languages-Java-Support'
 !
 
+Object subclass:#FinallyToken
+	instanceVariableNames:'context exception selector value'
+	classVariableNames:''
+	poolDictionaries:''
+	privateIn:JavaContext
+!
+
 !JavaContext class methodsFor:'documentation'!
 
 copyright
@@ -523,6 +530,56 @@
     "Created: / 7.5.1998 / 01:26:19 / cg"
 ! !
 
+!JavaContext::FinallyToken methodsFor:'accessing'!
+
+context
+    ^ context
+!
+
+context:something
+    context := something.
+!
+
+exception
+    ^ exception
+!
+
+exception:something
+    exception := something.
+!
+
+selector
+    ^ selector
+!
+
+selector:something
+    selector := something.
+!
+
+value
+    ^ value
+!
+
+value:something
+    value := something.
+! !
+
+!JavaContext::FinallyToken methodsFor:'actions'!
+
+pass
+
+    selector == #return ifTrue:[
+        exception return
+    ].
+    selector == #return: ifTrue:[
+        exception return: value
+    ].
+
+    self error:'Should never be reached'.
+
+    "Created: / 04-04-2012 / 20:24:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+
 !JavaContext class methodsFor:'documentation'!
 
 version