Uses of Class
gnu.mapping.Procedure

Packages that use Procedure

Package	Description
gnu.brl
gnu.ecmascript
gnu.expr	Supports Expression, and various related classes need to compile programming languages.
gnu.jemacs.buffer	Provides various building blocks for building an Emacs-like text editor.
gnu.jemacs.lang	Contains classes to implement the Emacs Lisp language.
gnu.kawa.functions	Various core run-time functions and operators.
gnu.kawa.lispexpr	Support classes for compiling and running Lisp languages.
gnu.kawa.reflect	Contains classes to use reflection.
gnu.kawa.xml	Classes for using XML within Kawa.
gnu.kawa.xslt
gnu.mapping	Supports Procedure, and various related classes needed at run-time by dynamically typed languages (such as Scheme and ECMAScript).
gnu.xquery.lang
gnu.xquery.util
kawa	Classes for user interaction with Kawa.
kawa.lang	Core Kawa classes for Scheme and Lisp compile-time.
kawa.standard	Primitive Scheme syntax and functions.

Uses of Procedure in gnu.brl

Subclasses of Procedure in gnu.brl

Modifier and Type	Class and Description
class	random

Uses of Procedure in gnu.ecmascript

Subclasses of Procedure in gnu.ecmascript

Modifier and Type	Class and Description
class	BinaryOp

Constructors in gnu.ecmascript with parameters of type Procedure

Constructor and Description
Reserved(java.lang.String name, int prio, Procedure proc)

Uses of Procedure in gnu.expr

Subclasses of Procedure in gnu.expr

Modifier and Type	Class and Description
class	AccessExp A common super-type for ReferenceExpa and SetExp.
class	ApplyExp This class is used to represent "combination" or "application".
class	BeginExp This class represents a sequence of Expressions.
class	BlockExp Class used to implement a block that can be exited.
class	CaseExp This class represents a case expression
class	CatchClause A "catch" clause of a "try-catch" form.
class	ClassExp
class	CompiledProc
class	ErrorExp Class used to mark an erroneous expression
class	ExitExp Expression to exit a lexically surrounding block.
class	Expression Abstract class for syntactic forms that evaluate to a value.
class	FluidLetExp Class used to implement "fluid-let" for Scheme and "let" for Emacs.
class	GenericProc A collection of MethodProcs; one is chosen at apply time.
class	IfExp This class represents a conditional.
class	LambdaExp Class used to implement Scheme lambda expressions.
static class	LambdaExp.Closure
class	LangExp A language-specific expression.
class	LetExp Class used to implement "let" syntax (and variants) for Scheme.
class	ModuleExp Class used to implement Scheme top-level environments.
class	ObjectExp An expression that evaluated to an instance of an anonymous class.
class	PrimProcedure A primitive Procedure implemented by a plain Java method.
class	QuoteExp An Expression that evaluates to a constant value.
class	ReferenceExp This class represents a variable reference (an identifier).
class	ScopeExp Abstract class for expressions that add local variable bindings.
class	SetExp An Expression to set (bind) or define a new value to a named variable.
class	SynchronizedExp
class	ThisExp Evaluates to the "this" implicit variable.
class	TryExp This class represents try/catch/finally.

Methods in gnu.expr that return Procedure

Modifier and Type	Method and Description
Procedure	TypeValue.getConstructor() Get the constructor function for this type.

Methods in gnu.expr with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	Expression.applyMethodExpression(Procedure proc, CallContext ctx)
static java.lang.Object	PrimProcedure.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	LambdaExp.Closure.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	GenericProc.applyToConsumerGP(Procedure proc, CallContext ctx)
static void	PrimProcedure.disassemble(Procedure proc, ClassTypeWriter cwriter)
static void	PrimProcedure.disassemble(Procedure proc, java.io.Writer out)
static void	PrimProcedure.disassemble$X(Procedure pproc, CallContext ctx)
static PrimProcedure	PrimProcedure.getMethodFor(Procedure pproc, Declaration decl, Expression[] args, Language language) Search for a matching static method in a procedure's class.
static PrimProcedure	PrimProcedure.getMethodFor(Procedure pproc, Declaration decl, Type[] atypes, Language language)
static PrimProcedure	PrimProcedure.getMethodFor(Procedure pproc, Expression[] args)
Expression	ApplyExp.inlineIfConstant(Procedure proc, InlineCalls visitor)
Expression	ApplyExp.inlineIfConstant(Procedure proc, SourceMessages messages) Inline this ApplyExp if parameters are constant.
boolean	Compilation.inlineOk(Procedure proc)
static boolean	ApplyExp.isInlineable(Procedure proc)
Expression	InlineCalls.maybeInline(ApplyExp exp, Type required, Procedure proc)
ApplyExp	ApplyExp.setFuncArgs(Procedure proc, Expression[] args)
void	ApplyExp.setFunction(Procedure proc)

