Package org.eolang

Interface Phi

All Superinterfaces:

Data, Term

All Known Implementing Classes:

Data.ToPhi, EOangle, EOangle$EOcos, EOangle$EOctan, EOangle$EOsin, EOangle$EOtan, EOas_phi, EObytes, EObytes_as_array, EObytes_as_array$EOslice_byte, EObytes_as_input, EObytes_as_input$EOread, EObytes_as_input$EOread$EOinput_block, EObytes_as_input$EOread$EOinput_block$EOread, EObytes$EOand, EObytes$EOas_i16, EObytes$EOas_i32, EObytes$EOas_i64, EObytes$EOas_number, EObytes$EOconcat, EObytes$EOeq, EObytes$EOleft, EObytes$EOnot, EObytes$EOor, EObytes$EOright, EObytes$EOsize, EObytes$EOslice, EObytes$EOxor, EOcage, EOcage$EOencaged, EOcage$EOencaged$EOencage, EOcage$EOencaged$EOφ, EOcage$EOφ, EOconsole, EOconsole$EOposix_console, EOconsole$EOposix_console$EOread, EOconsole$EOposix_console$EOread$EOinput_block, EOconsole$EOposix_console$EOread$EOinput_block$EOread, EOconsole$EOposix_console$EOwrite, EOconsole$EOposix_console$EOwrite$EOoutput_block, EOconsole$EOposix_console$EOwrite$EOoutput_block$EOwrite, EOconsole$EOwindows_console, EOconsole$EOwindows_console$EOread, EOconsole$EOwindows_console$EOread$EOinput_block, EOconsole$EOwindows_console$EOread$EOinput_block$EOread, EOconsole$EOwindows_console$EOwrite, EOconsole$EOwindows_console$EOwrite$EOoutput_block, EOconsole$EOwindows_console$EOwrite$EOoutput_block$EOwrite, EOcti, EOdataized, EOdataized$EOt1$EOa1, EOdead_input, EOdead_input$EOread, EOdead_input$EOread$EOinput_block, EOdead_input$EOread$EOinput_block$EOread, EOdead_output, EOdead_output$EOwrite, EOdead_output$EOwrite$EOoutput_block, EOdead_output$EOwrite$EOoutput_block$EOwrite, EOdir, EOdir$EOdeleted, EOdir$EOdeleted$EOrec_delete, EOdir$EOmade, EOdir$EOmade$EOmkdir, EOdir$EOopen, EOdir$EOtmpfile, EOdir$EOtmpfile$EOtouch, EOdir$EOwalk, EOe, EOerror, EOfalse, EOfalse$EOand, EOfalse$EOif, EOfalse$EOor, EOfile, EOfile$EOas_path, EOfile$EOdeleted, EOfile$EOdeleted$EOdelete, EOfile$EOexists, EOfile$EOis_directory, EOfile$EOmoved, EOfile$EOmoved$EOmove, EOfile$EOopen, EOfile$EOopen$EOfile_stream, EOfile$EOopen$EOfile_stream$EOread, EOfile$EOopen$EOfile_stream$EOread$EOinput_block, EOfile$EOopen$EOfile_stream$EOread$EOinput_block$EOread, EOfile$EOopen$EOfile_stream$EOread$EOinput_block$EOread$EOauto_named_attr_at_215_18, EOfile$EOopen$EOfile_stream$EOread$EOread_bytes, EOfile$EOopen$EOfile_stream$EOwrite, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block$EOwrite, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block$EOwrite$EOauto_named_attr_at_257_18, EOfile$EOopen$EOfile_stream$EOwrite$EOwritten_bytes, EOfile$EOopen$EOprocess_file, EOfile$EOsize, EOfile$EOtouched, EOfile$EOtouched$EOtouch, EOgetenv, EOgo, EOgo$EOt0$EOt0$EOt0$EOa2, EOgo$EOto, EOgo$EOto$EOauto_named_attr_at_65_9, EOgo$EOto$EOtoken, EOgo$EOto$EOtoken$EOforward, EOgo$EOto$EOtoken$EOjump, EOhash_code_of, EOhash_code_of$EOφ, EOhash_code_of$EOφ$EOrec_hash_code, EOi16, EOi16$EOas_i32, EOi16$EOdiv, EOi16$EOgt, EOi16$EOgte, EOi16$EOlt, EOi16$EOlte, EOi16$EOminus, EOi16$EOplus, EOi16$EOtimes, EOi32, EOi32$EOas_i16, EOi32$EOas_i64, EOi32$EOdiv, EOi32$EOgt, EOi32$EOgte, EOi32$EOlt, EOi32$EOlte, EOi32$EOminus, EOi32$EOplus, EOi32$EOtimes, EOi64, EOi64$EOas_i32, EOi64$EOas_number, EOi64$EOdiv, EOi64$EOgt, EOi64$EOgte, EOi64$EOlt, EOi64$EOlte, EOi64$EOminus, EOi64$EOplus, EOi64$EOtimes, EOinput_length, EOinput_length$EOrec_read, EOintegral, EOintegral$EOauto_named_attr_at_52_11, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16$EOauto_named_attr_at_59_17, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16$EOt3$EOa1, EOintegral$EOsubsection, EOline_separator, EOlist, EOlist$EOconcat, EOlist$EOconcat$EOt1$EOa2, EOlist$EOcontains, EOlist$EOeach, EOlist$EOeach$EOauto_named_attr_at_126_32, EOlist$EOeachi, EOlist$EOeachi$EOauto_named_attr_at_115_22, EOlist$EOeq, EOlist$EOeq$EOauto_named_attr_at_159_24, EOlist$EOfiltered, EOlist$EOfiltered$EOauto_named_attr_at_245_32, EOlist$EOfilteredi, EOlist$EOfilteredi$EOrec_filtered, EOlist$EOhead, EOlist$EOhead$EOauto_named_attr_at_266_32, EOlist$EOindex_of, EOlist$EOindex_of$EOauto_named_attr_at_179_24, EOlist$EOis_empty, EOlist$EOlast_index_of, EOlist$EOlast_index_of$EOauto_named_attr_at_192_24, EOlist$EOmapped, EOlist$EOmapped$EOauto_named_attr_at_105_30, EOlist$EOmappedi, EOlist$EOmappedi$EOauto_named_attr_at_95_24, EOlist$EOreduced, EOlist$EOreduced$EOauto_named_attr_at_85_42, EOlist$EOreducedi, EOlist$EOreducedi$EOrec_reduced, EOlist$EOsorted, EOlist$EOtail, EOlist$EOtail$EOauto_named_attr_at_282_26, EOlist$EOwith, EOlist$EOwithi, EOlist$EOwithout, EOlist$EOwithout$EOauto_named_attr_at_144_20, EOlist$EOwithouti, EOlist$EOwithouti$EOauto_named_attr_at_133_24, EOmalloc, EOmalloc_as_output, EOmalloc_as_output$EOwrite, EOmalloc_as_output$EOwrite$EOoutput_block, EOmalloc_as_output$EOwrite$EOoutput_block$EOwrite, EOmalloc$EOfor, EOmalloc$EOfor$EOauto_named_attr_at_90_9, EOmalloc$EOof, EOmalloc$EOof$EOallocated, EOmalloc$EOof$EOallocated$EOput, EOmalloc$EOof$EOallocated$EOread, EOmalloc$EOof$EOallocated$EOresize, EOmalloc$EOof$EOallocated$EOsize, EOmalloc$EOof$EOallocated$EOwrite, EOmalloc$EOof$EOφ, EOmap, EOmap$EOauto_named_attr_at_39_6, EOmap$EOauto_named_attr_at_39_6$EOrec_rebuild, EOmap$EOauto_named_attr_at_39_6$EOrec_rebuild$EOauto_named_attr_at_61_18, EOmap$EOentry, EOmap$EOinitialized, EOmap$EOinitialized$EOfound, EOmap$EOinitialized$EOfound$EOnot_found, EOmap$EOinitialized$EOfound$EOrec_key_search, EOmap$EOinitialized$EOfound$EOrec_key_search$EOauto_named_attr_at_135_54, EOmap$EOinitialized$EOhas, EOmap$EOinitialized$EOkeys, EOmap$EOinitialized$EOkeys$EOt0$EOa1, EOmap$EOinitialized$EOvalues, EOmap$EOinitialized$EOvalues$EOt0$EOa1, EOmap$EOinitialized$EOwith, EOmap$EOinitialized$EOwith$EOauto_named_attr_at_155_50, EOmap$EOinitialized$EOwith$EOauto_named_attr_at_156_12, EOmap$EOinitialized$EOwithout, EOmap$EOinitialized$EOwithout$EOauto_named_attr_at_169_48, EOnan, EOnan$EOdiv, EOnan$EOeq, EOnan$EOgt, EOnan$EOgte, EOnan$EOlt, EOnan$EOlte, EOnan$EOminus, EOnan$EOplus, EOnan$EOtimes, EOnegative_infinity, EOnegative_infinity$EOdiv, EOnegative_infinity$EOeq, EOnegative_infinity$EOgt, EOnegative_infinity$EOgte, EOnegative_infinity$EOlt, EOnegative_infinity$EOlte, EOnegative_infinity$EOminus, EOnegative_infinity$EOplus, EOnegative_infinity$EOtimes, EOnumber, EOnumber$EOas_i64, EOnumber$EOdiv, EOnumber$EOeq, EOnumber$EOfloor, EOnumber$EOgt, EOnumber$EOgte, EOnumber$EOis_finite, EOnumber$EOis_integer, EOnumber$EOis_nan, EOnumber$EOlt, EOnumber$EOlte, EOnumber$EOminus, EOnumber$EOplus, EOnumber$EOtimes, EOnumbers, EOnumbers$EOmax, EOnumbers$EOmax$EOt1$EOt2$EOa2, EOnumbers$EOmin, EOnumbers$EOmin$EOt1$EOt2$EOa2, EOos, EOos$EOis_windows, EOos$EOname, EOpath, EOpath$EOjoined, EOpath$EOposix, EOpath$EOposix$EObasename, EOpath$EOposix$EOdirname, EOpath$EOposix$EOextname, EOpath$EOposix$EOis_absolute, EOpath$EOposix$EOnormalized, EOpath$EOposix$EOnormalized$EOauto_named_attr_at_104_25, EOpath$EOposix$EOresolved, EOpath$EOseparator, EOpath$EOwin32, EOpath$EOwin32$EOvalidated, EOpath$EOwin32$EOvalidated$EObasename, EOpath$EOwin32$EOvalidated$EOdirname, EOpath$EOwin32$EOvalidated$EOextname, EOpath$EOwin32$EOvalidated$EOis_absolute, EOpath$EOwin32$EOvalidated$EOis_drive_relative, EOpath$EOwin32$EOvalidated$EOis_root_relative, EOpath$EOwin32$EOvalidated$EOnormalized, EOpath$EOwin32$EOvalidated$EOnormalized$EOauto_named_attr_at_359_27, EOpath$EOwin32$EOvalidated$EOresolved, EOpath$EOwin32$EOvalidated$EOseparated_correctly, EOpi, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOeq, EOpositive_infinity$EOgt, EOpositive_infinity$EOgte, EOpositive_infinity$EOlt, EOpositive_infinity$EOlte, EOpositive_infinity$EOminus, EOpositive_infinity$EOplus, EOpositive_infinity$EOtimes, EOposix, EOposix$EOreturn, EOposix$EOsockaddr_in, EOposix$EOtimeval, EOposix$EOφ, EOrandom, EOrandom$EOpseudo, EOrandom$EOpseudo$EOt6$EOt0$EOt0$EOa2, EOrange, EOrange_of_ints, EOrange_of_ints$EOauto_named_attr_at_44_8, EOrange_of_ints$EOauto_named_attr_at_44_8$EObuild, EOrange$EOappended, EOreal, EOreal$EOabs, EOreal$EOacos, EOreal$EOasin, EOreal$EOln, EOreal$EOmod, EOreal$EOmod$EOabs_mod, EOreal$EOpow, EOreal$EOsqrt, EOregex, EOregex$EOcompiled, EOregex$EOpattern, EOregex$EOpattern$EOmatch, EOregex$EOpattern$EOmatch$EOmatched, EOregex$EOpattern$EOmatch$EOmatched_from_index, EOregex$EOpattern$EOmatch$EOmatched$EOgroup, EOregex$EOpattern$EOmatch$EOnot_matched, EOregex$EOpattern$EOmatches, EOrust, EOseq, EOseq$EOloop, EOset, EOset$EOinitialized, EOset$EOinitialized$EOhas, EOset$EOinitialized$EOwith, EOset$EOinitialized$EOwithout, EOset$EOt1$EOt0$EOt0$EOt0$EOt0$EOa1, EOsocket, EOsocket$EOas_input, EOsocket$EOas_input$EOread, EOsocket$EOas_input$EOread$EOinput_block, EOsocket$EOas_input$EOread$EOinput_block$EOread, EOsocket$EOas_output, EOsocket$EOas_output$EOwrite, EOsocket$EOas_output$EOwrite$EOoutput_block, EOsocket$EOas_output$EOwrite$EOoutput_block$EOwrite, EOsocket$EOhtons, EOsocket$EOposix_socket, EOsocket$EOposix_socket$EOclosed_socket, EOsocket$EOposix_socket$EOconnect, EOsocket$EOposix_socket$EOconnect$EOauto_named_attr_at_278_10, EOsocket$EOposix_socket$EOlisten, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22$EOaccept, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22$EOaccept$EOt3$EOa1, EOsocket$EOposix_socket$EOsafe_socket, EOsocket$EOposix_socket$EOsafe_socket$EOt1$EOt2$EOa1, EOsocket$EOposix_socket$EOscoped_socket, EOsocket$EOposix_socket$EOscoped_socket$EOrecv, EOsocket$EOposix_socket$EOscoped_socket$EOsend, EOsocket$EOposix_socket$EOstrerror, EOsocket$EOwin_socket, EOsocket$EOwin_socket$EOclosed_socket, EOsocket$EOwin_socket$EOconnect, EOsocket$EOwin_socket$EOconnect$EOauto_named_attr_at_487_10, EOsocket$EOwin_socket$EOlast_error, EOsocket$EOwin_socket$EOlisten, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22$EOaccept, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22$EOaccept$EOt3$EOa1, EOsocket$EOwin_socket$EOsafe_socket, EOsocket$EOwin_socket$EOsafe_socket$EOt3$EOt2$EOa1, EOsocket$EOwin_socket$EOsafe_socket$EOt3$EOt2$EOt0$EOt2$EOa1, EOsocket$EOwin_socket$EOscoped_socket, EOsocket$EOwin_socket$EOscoped_socket$EOrecv, EOsocket$EOwin_socket$EOscoped_socket$EOsend, EOsprintf, EOsscanf, EOstdin, EOstdin$EOall_lines, EOstdin$EOall_lines$EOrec_read, EOstdin$EOnext_line, EOstdin$EOnext_line$EOrec_read, EOstdout, EOstring, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcase_at, EOtee_input, EOtee_input$EOread, EOtee_input$EOread$EOinput_block, EOtee_input$EOread$EOinput_block$EOread, EOtext, EOtext$EOas_number, EOtext$EOat, EOtext$EOchained, EOtext$EOchained$EOt1$EOt2$EOt0$EOt0$EOa2, EOtext$EOcontains, EOtext$EOends_with, EOtext$EOindex_of, EOtext$EOindex_of$EOrec_index_of_substr, EOtext$EOis_alpha, EOtext$EOis_alphanumeric, EOtext$EOis_ascii, EOtext$EOjoined, EOtext$EOjoined$EOwith_delimiter, EOtext$EOlast_index_of, EOtext$EOlast_index_of$EOrec_index_of_substr, EOtext$EOlow_cased, EOtext$EOlow_cased$EOauto_named_attr_at_294_22, EOtext$EOrepeated, EOtext$EOrepeated$EOrec_repeated, EOtext$EOreplaced, EOtext$EOreplaced$EOrec_replaced, EOtext$EOslice, EOtext$EOsplit, EOtext$EOsplit$EOrec_split, EOtext$EOstarts_with, EOtext$EOtrimmed, EOtext$EOtrimmed_left, EOtext$EOtrimmed_left$EOfirst_non_space_index, EOtext$EOtrimmed_right, EOtext$EOtrimmed_right$EOfirst_non_space_index, EOtext$EOup_cased, EOtext$EOup_cased$EOascii, EOtext$EOup_cased$EOauto_named_attr_at_261_22, EOtmpdir, EOtmpdir$EOt1$EOt0$EOos_tmp_dir_1, EOtrue, EOtrue$EOand, EOtrue$EOif, EOtrue$EOor, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOat$EOat_fast, EOtuple$EOempty, EOtuple$EOempty$EOat, EOtuple$EOempty$EOwith, EOtuple$EOlength, EOtuple$EOwith, EOwhile, EOwhile$EOloop, EOwin32, EOwin32$EOreturn, EOwin32$EOsockaddr_in, EOwin32$EOsystem_time, EOwin32$EOφ, PhCopy, PhData, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, PhTraced, PhWith

