Java code for a call of this function (not a reference to the function).
Java code for a call of this function (not a reference to the function).
Java code for each argument
context objects for the arguments, after semantics checks
argument types after generics-resolution
return type after generics-resolution
global options for this scoring engine (may be set in PFA or overridden by host environment)
Java code for a call of this function
Java code for a reference to this function (not a call of this function).
Java code for a reference to this function (not a call of this function).
argument and return types after generics-resolution
Java code for a reference to this function
Signature of the function as used in PFA.
Write a deprecation warning on standard error if a matched signature is in the deprecated interval of its lifespan, given the requested PFA version.
Write a deprecation warning on standard error if a matched signature is in the deprecated interval of its lifespan, given the requested PFA version.
the signature (we assume that is has already been matched)
the requested PFA version
Utility function for adding an explicit cast to one argument.
Utility function for adding an explicit cast to one argument.
argument number
Java code for each argument
argument types after generics-resolution
if true
, cast as a boxed primitive; if false
use a raw primitive
Java code for one argument (as a String)
Utility function for adding explicit casts to each argument.
Utility function for adding explicit casts to each argument.
Java code for each argument
argument types after generics-resolution
if true
, cast with boxed primitives; if false
, use the raw primitives
Java code for the arguments (as a String)
Trait for a function in PFA: could be a library function, user-defined function, or emit.