Package org.eolang

Interface Phi

All Superinterfaces:
Data
All Known Implementing Classes:
Data.ToPhi, EOangle, EOangle$EOcos, EOangle$EOsin, EObytes, EObytes_as_array, EObytes_as_input, EObytes$EOand, EObytes$EOconcat, EObytes$EOeq, EObytes$EOnot, EObytes$EOor, EObytes$EOright, EObytes$EOsize, EObytes$EOslice, EObytes$EOxor, EOconsole, EOcopied, EOcti, EOdataized, EOdead_input, EOdead_output, EOdir, EOdir$EOmade$EOmkdir, EOdir$EOtmpfile$EOtouch, EOdir$EOwalk, EOe, EOerror, EOfalse, EOfile, EOfile$EOdeleted$EOdelete, EOfile$EOexists, EOfile$EOis_directory, EOfile$EOmoved$EOmove, EOfile$EOopen$EOfile_stream$EOread$EOread_bytes, EOfile$EOopen$EOfile_stream$EOwrite$EOwritten_bytes, EOfile$EOopen$EOprocess_file, EOfile$EOsize, EOfile$EOtouched$EOtouch, EOgetenv, EOgo, EOhash_code_of, EOi16, EOi16$EOas_i32, EOi32, EOi32$EOas_i64, EOi64, EOi64$EOas_number, EOi64$EOdiv, EOi64$EOgt, EOi64$EOplus, EOi64$EOtimes, EOinput_length, EOintegral, EOline_separator, EOlist, EOmalloc, EOmalloc_as_output, EOmalloc$EOof$EOallocated$EOread, EOmalloc$EOof$EOallocated$EOresized, EOmalloc$EOof$EOallocated$EOsize, EOmalloc$EOof$EOallocated$EOwrite, EOmalloc$EOof$EOφ, EOmap, EOnan, EOnegative_infinity, EOnumber, EOnumber$EOas_i64, EOnumber$EOdiv, EOnumber$EOfloor, EOnumber$EOgt, EOnumber$EOplus, EOnumber$EOtimes, EOnumbers, EOos, EOos$EOname, EOpath, EOpi, EOpositive_infinity, EOposix, EOposix$EOφ, EOrandom, EOrange, EOrange_of_numbers, EOreal, EOreal$EOacos, EOreal$EOasin, EOreal$EOln, EOreal$EOpow, EOreal$EOsqrt, EOregex, EOregex$EOpattern$EOmatch$EOmatched_from_index, EOregex$EOφ, EOruntime, EOseq, EOset, EOsocket, EOsprintf, EOsscanf, EOstdin, EOstdout, EOstring, EOswitch, EOtee_input, EOtext, EOtmpdir, EOtrue, EOtry, EOtuple, EOwhile, EOwin32, EOwin32$EOφ, PhCached, PhComposite, PhCopy, PhDefault, PhLogged, PhMethod, PhOnce, PhSafe, PhVoid, PhWith
public interface Phi extends Data
A simple object.

We call it Phi because of the name of the φ-calculus. Actually, a better name would be "Object", but it's already occupied by Java. That's why we call it Phi.

It is guaranteed that the hash codes of different Phi are different, and equal to the vertex.

Since:
0.1

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.eolang.Data

    Data.ToPhi

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    LAMBDA
    Lambda attribute.
    static final String
    PHI
    Phi attribute.
    static final String
    RHO
    Rho attribute.
    static final Phi
    Φ
    The global scope object, which owns all other objects.

  • Method Summary

    Modifier and Type
    Method
    Description
    Phi
    copy()
    Make a copy, leaving it at the same parent.
    Phi
    copy(Phi self)
    Copy self object.
    String
    forma()
    Get forma of the phi.
    boolean
    hasRho()
    Returns true if object has bound rho attribute.
    String
    locator()
    Get code locator of the phi.
    void
    put(int pos, Phi object)
    Put object by position of the attribute.
    void
    put(String name, Phi object)
    Put object by name of the attribute.
    Phi
    take(int pos)
    Take object by position of the attribute.
    Phi
    take(String name)
    Take object by name of the attribute.

    Methods inherited from interface org.eolang.Data

    delta

  • Field Details

  • Method Details

    • copy

      Phi copy()
      Make a copy, leaving it at the same parent.
      Returns:
      A copy

    • hasRho

      boolean hasRho()
      Returns true if object has bound rho attribute.
      Returns:
      True if object has rho bound attribute

    • take

      Phi take(String name)
      Take object by name of the attribute.
      Parameters:
      name - The name of the attribute
      Returns:
      The object

    • take

      Phi take(int pos)
      Take object by position of the attribute.
      Parameters:
      pos - The position of the attribute
      Returns:
      The object

    • put

      void put(int pos, Phi object)
      Put object by position of the attribute.
      Parameters:
      pos - The position of the attribute.
      object - The object to put

    • put

      void put(String name, Phi object)
      Put object by name of the attribute.
      Parameters:
      name - The name of the attribute.
      object - The object to put

    • locator

      String locator()
      Get code locator of the phi.
      Returns:
      String containing code locator

    • forma

      String forma()
      Get forma of the phi.
      Returns:
      Forma of it as String.

    • copy

      Phi copy(Phi self)
      Copy self object.
      Parameters:
      self - Self
      Returns:
      Copy of self