Package org.eolang

Class PhMethod

java.lang.Object

org.eolang.PhMethod

All Implemented Interfaces:

Phi, Term

public final class PhMethod
extends Object

A method-calling object.

Since:

0.1

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhMethod(Phi phi, String mtd)	Ctor.

Method Summary

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

PhMethod

public PhMethod(Phi phi,
                String mtd)

Ctor.

Parameters:

phi - The object

mtd - The name of method

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()

Description copied from interface: Phi

Make a copy, leaving it at the same parent.

Specified by:

copy in interface Phi

Returns:

A copy

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