Package org.eolang

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