Package org.eolang

Class PhMany

java.lang.Object

org.eolang.PhMany

All Implemented Interfaces:

Phi, Term

Direct Known Subclasses:

PhMethod

public class PhMany
extends Object
implements Phi

An object wrapping another one.

Since:

0.1

Nested Class Summary

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

Phi.Compact

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhMany(Data<Phi> data, Supplier<String> blank, Supplier<String> expr)	Ctor.

Method Summary

Modifier and Type	Method	Description
Attr	attr(int pos)	Get attribute by position.
Attr	attr(String name)	Get attribute.
Phi	copy(Phi rho)	Make a copy, attaching it to a new parent.
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

PhMany

public PhMany(Data<Phi> data,
              Supplier<String> blank,
              Supplier<String> expr)

Ctor.

Parameters:

data - The object

Method Detail

toString

public final String toString()

Overrides:

toString in class Object

φTerm

public final 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 final Phi copy(Phi rho)

Description copied from interface: Phi

Make a copy, attaching it to a new parent.

Specified by:

copy in interface Phi

Parameters:

rho - New \rho to attach to

Returns:

A copy

attr

public final Attr attr(int pos)

Description copied from interface: Phi

Get attribute by position.

Specified by:

attr in interface Phi

Parameters:

pos - The position of the attribute

Returns:

The attr

attr

public final Attr attr(String name)

Description copied from interface: Phi

Get attribute.

Specified by:

attr in interface Phi

Parameters:

name - The name of the attribute

Returns:

The attr