Package org.eolang

Class PhUnvar

java.lang.Object

org.eolang.PhUnvar

All Implemented Interfaces:

Phi, Term

public final class PhUnvar
extends Object

Unvaring object.

Since:

0.21

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhUnvar(Phi phi)	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()
String	locator()	Get code locator of the phi.
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

PhUnvar

public PhUnvar(Phi phi)

Ctor.

Parameters:

phi - The object

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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

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

locator

public String locator()

Description copied from interface: Phi

Get code locator of the phi.

Specified by:

locator in interface Phi

Returns:

String containing code locator