Package org.eolang

Class AtComposite

java.lang.Object

org.eolang.AtComposite

All Implemented Interfaces:

Attr, Term

public final class AtComposite
extends Object
implements Attr

Static attribute with an expression inside, which constructs an object.

Since:

0.1

Nested Class Summary

Nested classes/interfaces inherited from interface org.eolang.Attr

Attr.FlowException, Attr.IllegalAttrException, Attr.ReadOnlyException, Attr.StillAbstractException

Constructor Summary

Constructors

Constructor	Description
AtComposite(Phi obj, Expr exp)	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

AtComposite

public AtComposite(Phi obj,
                   Expr exp)

Ctor.

Parameters:

obj - The \rho

exp - The expression

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