| Class | Description |
|---|---|
| NativeFunctionSignatureBuilder |
Signature definitions for native functions.
|
| NativeFunctionSignatureChecker |
Checks native function calls for maybe/definite type errors based on their signatures.
|
| NativeFunctionSignatureChecker.ArityOverloadedSignature |
Generalization of other signatures.
|
| NativeFunctionSignatureChecker.SimpleSignature |
Signature with a fixed number of (maybe optional) arguments.
|
| NativeFunctionSignatureChecker.VarSignature |
Variadic signature with a
NativeFunctionSignatureChecker.SimpleSignature prefix, and a last argument which can be repeated unboundedly. |
| NativeFunctionSignatureUtilities |
Utility values for defining signatures of native functions.
|
| NativeFunctionSignatureUtilities.MandatoryParameters |
Utility class for grouping mandatory parameters.
|
| NativeFunctionSignatureUtilities.OptionalParameters |
Utility class for grouping optional parameters.
|
| NativeFunctionSignatureUtilities.Receivers |
Utility class for grouping receivers..
|
| NativeFunctionSignatureUtilities.Requirements |
Utility class for grouping the requirements.
|
Copyright © 2009-2019 Aarhus University