Package org.eolang

Class PhTracedEnclosure

java.lang.Object

org.eolang.PhTracedEnclosure

All Implemented Interfaces:

Phi, Term

public final class PhTracedEnclosure
extends Object
implements Phi

Class to trace if the cage got into recursion during the dataization. NOT thread-safe.

Since:

0.36

Field Summary

Fields

Modifier and Type	Field	Description
static String	MAX_CAGE_RECURSION_DEPTH_PROPERTY_NAME	Name of property that responsible for keeping max depth.

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhTracedEnclosure(Phi enclosure, Phi cage)	Ctor.
PhTracedEnclosure(Phi enclosure, Phi cage, int depth)	The main constructor.

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)
String	forma()	Get forma of the phi.
int	hashCode()
String	locator()	Get code locator of the phi.
String	φTerm()	To φ-calculus term, as text.

Methods inherited from class java.lang.Object

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

Field Detail

MAX_CAGE_RECURSION_DEPTH_PROPERTY_NAME

public static final String MAX_CAGE_RECURSION_DEPTH_PROPERTY_NAME

Name of property that responsible for keeping max depth.

See Also:

Constant Field Values

Constructor Detail

PhTracedEnclosure

public PhTracedEnclosure(Phi enclosure,
                         Phi cage)

Ctor.

Parameters:

enclosure - Enclosure.

cage - Vertex of source cage.

PhTracedEnclosure

public PhTracedEnclosure(Phi enclosure,
                         Phi cage,
                         int depth)

The main constructor.

Parameters:

enclosure - Enclosure.

cage - Cage.

depth - Max depth of cage recursion.

Method Detail

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

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.

φ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

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object