gnu.mapping

Class MethodProc

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.mapping.ProcedureN

gnu.mapping.MethodProc

All Implemented Interfaces:

Named

Direct Known Subclasses:

AppendValues, Attributes, CallCC, Children, CommentConstructor, CompiledProc, Continuation, GenericProc, IteratorItems, LambdaExp.Closure, ListItems, MakeCDATA, MakeResponseHeader, NodeConstructor, OrderedMap, PrimProcedure, RelativeStep, TreeScanner, TypeSwitch, ValuesFilter, ValuesMap

public abstract class MethodProc
extends ProcedureN

Similar to a CLOS method. Can check if arguments "match" before committing to calling method.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.invoke.MethodHandle	applyToConsumerDefaultMP
protected java.lang.Object	argTypes The parameter types.
static int	NO_MATCH Return code from match: Unspecified failure.
static int	NO_MATCH_AMBIGUOUS Return code from match: Ambigious which method to select.
static int	NO_MATCH_BAD_TYPE Return code from match: Invalid argument type.
static int	NO_MATCH_GUARD_FALSE
static int	NO_MATCH_TOO_FEW_ARGS Return code from match: Too few actual arguments.
static int	NO_MATCH_TOO_MANY_ARGS Return code from match: Too many actual arguments.
static int	NO_MATCH_UNUSED_KEYWORD Return code from match: Unused keyword argument.
static int	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

Constructor Summary

Constructors

Constructor and Description
MethodProc()
MethodProc(boolean resultGoesToConsumer, java.lang.invoke.MethodHandle applyMethod)

Method Summary

Modifier and Type	Method and Description
static java.lang.Object	applyToConsumerDefaultMP(Procedure proc, CallContext ctx)
Type	getParameterType(int index)
int	isApplicable(Type[] argTypes, Type restType) Test if method is applicable to an invocation with given arguments.
static java.lang.RuntimeException	matchFailAsException(int code, Procedure proc, ArgList args) Helper method to throw an exception if a matchX method fails.
static MethodProc	mostSpecific(MethodProc proc1, MethodProc proc2) Return the more specific of the arguments.
int	numParameters() Return number of parameters, including optional and rest arguments.
static boolean	overrideEquivalent(MethodProc proc1, MethodProc proc2) An approximation of "override-equivalent" as defined in the JLS.
protected void	resolveParameterTypes() Figure out or decode the parameter types, setting argTypes.

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, getReturnType, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, maxArgs, maxArgs, minArgs, minArgs, numArgs, 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

argTypes

protected java.lang.Object argTypes

The parameter types. Usually either an Type[] or a String encoding.

THROW_ON_EXCEPTION

public static final int THROW_ON_EXCEPTION

See Also:

Constant Field Values

NO_MATCH

public static final int NO_MATCH

Return code from match: Unspecified failure.

See Also:

Constant Field Values

NO_MATCH_TOO_FEW_ARGS

public static final int NO_MATCH_TOO_FEW_ARGS

Return code from match: Too few actual arguments. The lower half is the minimum number of arguments (if not 0xffff).

See Also:

Constant Field Values

NO_MATCH_TOO_MANY_ARGS

public static final int NO_MATCH_TOO_MANY_ARGS

Return code from match: Too many actual arguments. The lower half is the maximum number of arguments (if not 0xffff).

See Also:

Constant Field Values

NO_MATCH_AMBIGUOUS

public static final int NO_MATCH_AMBIGUOUS

Return code from match: Ambigious which method to select.

See Also:

Constant Field Values

NO_MATCH_BAD_TYPE

public static final int NO_MATCH_BAD_TYPE

Return code from match: Invalid argument type. In that case the lower half is the 1-origin index of the first argument that does not match.

See Also:

Constant Field Values

NO_MATCH_UNUSED_KEYWORD

public static final int NO_MATCH_UNUSED_KEYWORD

Return code from match: Unused keyword argument. I.e. a keyword in the call doesn't match a keyword parameter. In that case the lower half is the 1-origin index of the first keyword argument that does not match.

See Also:

Constant Field Values

NO_MATCH_GUARD_FALSE

public static final int NO_MATCH_GUARD_FALSE

See Also:

Constant Field Values

applyToConsumerDefaultMP

public static final java.lang.invoke.MethodHandle applyToConsumerDefaultMP

Constructor Detail

MethodProc

public MethodProc()

MethodProc

public MethodProc(boolean resultGoesToConsumer,
                  java.lang.invoke.MethodHandle applyMethod)

Method Detail

isApplicable

public int isApplicable(Type[] argTypes,
                        Type restType)

Test if method is applicable to an invocation with given arguments.

Parameters:

argTypes - array of known "single" arguments.

restType - If null, the arguments are fully specified by argTypes. If non-null, there may be an unknown number of extra arguments of the given restType. This is used for splices, where we usually don't know at compile-time how many argument values we have.

Returns:

-1 if no; 1 if yes; 0 if need to check at run-time.

numParameters

public int numParameters()

Return number of parameters, including optional and rest arguments.

resolveParameterTypes

protected void resolveParameterTypes()

Figure out or decode the parameter types, setting argTypes.

getParameterType

public Type getParameterType(int index)

matchFailAsException

public static java.lang.RuntimeException matchFailAsException(int code,
                                                              Procedure proc,
                                                              ArgList args)

Helper method to throw an exception if a matchX method fails.

mostSpecific

public static MethodProc mostSpecific(MethodProc proc1,
                                      MethodProc proc2)

Return the more specific of the arguments.

Returns:

null if neither is more specific.

overrideEquivalent

public static boolean overrideEquivalent(MethodProc proc1,
                                         MethodProc proc2)

An approximation of "override-equivalent" as defined in the JLS.

applyToConsumerDefaultMP

public static java.lang.Object applyToConsumerDefaultMP(Procedure proc,
                                                        CallContext ctx)
                                                 throws java.lang.Throwable

Throws:

java.lang.Throwable