/usr/share/gnu-smalltalk/kernel/Continuation.st is in gnu-smalltalk-common 3.2.4-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 | "======================================================================
|
| Continuation Method Definitions
|
|
======================================================================"
"======================================================================
|
| Copyright (C) 2007 University of Manchester
| Originally by Ian Piumarta, rewritten by Paolo Bonzini.
|
| This file is part of the GNU Smalltalk class library.
|
| The GNU Smalltalk class library is free software; you can redistribute it
| and/or modify it under the terms of the GNU Lesser General Public License
| as published by the Free Software Foundation; either version 2.1, or (at
| your option) any later version.
|
| The GNU Smalltalk class library is distributed in the hope that it will be
| useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
| General Public License for more details.
|
| You should have received a copy of the GNU Lesser General Public License
| along with the GNU Smalltalk class library; see the file COPYING.LIB.
| If not, write to the Free Software Foundation, 59 Temple Place - Suite
| 330, Boston, MA 02110-1301, USA.
|
======================================================================"
Object subclass: Continuation [
| stack |
<category: 'Language-Implementation'>
<comment: 'At my heart, I am something like the goto instruction; my creation
sets the label, and my methods do the jump. However, this is a really
powerful kind of goto instruction. If your hair is turning green at
this point, don''t worry as you will probably only deal with users
of continuations, rather than with the concept itself.'>
Continuation class >> escapeDo: aBlock [
"Pass a continuation to the one-argument block, knowing that aBlock
does not fall off (either because it includes a method return, or
because it yields control to another continuation). If it does,
an exception will be signalled and the current process terminated."
<category: 'instance creation'>
aBlock value: (self new stack: thisContext parentContext).
SystemExceptions.BadReturn signal.
Processor activeProcess terminate
]
Continuation class >> current [
"Return a continuation."
<category: 'instance creation'>
^self new stack: thisContext parentContext copyStack
]
Continuation class >> currentDo: aBlock [
"Pass a continuation to the one-argument block, aBlock and return the
result of evaluating it."
<category: 'instance creation'>
^aBlock value: (self new stack: thisContext parentContext copyStack)
]
oneShotValue [
"Return nil to the original continuation, which becomes unusable.
Attempting to reactivate it will cause an exception. This is an
optimization over #value."
<category: 'invocation'>
^self resume: nil nextContinuation: nil
]
oneShotValue: v [
"Return anObject to the original continuation, which becomes unusable.
Attempting to reactivate it will cause an exception. This is an
optimization over #value:."
<category: 'invocation'>
^self resume: v nextContinuation: nil
]
callCC [
"Activate the original continuation, passing back in turn a continuation
for the caller. The called continuation becomes unusable, and
any attempt to reactivate it will cause an exception. This is not
a limitation, in general, because this method is used to replace a
continuation with another (see the implementation of the Generator class)."
<category: 'invocation'>
| cont |
cont := Continuation new stack: thisContext parentContext.
^self resume: cont nextContinuation: nil
]
value [
"Return nil to the original continuation, copying the stack to allow
another activation."
<category: 'invocation'>
^self resume: nil nextContinuation: stack copyStack
]
value: anObject [
"Return anObject to the original continuation, copying the stack to allow
another activation."
<category: 'invocation'>
^self resume: anObject nextContinuation: stack copyStack
]
valueWithArguments: aCollection [
"Return the sole element of aCollection to the original continuation
(or nil if aCollection is empty), copying the stack to allow
another activation"
<category: 'invocation'>
aCollection size == 0 ifTrue: [^self value: nil].
aCollection size == 1 ifFalse: [^self value: (aCollection at: 1)].
SystemExceptions.InvalidArgument signalOn: aCollection
reason: 'continuations can only be resumed with zero or one argument'
]
resume: returnValue nextContinuation: aContext [
<category: 'private'>
<primitive: VMpr_Continuation_resume>
SystemExceptions.BadReturn signal.
Processor activeProcess terminate.
^returnValue
"The primitive is equivalent to this code:
| continuation |
stack isNil ifTrue: [ ^self primitiveFailed ].
continuation := stack.
stack := aContext.
thisContext parentContext: continuation.
^returnValue"
]
stack [
<category: 'private'>
^stack
]
stack: s [
<category: 'private'>
stack := s
]
]
|