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 and Description
static java.lang.invoke.MethodHandle	applyToConsumerCC
static 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 and Description
static java.lang.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 Detail

applyToConsumerCC

public static final java.lang.invoke.MethodHandle applyToConsumerCC

callcc

public static final CallCC callcc

Method Detail

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 java.lang.Object applyToConsumerCC(Procedure proc,
                                                 CallContext ctx)
                                          throws java.lang.Throwable

Throws:

java.lang.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