Package org.eolang

Class PhDefault

    • Field Detail

      • VTX

        protected static final org.eolang.Vertices VTX
        Vertices.
      • vertex

        protected int vertex
        Identity of it (the ID of the vertex).
    • Constructor Detail

      • PhDefault

        public PhDefault()
        Ctor.
      • PhDefault

        public PhDefault​(Phi sigma)
        Ctor.
        Parameters:
        sigma - Sigma
    • Method Detail

      • hashCode

        public int hashCode()
        Overrides:
        hashCode 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 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
      • move

        public final 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 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
      • add

        protected final void add​(String name,
                                 Attr attr)
        Add new attribute. This method can only be called from child classes, in their constructors, when the declare their attributes. This is why it's protected. Not the brightest design, I admit.
        Parameters:
        name - The name
        attr - The attr
      • toStringWith

        protected String toStringWith​(String... lines)
        Make a string with this additional list of lines.
        Parameters:
        lines - Lines to show in addition
        Returns:
        The string