Package org.eolang

Class PhConst

java.lang.Object

org.eolang.PhConst

All Implemented Interfaces:

Phi, Term

public final class PhConst
extends Object
implements Phi

A const origin.

Since:

0.16

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhConst(Phi phi)	Ctor.
PhConst(Phi phi, Map<String,Attr> names, Map<Integer,Attr> nums)	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.
boolean	equals(Object obj)
int	hashCode()
void	move(Phi rho)	Move it to a new parent.
String	toString()
String	φTerm()	To φ-calculus term, as text.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PhConst

public PhConst(Phi phi)

Ctor.

Parameters:

phi - The origin

PhConst

public PhConst(Phi phi,
               Map<String,Attr> names,
               Map<Integer,Attr> nums)

Ctor.

Parameters:

phi - The origin

names - Attrs-by-names pre-cached

nums - Attrs-by-positions pre-cached

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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

move

public void move(Phi rho)

Description copied from interface: Phi

Move it to a new parent.

Specified by:

move in interface Phi

Parameters:

rho - New \rho to attach to

attr

public 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 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