Package EOorg.EOeolang

Class EOerror.PhWithError

java.lang.Object

EOorg.EOeolang.EOerror.PhWithError

All Implemented Interfaces:

Phi, Term

Enclosing class:

EOerror

public static final class EOerror.PhWithError
extends Object
implements Phi

Phi constructed with error.

Since:

1.0

Field Summary

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
PhWithError(String msg)	Ctor.
PhWithError(String format, Object... params)	Ctor.

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.
void	move(Phi rho)	Move it to a new parent.
String	φTerm()	To φ-calculus term, as text.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PhWithError

public PhWithError(String msg)

Ctor.

Parameters:

msg - Error message

PhWithError

public PhWithError(String format,
                   Object... params)

Ctor.

Parameters:

format - Message format string

params - Parameters

Method Detail

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

move

public void move(Phi rho)

Description copied from interface: Phi

Move it to a new parent.

Specified by:

move in interface Phi

Parameters:

rho - New \rho to attach to

attr

public Attr attr(int pos)

Description copied from interface: Phi

Get attribute by position.

Specified by:

attr in interface Phi

Parameters:

pos - The position of the attribute

Returns:

The attr

attr

public Attr attr(String name)

Description copied from interface: Phi

Get attribute.

Specified by:

attr in interface Phi

Parameters:

name - The name of the attribute

Returns:

The attr

φ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