Package org.eolang

Class AtFree

java.lang.Object

org.eolang.AtFree

All Implemented Interfaces:

Attr, Term

public final class AtFree
extends Object
implements Attr

Free attribute. The attribute is not yet set, but can be set. It's writable, but only once.

Since:

0.1

Constructor Summary

Constructors

Constructor	Description
AtFree()	Ctor.
AtFree(Attr attr)	Ctor.
AtFree(Attr attr, boolean used)	Ctor.
AtFree(Attr attr, AtomicBoolean used)	Ctor.
AtFree(Phi phi)	Ctor.

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

Constructor Detail

AtFree

public AtFree()

Ctor.

AtFree

public AtFree(Phi phi)

Ctor.

Parameters:

phi - Enclosing phi

AtFree

public AtFree(Attr attr)

Ctor.

Parameters:

attr - Attribute

AtFree

public AtFree(Attr attr,
              boolean used)

Ctor.

Parameters:

attr - Attribute

used - If the attribute is set

AtFree

public AtFree(Attr attr,
              AtomicBoolean used)

Ctor.

Parameters:

attr - Attribute

used - If the attribute is set

Method Detail

toString

public String toString()

Overrides:

toString in class Object

φ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

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