Package org.eolang

Interface Phi

All Superinterfaces:

Term

All Known Implementing Classes:

Data.ToPhi, Data.Value, EOas_phi, EObool, EObool$EOand, EObool$EOeq, EObool$EOif, EObool$EOnot, EObool$EOor, EObool$EOwhile, EObytes, EObytes$EOand, EObytes$EOas_bool, EObytes$EOas_bytes, EObytes$EOas_float, 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, EOerror, EOfloat, EOfloat$EOdiv, EOfloat$EOeq, EOfloat$EOgt, EOfloat$EOgte, EOfloat$EOlt, EOfloat$EOlte, EOfloat$EOminus, EOfloat$EOneg, EOfloat$EOplus, EOfloat$EOtimes, EOgoto, EOheap, EOheap$EOfree, EOheap$EOmalloc, EOheap$EOpointer, EOheap$EOpointer$EOadd, EOheap$EOpointer$EOblock, EOheap$EOpointer$EOsub, EOint, EOint$EOdiv, EOint$EOeq, EOint$EOgt, EOint$EOgte, EOint$EOlt, EOint$EOlte, EOint$EOminus, EOint$EOneg, EOint$EOplus, EOint$EOtimes, EOmemory, 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$EOis_nan, EOnegative_infinity$EOdiv$EOis_nan_or_infinite, EOnegative_infinity$EOdiv$EOis_num_gte_zero, EOnegative_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa0, EOnegative_infinity$EOdiv$EOis_num_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$EOplus, EOnegative_infinity$EOplus$EOis_nan, EOnegative_infinity$EOtimes, EOnegative_infinity$EOtimes$EOis_nan, EOnegative_infinity$EOtimes$EOis_nan_or_zero, EOnegative_infinity$EOtimes$EOis_num_gt_zero, EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa0, EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1, EOnop, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOdiv$EOis_nan, EOpositive_infinity$EOdiv$EOis_nan_or_infinite, EOpositive_infinity$EOdiv$EOis_num_gte_zero, EOpositive_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa0, EOpositive_infinity$EOdiv$EOis_num_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$EOplus, EOpositive_infinity$EOplus$EOis_nan, EOpositive_infinity$EOtimes, EOpositive_infinity$EOtimes$EOis_nan, EOpositive_infinity$EOtimes$EOis_nan_or_zero, EOpositive_infinity$EOtimes$EOis_num_gt_zero, EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa0, EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1, EOram, EOram$EOram_slice, EOram$EOram_slice$EOwrite, EOram$EOram_slice$EOφ, EOram$EOslice, EOram$EOwrite, EOrust, EOseq, EOstdin, EOstdin$EOnext_line, EOstdin$EOφ, EOstdout, EOstring, EOstring$EOas_bytes, EOstring$EOeq, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcase_at, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOempty, EOtuple$EOempty$EOat, EOtuple$EOempty$EOwith, EOtuple$EOlength, EOtuple$EOwith, PhConst, PhCopy, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, 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. It is guaranteed that the hash codes of different Phi are different, and equal to the vertex.

Since:

0.1

Field Summary

Fields

Modifier and Type	Field	Description
static Phi	Φ	The global scope object, which owns all other objects.

Method Summary

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	forma()	Get forma of the phi.
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

forma

String forma()

Get forma of the phi.

Returns:

Forma of it as String.