Package org.eolang

Class PhLocated

java.lang.Object

org.eolang.PhLocated

All Implemented Interfaces:

Phi, Term

public final class PhLocated
extends Object
implements Phi

An object with coordinates (line and position).

Since:

0.21

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhLocated(Phi phi, int lne, int pos)	Ctor.
PhLocated(Phi phi, int lne, int pos, String loc)	Ctor.

Method Summary

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

PhLocated

public PhLocated(Phi phi,
                 int lne,
                 int pos)

Ctor.

Parameters:

phi - The object

lne - Line

pos - Position

PhLocated

public PhLocated(Phi phi,
                 int lne,
                 int pos,
                 String loc)

Ctor.

Parameters:

phi - The object

lne - Line

pos - Position

loc - Location

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

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

Description copied from interface: Phi

Get attribute.

Specified by:

attr in interface Phi

Parameters:

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

forma

public String forma()

Description copied from interface: Phi

Get forma of the phi.

Specified by:

forma in interface Phi

Returns:

Forma of it as String.