Package EOorg.EOeolang

Class AtMemoized

java.lang.Object

EOorg.EOeolang.AtMemoized

All Implemented Interfaces:

Attr, Term

public final class AtMemoized
extends Object
implements Attr

An attribute that knows how to memoize an object.

Since:

0.24

Field Summary

Fields

Modifier and Type	Field	Description
static String	EMPTY_TERM	The term to show when empty.

Constructor Summary

Constructors

Constructor	Description
AtMemoized()	Ctor, needed for copying.

Method Summary

Modifier and Type	Method	Description
Attr	copy(Phi self)	Make a copy of it.
Phi	get()	Take the object out.
void	put(Phi phi)	Put a new object in.
String	toString()
String	φTerm()	To φ-calculus term, as text.

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY_TERM

public static final String EMPTY_TERM

The term to show when empty.

See Also:

Constant Field Values

Constructor Detail

AtMemoized

public AtMemoized()

Ctor, needed for copying.

Method Detail

copy

public Attr copy(Phi self)

Description copied from interface: Attr

Make a copy of it.

Specified by:

copy in interface Attr

Parameters:

self - The object that this attribute will belong to

Returns:

A copy

get

public Phi get()

Description copied from interface: Attr

Take the object out.

Specified by:

get in interface Attr

Returns:

The object

put

public void put(Phi phi)

Description copied from interface: Attr

Put a new object in.

Specified by:

put in interface Attr

Parameters:

phi - The object to put

φTerm

public String φTerm()

Description copied from interface: Term

To φ-calculus term, as text.

Specified by:

φTerm in interface Term

Returns:

The expression in φ-calculus

toString

public String toString()

Overrides:

toString in class Object