Constructors in gnu.expr with parameters of type Procedure

Constructor and Description
ApplyExp(Procedure p, Expression... a)

Uses of Procedure in gnu.jemacs.buffer

Subclasses of Procedure in gnu.jemacs.buffer

Modifier and Type	Class and Description
class	SelfInsertCommand

Uses of Procedure in gnu.jemacs.lang

Subclasses of Procedure in gnu.jemacs.lang

Modifier and Type	Class and Description
class	AddOp
class	DivideOp

Uses of Procedure in gnu.kawa.functions

Subclasses of Procedure in gnu.kawa.functions

Modifier and Type	Class and Description
class	AppendValues
class	Apply Implement the standard Scheme function "apply".
class	ApplyToArgs Implement the standard Scheme function "apply".
class	ApplyWithValues This procedure's first argument values are applied as argument list to the second argument.
class	ArrayRef
class	BitwiseOp
class	CallCC Implement the Scheme standard function "call-with-current-continuation".
class	CallWithValues
class	ConstantFunction0 A 0-argument function that returns a constant value.
class	Convert
class	Curry1 A curried procedure.
class	CurryExp A specialized ApplyExp class for curried function calls.
class	Expt Implement the standard Scheme procedure "expt".
class	Format
class	GetModuleClass Special procedure to get the Class of the current module.
class	GetNamedInstancePart The value of the Kawa Scheme expression '*:PART-NAME'.
class	GetNamedPart Procedure to get the value of a named component of an object.
class	IsEq Implement the standard Scheme function eq? and the Lisp eq.
class	IsEqual Implement the standard Scheme procedure equal? and the Lisp equal.
class	IsEqv Implement that standard Scheme function "eqv?".
class	MakeDynamic Implement the 'dynamic' constructor function.
class	MakeList Implement the Scheme standard function "list".
class	MakeProcedure
class	MakePromise
class	MakeSplice A pseudo-function whose argument is splice into an outer argument list.
class	Map Implement the Scheme standard functions "map" and "for-each".
class	MultiplyOp Implement the Scheme standard function "*".
class	NamedPart A reference to a named feature/part of a specific object.
static class	NamedPart.Setter
class	Not Implement the standard Scheme procedure "not".
class	NumberCompare This implements the numeric comparison relations: <, <=, etc.
class	NumberPredicate
class	ParseFormat
class	RunProcess The Kawa run-process command builds and runs a Process.
class	SetNamedPart Procedure to get the value of a named component of an object.
class	Setter Implements Kawa extension function "setter", as in SRFI-17.
static class	Setter.SetArray
static class	Setter.SetGArray
static class	Setter.SetList
class	Unify Operator to unify two values, in the logic programming sense.
class	ValuesMap Map a function over a value sequence, yielding a new sequence.

Methods in gnu.kawa.functions that return Procedure

Modifier and Type	Method and Description
Procedure	GetNamedInstancePart.getSetter()
Procedure	NamedPart.getSetter()
Procedure	GetNamedPart.getSetter()

