Package org.eolang

Class PhSafe

    • Constructor Detail

      • PhSafe

        public PhSafe​(Phi phi)
        Ctor.
        Parameters:
        phi - The object
    • 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 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
      • take

        public Phi take​(String name)
        Description copied from interface: Phi
        Take object by name of the attribute.
        Specified by:
        take in interface Phi
        Parameters:
        name - The name of the attribute
        Returns:
        The object
      • put

        public boolean put​(int pos,
                           Phi object)
        Description copied from interface: Phi
        Put object by position of the attribute.
        Specified by:
        put in interface Phi
        Parameters:
        pos - The position of the attribute.
        object - The object to put
        Returns:
        Was attribute set
      • put

        public boolean put​(String name,
                           Phi object)
        Description copied from interface: Phi
        Put object by name of the attribute.
        Specified by:
        put in interface Phi
        Parameters:
        name - The name of the attribute.
        object - The object to put
        Returns:
        Was attribute set
      • 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.
      • attach

        public void attach​(byte[] data)
        Description copied from interface: Data
        Attach data to the object.
        Specified by:
        attach in interface Data
        Parameters:
        data - Data.
      • delta

        public byte[] delta()
        Description copied from interface: Data
        Take the data.
        Specified by:
        delta in interface Data
        Returns:
        The data