Package convex.core.lang.impl

Class AClosure<T extends ACell>

java.lang.Object

convex.core.data.AObject

convex.core.data.ACell

convex.core.lang.AFn<T>

convex.core.lang.impl.AClosure<T>

Type Parameters:

T - Return type of function

All Implemented Interfaces:

IValidated, IWriteable, IFn<T>

Direct Known Subclasses:

Fn, MultiFn

public abstract class AClosure<T extends ACell>
extends AFn<T>

Abstract base class for functions that can close over a lexical environment.

Field Summary

Fields

Modifier and Type	Field	Description
protected final AVector<ACell>	lexicalEnv	Lexical environment saved for this closure

Fields inherited from class convex.core.data.ACell

cachedRef, memorySize

Fields inherited from class convex.core.data.AObject

encoding

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AClosure(AVector<ACell> lexicalEnv)

Method Summary

Modifier and Type	Method	Description
abstract boolean	printInternal(BlobBuilder sb, long limit)	Print the "internal" representation of a closure e.g.
abstract <F extends AClosure<T>> F	withEnvironment(AVector<ACell> env)	Produces an copy of this closure with the specified environment

Methods inherited from class convex.core.lang.AFn

equals, getTag, getType, hasArity, invoke, isCVMValue, isDataValue, supportsArgs, updateRefs

Methods inherited from class convex.core.data.ACell

attachMemorySize, attachRef, cachedEncoding, cachedHash, calcMemorySize, createEncoding, createRef, encode, encodeRaw, equals, genericEquals, getCanonical, getChildRefs, getEncoding, getEncodingLength, getHash, getMemorySize, getMemorySize, getRef, getRef, getRefCount, hashCode, isCanonical, isEmbedded, toCanonical, toCVMString, toString, validate, validateCell

Methods inherited from class convex.core.data.AObject

attachEncoding, print, print, print

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface convex.core.data.IWriteable

estimatedEncodingSize

Field Details

lexicalEnv

protected final AVector<ACell> lexicalEnv

Lexical environment saved for this closure

Constructor Details

AClosure

protected AClosure(AVector<ACell> lexicalEnv)

Method Details

withEnvironment

public abstract <F extends AClosure<T>> F withEnvironment(AVector<ACell> env)

Produces an copy of this closure with the specified environment

Parameters:

env - New lexical environment to use for this closure

Returns:

Closure updated with new lexical environment

printInternal

public abstract boolean printInternal(BlobBuilder sb,
 long limit)

Print the "internal" representation of a closure e.g. "[x] 1", excluding the 'fn' symbol.

Parameters:

sb - StringBuilder to print to

limit - Limit of BlobBuilder size

Returns:

True if printed successfully within limit, false otherwise