org.millscript.millscript.functions
Class LambdaFunction

java.lang.Object
  org.millscript.millscript.functions.Function
      org.millscript.millscript.functions.LambdaFunction

public final class LambdaFunction
extends Function

This class implements a function defined within a piece of MillScript code. As such it may take a variable number of arguments, depending on its definition.

Constructor Summary

LambdaFunction(LocalIdent[] a, LocalIdent r, Action b)
Constructs a new LambdaFunction to execute the specified body with the specified number of arguments.

Method Summary

void	apply(Machine mc, int nargs) Performs this function using the specified machine, with the specified number of arguments.
java.lang.String	toString()

Methods inherited from class org.millscript.millscript.functions.Function

applyUpdater, checkNargs, checkNargsGT, checkUNargs, getName, modName, reportNargsError, reportNargsGTError, setName, tryClone

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LambdaFunction

public LambdaFunction(LocalIdent[] a,
                      LocalIdent r,
                      Action b)

Constructs a new LambdaFunction to execute the specified body with the specified number of arguments.

Parameters:

a - the local idents for the functions arguments

r - the optional ident for the argument that can soak up any additional parameters to the function

b - the body of the function

Method Detail

apply

public void apply(Machine mc,
                  int nargs)

Description copied from class: Function

Performs this function using the specified machine, with the specified number of arguments.

Specified by:

apply in class Function

Parameters:

mc - the machine to perform this function on

nargs - the number of arguments the function is being invoked with

See Also:

Function.apply(org.millscript.millscript.vm.Machine, int)

toString

public java.lang.String toString()

Overrides:

toString in class Function

See Also:

Object.toString()