All Superinterfaces:

Term

All Known Implementing Classes:

Data.ToPhi, Data.Value, EOangle, EOangle$EOas_degrees, EOangle$EOas_radians, EOangle$EOctan, EOangle$EOtan, EOas_phi, EObool, EObool$EOand, EObool$EOas_bytes, EObool$EOas_hash, EObool$EOeq, EObool$EOif, EObool$EOnot, EObool$EOor, EObool$EOwhile, EObytes, EObytes_as_array, EObytes_as_array$EOslice_byte, EObytes$EOand, EObytes$EOas_bool, EObytes$EOas_bytes, EObytes$EOas_float, EObytes$EOas_hash, EObytes$EOas_hash$EOt0$EOa2, EObytes$EOas_int, EObytes$EOas_string, EObytes$EOconcat, EObytes$EOeq, EObytes$EOleft, EObytes$EOnot, EObytes$EOor, EObytes$EOright, EObytes$EOsize, EObytes$EOslice, EObytes$EOxor, EOcage, EOcti, EOe, EOerror, EOfloat, EOfloat$EOas_bytes, EOfloat$EOas_hash, EOfloat$EOdiv, EOfloat$EOeq, EOfloat$EOgt, EOfloat$EOgte, EOfloat$EOlt, EOfloat$EOlte, EOfloat$EOminus, EOfloat$EOminus$EOrec_terms, EOfloat$EOneg, EOfloat$EOplus, EOfloat$EOtimes, EOgoto, EOhash_code_of, EOhash_code_of$EOt1$EOt3$EOa1, EOhash_code_of$EOt1$EOt3$EOa1$EOrec_hash_code, EOheap, EOheap$EOfree, EOheap$EOmalloc, EOheap$EOpointer, EOheap$EOpointer$EOadd, EOheap$EOpointer$EOblock, EOheap$EOpointer$EOsub, EOint, EOint$EOas_bytes, EOint$EOas_hash, EOint$EOdiv, EOint$EOeq, EOint$EOgt, EOint$EOgte, EOint$EOlt, EOint$EOlte, EOint$EOminus, EOint$EOminus$EOrec_terms, EOint$EOneg, EOint$EOplus, EOint$EOtimes, EOintegral, EOintegral$EOsubsection, EOintegral$EOt9$EOt0$EOa1, EOlist, EOlist$EOconcat, EOlist$EOconcat$EOt1$EOa2, EOlist$EOcontains, EOlist$EOeach, EOlist$EOeach$EOt1$EOt0$EOa2, EOlist$EOeq, EOlist$EOeq$EOt1$EOt1$EOa2, EOlist$EOfiltered, EOlist$EOfiltered$EOt1$EOa1, EOlist$EOfilteredi, EOlist$EOfilteredi$EOrec_filtered, EOlist$EOgt, EOlist$EOgte, EOlist$EOhead, EOlist$EOhead$EOt2$EOt2$EOt2$EOa2, EOlist$EOindex_of, EOlist$EOindex_of$EOt1$EOa2, EOlist$EOinflated, EOlist$EOinflated$EOrec_inflated, EOlist$EOis_empty, EOlist$EOlast_index_of, EOlist$EOlast_index_of$EOt1$EOa2, EOlist$EOlt, EOlist$EOlte, EOlist$EOmapped, EOlist$EOmapped$EOt1$EOa1, EOlist$EOmappedi, EOlist$EOmappedi$EOt1$EOt0$EOa2, EOlist$EOreduced, EOlist$EOreduced$EOt2$EOa2, EOlist$EOreducedi, EOlist$EOreducedi$EOrec_reduced, EOlist$EOsorted, EOlist$EOsorted$EOswap, EOlist$EOsorted$EOt0$EOa2, EOlist$EOsorted$EOt3$EOa1, EOlist$EOsorted$EOt3$EOa1$EOt1$EOt2$EOa1, EOlist$EOsorted$EOt4$EOt1$EOa2, EOlist$EOtail, EOlist$EOtail$EOt2$EOt2$EOa2, EOlist$EOwith, EOlist$EOwithi, EOlist$EOwithout, EOlist$EOwithout$EOt1$EOt0$EOa2, EOlist$EOwithouti, EOlist$EOwithouti$EOt1$EOa2, EOmap, EOmap$EOcontains_key, EOmap$EOcontains_key$EOt1$EOa2, EOmap$EOfound, EOmap$EOkeys, EOmap$EOkeys$EOt1$EOa1, EOmap$EOsize, EOmap$EOwith, EOmap$EOwithout, EOmemory, EOmultimap, EOmultimap$EOconcat_all_arrays, EOmultimap$EOconcat_all_arrays$EOt1$EOa2, EOmultimap$EOfind_in_list, EOmultimap$EOfind_in_list$EOt2$EOa2, EOmultimap$EOfound, EOmultimap$EOkeys, EOmultimap$EOkeys$EOt1$EOa1, EOmultimap$EOpairs_to_hash, EOmultimap$EOpairs_to_hash$EOt1$EOa2, EOmultimap$EOrebuilded, EOmultimap$EOrebuilded$EOcomparable_pair, EOmultimap$EOrebuilded$EOcomparable_pair$EOlt, EOmultimap$EOrebuilded$EOcreate_array_by_hash, EOmultimap$EOrebuilded$EOcreate_array_by_hash$EOt3$EOa2, EOmultimap$EOrebuilded$EOfill_to_size, EOmultimap$EOrebuilded$EOt2$EOa1, EOmultimap$EOrebuilded$EOt5$EOa2, EOmultimap$EOsize, EOmultimap$EOwith, EOmultimap$EOwithout, EOmultimap$EOwithout_in_list, EOmultimap$EOwithout_in_list$EOt2$EOa2, EOnan, EOnan$EOdiv, EOnan$EOeq, EOnan$EOgt, EOnan$EOgte, EOnan$EOlt, EOnan$EOlte, EOnan$EOminus, EOnan$EOneg, EOnan$EOplus, EOnan$EOtimes, EOnegative_infinity, EOnegative_infinity$EOdiv, EOnegative_infinity$EOdiv$EOdiv_rec, EOnegative_infinity$EOdiv$EOdiv_rec$EOt9$EOt2$EOa2, EOnegative_infinity$EOdiv$EOis_nan, EOnegative_infinity$EOdiv$EOis_nan_or_infinite, EOnegative_infinity$EOdiv$EOis_term_gte_zero, EOnegative_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0, EOnegative_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa1, EOnegative_infinity$EOeq, EOnegative_infinity$EOgt, EOnegative_infinity$EOgte, EOnegative_infinity$EOlt, EOnegative_infinity$EOlte, EOnegative_infinity$EOminus, EOnegative_infinity$EOminus$EOis_nan, EOnegative_infinity$EOminus$EOis_nan_or_neg_inf, EOnegative_infinity$EOminus$EOminus_rec, EOnegative_infinity$EOneg, EOnegative_infinity$EOplus, EOnegative_infinity$EOplus$EOis_nan, EOnegative_infinity$EOplus$EOis_nan_or_pos_inf, EOnegative_infinity$EOplus$EOplus_rec, EOnegative_infinity$EOtimes, EOnegative_infinity$EOtimes$EOis_nan, EOnegative_infinity$EOtimes$EOis_nan_or_zero, EOnegative_infinity$EOtimes$EOis_term_gt_zero, EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0, EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1, EOnegative_infinity$EOtimes$EOtimes_rec, EOnegative_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2, EOnop, EOnumber, EOnumber$EOabs, EOnumber$EOand, EOnumber$EOarccos, EOnumber$EOarccos$EObinary_method, EOnumber$EOarccos$EObinary_method$EOt7$EOt0$EOa1, EOnumber$EOceil, EOnumber$EOceil$EOt1$EOa2, EOnumber$EOexp, EOnumber$EOis_float, EOnumber$EOis_infinite, EOnumber$EOis_int, EOnumber$EOis_nan, EOnumber$EOleft, EOnumber$EOln, EOnumber$EOln$EOln_if_greater_than_1, EOnumber$EOln$EOln_if_greater_than_1$EOterm_1, EOnumber$EOln$EOln_if_greater_than_1$EOterm_1$EOt2$EOt0$EOa1, EOnumber$EOln$EOln_if_greater_than_1$EOterm_2, EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor, EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor$EOt4$EOt0$EOa1, EOnumber$EOlog, EOnumber$EOlog$EOt2$EOa2, EOnumber$EOmod, EOnumber$EOmod$EOabs_mod, EOnumber$EOneq, EOnumber$EOor, EOnumber$EOpower, EOnumber$EOpower$EOt1$EOa2, EOnumber$EOpower$EOt1$EOa2$EObin_powf, EOnumber$EOpower$EOt1$EOa2$EObin_powf$EOt2$EOa2, EOnumber$EOpower$EOt1$EOa2$EObin_powi, EOnumber$EOpower$EOt1$EOa2$EObin_powi$EOt2$EOa2, EOnumber$EOright, EOnumber$EOsignum, EOnumber$EOsqrt, EOnumber$EOsqrt$EObabylonian_method, EOnumber$EOsqrt$EObabylonian_method$EOt4$EOt0$EOa1, EOnumber$EOtaylor, EOnumber$EOtaylor$EOt8$EOt2$EOa1, EOnumber$EOxor, EOpi, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOdiv$EOdiv_rec, EOpositive_infinity$EOdiv$EOdiv_rec$EOt9$EOt2$EOa2, EOpositive_infinity$EOdiv$EOis_nan, EOpositive_infinity$EOdiv$EOis_nan_or_infinite, EOpositive_infinity$EOdiv$EOis_term_gte_zero, EOpositive_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0, EOpositive_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa1, EOpositive_infinity$EOeq, EOpositive_infinity$EOgt, EOpositive_infinity$EOgte, EOpositive_infinity$EOlt, EOpositive_infinity$EOlte, EOpositive_infinity$EOminus, EOpositive_infinity$EOminus$EOis_nan, EOpositive_infinity$EOminus$EOis_nan_or_pos_inf, EOpositive_infinity$EOminus$EOminus_rec, EOpositive_infinity$EOneg, EOpositive_infinity$EOplus, EOpositive_infinity$EOplus$EOis_nan, EOpositive_infinity$EOplus$EOis_nan_or_neg_inf, EOpositive_infinity$EOplus$EOplus_rec, EOpositive_infinity$EOtimes, EOpositive_infinity$EOtimes$EOis_nan, EOpositive_infinity$EOtimes$EOis_nan_or_zero, EOpositive_infinity$EOtimes$EOis_term_gt_zero, EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0, EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1, EOpositive_infinity$EOtimes$EOtimes_rec, EOpositive_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2, EOram, EOram$EOram_slice, EOram$EOram_slice$EOwrite, EOram$EOram_slice$EOφ, EOram$EOslice, EOram$EOwrite, EOrandom, EOrandom$EOnext, EOrandom$EOpseudo, EOrandom$EOφ, EOrange, EOrange$EOφ, EOrange$EOφ$EOappend, EOrange$EOφ$EOappend$EOt3$EOa1, EOrust, EOseq, EOseries, EOseries$EOmax, EOseries$EOmax$EOt1$EOt2$EOa2, EOseries$EOmin, EOseries$EOmin$EOt1$EOt2$EOa2, EOset, EOset$EOt1$EOa2, EOset$EOt1$EOa2$EOt0$EOa2, EOset$EOt1$EOa2$EOt0$EOt0$EOt0$EOa2, EOset$EOwith, EOstdin, EOstdin$EOnext_line, EOstdin$EOφ, EOstdout, EOstring, EOstring$EOas_bytes, EOstring$EOas_hash, EOstring$EOeq, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcheck_case_at, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOlength, EOtuple$EOwith, EOuname, PhConst, PhCopy, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, PhUnvar, PhWith
```
public interface Phi
extends Term
```
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.

Since:

0.1

Field Summary

Fields
Modifier and Type Field Description

static Phi Φ
The global scope object, which owns all other objects.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Attr`	`attr(int pos)`	Get attribute by position.
`Attr`	`attr(String name)`	Get attribute.
`Phi`	`copy()`	Make a copy, leaving it at the same parent.
`String`	`locator()`	Get code locator of the phi.

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
  - attr
```
Attr attr(int pos)
```
    Get attribute by position.
    
    Parameters:
    
    pos - The position of the attribute
    
    Returns:
    
    The attr
  - attr
```
Attr attr(String name)
```
    Get attribute.
    
    Parameters:
    
    name - The name of the attribute
    
    Returns:
    
    The attr
  - locator
```
String locator()
```
    Get code locator of the phi.
    
    Returns:
    
    String containing code locator

Interface Phi

Field Summary

Method Summary

Methods inherited from interface org.eolang.Term

Field Detail

Φ

Method Detail

copy

attr

attr

locator