public class NativeFunctionSignatureChecker
extends java.lang.Object
Also triggers coercions.
Also registers type error messages.
Modifier and Type | Class and Description |
---|---|
(package private) static class |
NativeFunctionSignatureChecker.ArityOverloadedSignature
Generalization of other signatures.
|
static class |
NativeFunctionSignatureChecker.SimpleSignature
Signature with a fixed number of (maybe optional) arguments.
|
static class |
NativeFunctionSignatureChecker.VarSignature
Variadic signature with a
NativeFunctionSignatureChecker.SimpleSignature prefix, and a last argument which can be repeated unboundedly. |
Modifier and Type | Method and Description |
---|---|
static NativeFunctionSignatureChecker |
get() |
boolean |
shouldStopPropagation(HostObject hostobject,
FunctionCalls.CallInfo call,
GenericSolver.SolverInterface c) |
public static NativeFunctionSignatureChecker get()
public boolean shouldStopPropagation(HostObject hostobject, FunctionCalls.CallInfo call, GenericSolver.SolverInterface c)
Copyright © 2009-2019 Aarhus University