public interface Phi
extends Term, 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 Phi	Φ	The global scope object, which owns all other objects.

Fields inherited from interface org.eolang.Term

EMPTY

Method Summary

Modifier and Type	Method	Description
Phi	copy()	Make a copy, leaving it at the same parent.
String	forma()	Get forma of the phi.
String	locator()	Get code locator of the phi.
boolean	put(int pos, Phi object)	Put object by position of the attribute.
boolean	put(String name, Phi object)	Put object by name of the attribute.
Phi	take(String name)	Take object by name of the attribute.

Methods inherited from interface org.eolang.Data

attach, delta

Methods inherited from interface org.eolang.Term

φTerm

Field Detail

Φ

static final Phi Φ

The global scope object, which owns all other objects.

Method Detail

copy

Phi copy()

Make a copy, leaving it at the same parent.

Returns:

A copy

take

Phi take(String name)

Take object by name of the attribute.

Parameters:

name - The name of the attribute

Returns:

The object

put

boolean put(int pos,
            Phi object)

Put object by position of the attribute.

Parameters:

pos - The position of the attribute.

object - The object to put

Returns:

Was attribute set

put

boolean put(String name,
            Phi object)

Put object by name of the attribute.

Parameters:

name - The name of the attribute.

object - The object to put

Returns:

Was attribute set

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.