Methods in gnu.kawa.functions with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	Apply.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	ApplyToArgs.applyToConsumerA2A(Procedure proc, CallContext ctx)
static java.lang.Object	AppendValues.applyToConsumerAV(Procedure proc, CallContext ctx)
static java.lang.Object	CallCC.applyToConsumerCC(Procedure proc, CallContext ctx)
static java.lang.Object	RunProcess.applyToConsumerRP(Procedure proc, CallContext ctx)
static java.lang.Object	Apply.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	ApplyToArgs.applyToObjectA2A(Procedure proc, CallContext ctx)
static java.lang.Object	ApplyWithValues.applyWithValues(java.lang.Object values, Procedure consumer)
static java.lang.Object	CallWithValues.callWithValues(Procedure producer, Procedure consumer)
static int	BitwiseOp.checkNonNegativeShift(Procedure proc, int amount)
static void	CompileMisc.compileCallCC(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileMisc.compileConvert(ApplyExp exp, Compilation comp, Target target, Procedure procedure)
static boolean	CompileMisc.compileEq(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileMisc.compileMakeDynamic(ApplyExp exp, Compilation comp, Target target, Procedure procedure)
static boolean	CompileMisc.compileNot(ApplyExp exp, Compilation comp, Target target, Procedure procedure)
static boolean	CompileMisc.compileNumberCompare(ApplyExp exp, Compilation comp, Target target, Procedure procedure)
static boolean	CompileMisc.compileNumPredicate(ApplyExp exp, Compilation comp, Target target, Procedure procedure)
static void	Map.forEach1(Procedure proc, LList list) An optimized single-list version of for-each.
static void	Map.forEach1(Procedure proc, java.lang.Object list) An optimized single-list version of for-each.
static <E> Array<E>	Arrays.getBuiltArray(Array shape, Procedure getter)
static <E> Array<E>	Arrays.getBuiltArray(Array shape, Procedure getter, Procedure setter)
static <E> Array<E>	Arrays.getTransformed(Array<E> base, Procedure transformer, Array shape)
static <T> Promise<T>	MakePromise.makePromise(Procedure thunk)
static <T> Promise<T>	MakePromise.makePromiseLazy(Procedure thunk)
static java.lang.Object	Map.map1(Procedure proc, LList list) An optimized single-list version of map.
static java.lang.Object	Map.map1(Procedure proc, java.lang.Object list)
static Expression	CompileArith.pairwise(Procedure proc, Expression rproc, Expression[] args, InlineCalls visitor) Convert (PROC A B C) to (PROC (PROC A B) C) etc.
static java.lang.Object	Setter.setter(Procedure arg)
static Array	Arrays.shareArray(Array array, Array shape, Procedure proc)
static Expression	CompileMisc.validateApplyAppendValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArith.validateApplyArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyCallCC(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyConstantFunction0(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyConvert(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyFormat(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Validate-apply handling for "format".
static Expression	CompileMisc.validateApplyMakeDynamic(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyMakeProcedure(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyMakePromise(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileProcess.validateApplyRunProcess(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Type-check and optimize RunProcess (i.e.
static Expression	CompileMisc.validateApplySimpleBoolean(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateApplyToArgs(ApplyExp exp, InlineCalls visitor, Type required, Procedure applyToArgs)
static Expression	CompileMisc.validateApplyValuesMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyWithExceptionHandler(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileValues.validateApplyWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileValues.validateCallWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateGetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateGetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateIsEqv(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateNamedPartSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateSetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateSetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Constructors in gnu.kawa.functions with parameters of type Procedure

Constructor and Description
BuiltArray(Procedure getter, int[] dimensions, int[] lowBounds)
BuiltArray(Procedure getter, Procedure setter, int[] dimensions, int[] lowBounds)
Curry1(java.lang.String name, Procedure proc2)
CurryExp(Procedure currier, Procedure actual, Expression... initial)
ProcTransformedArray(Array<E> base, Procedure transformer, int[] dimensions, int[] lowBounds)

Uses of Procedure in gnu.kawa.lispexpr

Subclasses of Procedure in gnu.kawa.lispexpr

Modifier and Type	Class and Description
static class	LangObjType.ArgListBuilder

Fields in gnu.kawa.lispexpr declared as Procedure

Modifier and Type	Field and Description
static Procedure	LangObjType.ArgListBuilder.makeArgList
static Procedure	LangObjType.ArgListBuilder.makeArgVector

Methods in gnu.kawa.lispexpr that return Procedure

Modifier and Type	Method and Description
static Procedure	LangObjType.coerceToProcedure(java.lang.Object obj)
static Procedure	LangObjType.coerceToProcedureOrNull(java.lang.Object value)
Procedure	LangObjType.getConstructor()
Procedure	LangPrimType.getConstructor()
Procedure	GenArrayType.getConstructor()
Procedure	ReaderMacro.getProcedure()
Procedure	ReaderDispatchMacro.getProcedure()

Methods in gnu.kawa.lispexpr with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	LangObjType.ArgListBuilder.applyToObjArgList(Procedure proc, CallContext ctx)
void	ReadTable.putReaderCtor(java.lang.String key, Procedure proc) Add a mapping for a SRFI-10 constructor tag.

Constructors in gnu.kawa.lispexpr with parameters of type Procedure

Constructor and Description
ReaderDispatchMacro(Procedure procedure)
ReaderMacro(Procedure procedure)
ReaderMacro(Procedure procedure, boolean nonTerminating)

Uses of Procedure in gnu.kawa.reflect

Subclasses of Procedure in gnu.kawa.reflect

Modifier and Type	Class and Description
class	ArrayGet
class	ArrayLength
class	ArrayMake
class	ArrayNew
class	ArraySet
class	ClassMethods
class	InstanceOf
class	Invoke
class	MakeAnnotation
class	SlotGet
class	SlotSet
class	StaticGet
class	StaticSet
class	Throw
class	TypeSwitch Implement 'typeswitch' (as in XQuery) or 'typecase'.

Fields in gnu.kawa.reflect declared as Procedure

Modifier and Type	Field and Description
static Procedure	MakeAnnotation.makeMethodProc

Methods in gnu.kawa.reflect that return Procedure

Modifier and Type	Method and Description
Procedure	OccurrenceType.getConstructor()
Procedure	MappedArrayType.getConstructor()
Procedure	SlotGet.getSetter()

Methods in gnu.kawa.reflect with parameters of type Procedure

Modifier and Type	Method and Description
static MethodProc	ClassMethods.apply(Procedure thisProc, java.lang.Object arg0, java.lang.Object arg1)
static java.lang.Object	Invoke.applyToObject(Procedure proc, CallContext ctx)
static boolean	CompileArrays.compileGet(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileArrays.compileLength(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileArrays.compileMake(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileArrays.compileNew(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static boolean	CompileArrays.compileSet(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static java.lang.Object	ProceduralProxy.makeProxy(java.lang.Class iface, Procedure proc)
static java.lang.Object	ProceduralProxy.makeProxy(java.lang.Class iface, Procedure proc, java.lang.ClassLoader loader)
static Expression	MakeAnnotation.validate(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplyInstanceOf(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileInvoke.validateApplyInvoke(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplySlotGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplySlotSet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplyTypeSwitch(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayLength(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayNew(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArraySet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateThrow(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Constructors in gnu.kawa.reflect with parameters of type Procedure

Constructor and Description
ProceduralProxy(Procedure proc)
SlotGet(java.lang.String name, boolean isStatic, Procedure setter)

Uses of Procedure in gnu.kawa.xml

Subclasses of Procedure in gnu.kawa.xml

Modifier and Type	Class and Description
class	AncestorAxis Used to implement a ancestor:: step in a path expression.
class	AncestorOrSelfAxis Used to implement a ancestor-or-self:: step in a path expression.
class	AttributeAxis Used to implement an attribute:: step in a path expression.
class	Attributes
class	ChildAxis Used to implement a child:: step in a path expression.
class	Children
class	CoerceNodes Coerces an item sequence to a node sequence.
class	CommentConstructor
class	DescendantAxis Used to implement a descendant:: step in a path expression.
class	DescendantOrSelfAxis Used to implement a descendant-or-self:: step in a path expression.
class	DocumentConstructor
class	FollowingAxis Used to implement a following:: step in a path expression.
class	FollowingSiblingAxis Used to implement a following-sibling:: step in a path expression.
class	IntersectNodes Get the union of two node lists.
class	IteratorItems
class	ListItems A function that maps a List into the sequence of its elements.
class	MakeAttribute
class	MakeCDATA
class	MakeElement
class	MakeProcInst
class	MakeResponseHeader A procedure that implements the "response-header" function.
class	MakeText
class	MakeUnescapedData
class	MakeWithBaseUri A Procedure to create an included entity object, or set the base-uri property for a document or fragment.
class	NodeCompare Compare nodes for document order.
class	NodeConstructor
class	OutputAsXML A 1-argument Procedure that takes a value and return output in XML syntax.
class	ParentAxis Used to implement a parent:: step in a path expression.
class	PrecedingAxis Used to implement a following:: step in a path expression.
class	PrecedingSiblingAxis Used to implement a following-sibling:: step in a path expression.
class	SelfAxis Used to implement a self:: step in a path expression.
class	SortNodes Sort argument nodes in document order.
class	TreeScanner Abstract class that scans part of a node tree.
class	UnionNodes Get the union of two node lists.
class	WriteTo Write a value to a named file.

Methods in gnu.kawa.xml that return Procedure

Modifier and Type	Method and Description
Procedure	NodeType.getConstructor()
Procedure	ElementType.getConstructor()
Procedure	XDataType.getConstructor()

Methods in gnu.kawa.xml with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	MakeCDATA.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeText.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	Children.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeProcInst.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeResponseHeader.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	IteratorItems.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	ListItems.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	Attributes.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	DocumentConstructor.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeAttribute.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeWithBaseUri.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	CommentConstructor.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	MakeElement.applyToConsumerME(Procedure proc, CallContext ctx)
static java.lang.Object	TreeScanner.applyToConsumerTS(Procedure proc, CallContext ctx)
static Expression	CompileXmlFunctions.validateApplyMakeUnescapedData(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileXmlFunctions.validateApplyTreeScanner(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Uses of Procedure in gnu.kawa.xslt

Subclasses of Procedure in gnu.kawa.xslt

Modifier and Type	Class and Description
class	ApplyTemplates Implements the XSLT apply-templates command.

Methods in gnu.kawa.xslt that return Procedure

Modifier and Type	Method and Description
Procedure	TemplateTable.find(java.lang.String name)

Methods in gnu.kawa.xslt with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	ApplyTemplates.applyToConsumer(Procedure proc, CallContext ctx)
static void	XSLT.defineApplyTemplate(java.lang.String pattern, double priority, Symbol mode, Procedure template)
static void	XSLT.defineCallTemplate(Symbol name, double priority, Procedure template)
static void	XSLT.defineTemplate(Symbol name, java.lang.String pattern, double priority, Symbol mode, Procedure template)
void	TemplateTable.enter(java.lang.String pattern, double priority, Procedure procedure)

Uses of Procedure in gnu.mapping

Subclasses of Procedure in gnu.mapping

Modifier and Type	Class and Description
class	LocationProc<T> A Procedure that evaluates to the value of a Location.
class	MethodProc Similar to a CLOS method.
class	Procedure0 Abstract class for 0-argument procedures.
class	Procedure0or1 Abstract class for 0- or 1-argument Scheme procedures.
class	Procedure1 Abstract class for 1-argument Scheme procedures.
class	Procedure1or2 Abstract class for 1- or 2-argument Scheme procedures.
class	Procedure2 Abstract class for 2-argument Scheme procedures.
class	Procedure3 Abstract class for 3-argument Scheme procedures..
class	Procedure4 Abstract class for 4-argument Scheme procedures.
class	ProcedureN Abstract class for "N-argument" Scheme procedures, where N>4 or variable.
class	Setter0 A special case of Setter, retricted to no arguments, except the RHS.
class	Setter1 A special case of Setter, retricted to one argument (plus the RHS).

Fields in gnu.mapping declared as Procedure

Modifier and Type	Field and Description
protected Procedure	ConstrainedLocation.converter
protected Procedure	Setter.getter
Procedure	WrongType.proc The Procedure that threw the exception (if non-null).
Procedure	CallContext.proc

Methods in gnu.mapping that return Procedure

Modifier and Type	Method and Description
Procedure	HasSetter.getSetter()
Procedure	LocationProc.getSetter()
Procedure	Procedure.getSetter()

Methods in gnu.mapping with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	Procedure.applyToConsumerDefault(Procedure proc, CallContext ctx)
static java.lang.Object	MethodProc.applyToConsumerDefaultMP(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure3.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure1or2.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	ProcedureN.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure2.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure0or1.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure0.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure1.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure4.applyToObject(Procedure proc, CallContext ctx)
static java.lang.Object	Procedure.applyToObjectDefault(Procedure proc, CallContext ctx)
java.lang.Object	Values.call_with(Procedure proc) Apply a Procedure with these values as the arguments.
java.lang.Object	Values.Values2.call_with(Procedure proc)
static void	Procedure.checkArgCount(Procedure proc, int argCount) Check that the number of arguments in a call is valid.
static java.lang.String	WrongArguments.checkArgCount(Procedure proc, int argCount, boolean hasSplices) Returns an error message if the number of arguments in a call is invalid.
static WrongType	WrongType.make(java.lang.ClassCastException ex, Procedure proc, int n) Deprecated.
static WrongType	WrongType.make(java.lang.ClassCastException ex, Procedure proc, int n, java.lang.Object argValue) This interface is designed for a compact call sequence.
static <T> ConstrainedLocation<T>	ConstrainedLocation.make(Location<T> base, Procedure converter)
static Future	Future.make(Procedure action, Environment penvironment, gnu.kawa.io.InPort in, gnu.kawa.io.OutPort out, gnu.kawa.io.OutPort err)
static java.lang.RuntimeException	MethodProc.matchFailAsException(int code, Procedure proc, ArgList args) Helper method to throw an exception if a matchX method fails.
void	LocationProc.pushConverter(Procedure converter)
void	CallContext.setNextProcedure(Procedure proc)
void	CallContext.setNextProcedure(Procedure proc, java.lang.invoke.MethodHandle apply)
void	Procedure.setSetter(Procedure setter)
void	Promise.setThunk(Procedure thunk) Bind this promise so forcing it evaluates the given procedure.
void	CallContext.setupApply(Procedure proc)
void	CallContext.setupApply(Procedure proc, java.lang.Object arg0)
void	CallContext.setupApply(Procedure proc, java.lang.Object arg0, java.lang.Object arg1)
void	CallContext.setupApply(Procedure proc, java.lang.Object arg0, java.lang.Object arg1, java.lang.Object arg2)
void	CallContext.setupApply(Procedure proc, java.lang.Object arg0, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3)
void	CallContext.setupApplyAll(Procedure proc, java.lang.Object[] args)
void	CallContext.setupApplyAll(Procedure proc, java.lang.Object[] args, int fromIndex, int toIndex)
void	CallContext.shiftArgs(Procedure proc, int toDrop)

Constructors in gnu.mapping with parameters of type Procedure

Constructor and Description
Future(Procedure action)
Future(Procedure action, gnu.kawa.io.InPort in, gnu.kawa.io.OutPort out, gnu.kawa.io.OutPort err)
LocationProc(Location loc, Procedure converter)
ProcLocation(Procedure proc, java.lang.Object[] args)
Promise(Procedure thunk) Create a new Promise that will evaluate thunk when forced.
RunnableClosure(Procedure action)
RunnableClosure(Procedure action, gnu.kawa.io.InPort in, gnu.kawa.io.OutPort out, gnu.kawa.io.OutPort err)
Setter(Procedure getter)
Setter0(Procedure getter)
Setter1(Procedure getter)
WrongArguments(Procedure proc, int argCount)
WrongType(java.lang.ClassCastException ex, Procedure proc, int n, java.lang.Object argValue)
WrongType(Procedure proc, int n, java.lang.ClassCastException ex)
WrongType(Procedure proc, int n, java.lang.Object argValue)
WrongType(Procedure proc, int n, java.lang.Object argValue, java.lang.String expectedType)
WrongType(Procedure proc, int n, java.lang.Object argValue, Type expectedType)

Uses of Procedure in gnu.xquery.lang

Methods in gnu.xquery.lang that return Procedure

Modifier and Type	Method and Description
Procedure	XQuery.evalToFocusProc(java.io.Reader in, SourceMessages messages) Parse an XQuery expression from a Reader that is the body of a procedure.
Procedure	XQuery.evalToFocusProc(java.lang.String expr) Parse an XQuery expression that is the body of a procedure.

Methods in gnu.xquery.lang with parameters of type Procedure

Modifier and Type	Method and Description
java.lang.Object	XQuery.applyWithFocus(Procedure proc, java.lang.Object values) Call a procedure with each item in a sequence as the context item.
void	XQuery.applyWithFocus(Procedure proc, java.lang.Object values, Consumer out) Call a procedure with each item in a sequence as the context item.
java.lang.Object	XQuery.applyWithFocus(Procedure proc, java.lang.Object item, int position, int size) Call a procedure with a given focus (context).
void	XQuery.applyWithFocus(Procedure proc, java.lang.Object item, int position, int size, Consumer out) Call a procedure with a given focus (context).
void	XQuery.applyWithFocus$X(Procedure proc, java.lang.Object values, CallContext ctx) Call a procedure with each item in a sequence as the context item.

Uses of Procedure in gnu.xquery.util

Subclasses of Procedure in gnu.xquery.util

Modifier and Type	Class and Description
class	ArithOp
class	Average
class	BooleanValue
class	CastableAs
class	CastAs
class	Compare Compares two values (or sequences) according to XPath semantics.
class	ItemAt Returns a value at a given index in a sequence of values.
class	NumberValue
class	OrderedMap A procedure used to represent a FLWOR expression with an order by clause.
class	RelativeStep Implements XPath path expression.
class	ValuesFilter

Methods in gnu.xquery.util with parameters of type Procedure

Modifier and Type	Method and Description
static java.lang.Object	RelativeStep.applyToConsumer(Procedure proc, CallContext ctx)
static java.lang.Object	ValuesFilter.applyToConsumer(Procedure proc, CallContext ctx)
static void	CompileMisc.compileOrderedMap(ApplyExp exp, Compilation comp, Target target, Procedure proc)
static OrderedTuples	OrderedTuples.make$V(Procedure body, java.lang.Object[] comps)
static Expression	CompileMisc.validateApplyCastableAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyCastAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyOrderedMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyRelativeStep(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyValuesFilter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Inliner for the ValuesFilter procedure.
static Expression	CompileMisc.validateArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Inliner for the ArithOp procedure.
static Expression	CompileMisc.validateBooleanValue(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Inliner for the BooleanValue procedure.
static Expression	CompileMisc.validateCompare(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) Inliner for the Compare procedure.

Uses of Procedure in kawa

Subclasses of Procedure in kawa

Modifier and Type	Class and Description
class	repl Start a "Read-Eval-Print-Loop" for the Kawa Scheme evaluator.
class	TelnetRepl

Uses of Procedure in kawa.lang

Subclasses of Procedure in kawa.lang

Modifier and Type	Class and Description
class	AutoloadProcedure Implement autoloading of Procedures.
class	Continuation A Continuation "represents an entire (default) future for the computation.
class	GetFieldProc
class	PatternScope Bindings from a syntax-case/syntax-rules pattern.
class	RecordConstructor
class	SetFieldProc
class	SyntaxRules
class	TemplateScope A scope created when expanding a SyntaxTemplate.

Fields in kawa.lang declared as Procedure

Modifier and Type	Field and Description
Procedure	BindDecls.compareEquals

Methods in kawa.lang that return Procedure

Modifier and Type	Method and Description
Procedure	AutoloadProcedure.getLoaded()
Procedure	AutoloadProcedure.getSetter()

Methods in kawa.lang with parameters of type Procedure

Modifier and Type	Method and Description
java.lang.Object	NamedException.applyHandler(java.lang.Object key, Procedure handler)
static java.lang.Object	Continuation.applyMethodCont(Procedure proc, CallContext ctx)
static Macro	Macro.make(java.lang.Object name, Procedure expander)
static Macro	Macro.make(java.lang.Object name, Procedure expander, java.lang.Object instance)
static Macro	Macro.makeNonHygienic(java.lang.Object name, Procedure expander)
static Macro	Macro.makeNonHygienic(java.lang.Object name, Procedure expander, java.lang.Object instance)
static Macro	Macro.makeSkipScanForm(java.lang.Object name, Procedure expander, java.lang.Object instance)

Constructors in kawa.lang with parameters of type Procedure

Constructor and Description
Macro(java.lang.Object name, Procedure expander)

Uses of Procedure in kawa.standard

Subclasses of Procedure in kawa.standard

Modifier and Type	Class and Description
class	append Implement the Scheme standard function "append".
class	load
class	make
class	TracedProcedure A TracedProcedure is a Procedure wrapper that writes trace output.
class	vector_append Implement the Scheme extended function "vector-append".

Fields in kawa.standard declared as Procedure

Modifier and Type	Field and Description
Procedure	TracedProcedure.proc

Methods in kawa.standard that return Procedure

Modifier and Type	Method and Description
static Procedure	TracedProcedure.doTrace(Procedure proc, boolean enable)

Methods in kawa.standard with parameters of type Procedure

Modifier and Type	Method and Description
static Procedure	TracedProcedure.doTrace(Procedure proc, boolean enable)
static Location	location.makeProcLocation$V(Procedure proc, java.lang.Object[] args)

Constructors in kawa.standard with parameters of type Procedure

Constructor and Description
TracedProcedure(Procedure proc, boolean enable)