Class UnificationError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.torqlang.klvm.MachineError

org.torqlang.klvm.UnificationError

All Implemented Interfaces:

Serializable

public final class UnificationError
extends MachineError

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Value	a
final Value	b

Constructor Summary

Constructors

Constructor	Description
UnificationError(Value a, Value b)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Details

a

public final Value a

b

public final Value b

Constructor Details

UnificationError

public UnificationError(Value a,
 Value b)