Package gnu.kawa.functions

Class CallCC

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.mapping.ProcedureN

gnu.mapping.MethodProc

gnu.kawa.functions.CallCC

All Implemented Interfaces:

Inlineable, Named

public class CallCC
extends MethodProc
implements Inlineable

Implement the Scheme standard function "call-with-current-continuation". This is a restricted version, that only works for escape-like applications.

Field Summary

Fields

Modifier and Type	Field	Description
static final MethodHandle	applyToConsumerCC
static final CallCC	callcc

Fields inherited from class gnu.mapping.MethodProc

applyToConsumerDefaultMP, argTypes, NO_MATCH, NO_MATCH_AMBIGUOUS, NO_MATCH_BAD_TYPE, NO_MATCH_GUARD_FALSE, NO_MATCH_TOO_FEW_ARGS, NO_MATCH_TOO_MANY_ARGS, NO_MATCH_UNUSED_KEYWORD, THROW_ON_EXCEPTION

Fields inherited from class gnu.mapping.ProcedureN

applyToObject, noArgs

Fields inherited from class gnu.mapping.Procedure

applyMethodType, applyToConsumerDefault, applyToConsumerMethod, applyToObjectDefault, applyToObjectMethod, compilerKey, compilerXKey, inlineIfConstantSymbol, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Method Summary

Modifier and Type	Method	Description
static Object	applyToConsumerCC(Procedure proc, CallContext ctx)
void	compile(ApplyExp exp, Compilation comp, Target target)
Type	getReturnType(Expression[] args)	Semi-deprecated - instead should be set at Inline time.
int	numArgs()	Return minArgs()|(maxArgs<<12).

Methods inherited from class gnu.mapping.MethodProc

applyToConsumerDefaultMP, getParameterType, isApplicable, matchFailAsException, mostSpecific, numParameters, overrideEquivalent, resolveParameterTypes

Methods inherited from class gnu.mapping.ProcedureN

applyToObject

Methods inherited from class gnu.mapping.Procedure

apply0, apply1, apply2, apply3, apply4, applyL, applyN, applyToConsumerDefault, applyToObjectDefault, checkArgCount, checkBadCode, getApplyMethod, getApplyToConsumerMethod, getApplyToObjectMethod, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation, toString

Methods inherited from class gnu.mapping.PropertySet

getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

applyToConsumerCC

public static final MethodHandle applyToConsumerCC

callcc

public static final CallCC callcc

Method Details

numArgs

public int numArgs()

Description copied from class: Procedure

Return minArgs()|(maxArgs<<12). We use a single virtual function to reduce the number of methods in the system, as well as the number of virtual method table entries. We shift by 12 so the number can normally be represented using a sipush instruction, without requiring a constant pool entry.

Overrides:

numArgs in class Procedure

applyToConsumerCC

public static Object applyToConsumerCC(Procedure proc,
 CallContext ctx)
                                throws Throwable

Throws:

Throwable

compile

public void compile(ApplyExp exp,
 Compilation comp,
 Target target)

Specified by:

compile in interface Inlineable

getReturnType

public Type getReturnType(Expression[] args)

Description copied from class: Procedure

Semi-deprecated - instead should be set at Inline time. FIXME

Overrides:

getReturnType in class Procedure