Package hydra.error.core

Class ConstantConditionError

java.lang.Object

hydra.error.core.ConstantConditionError

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ConstantConditionError>

public class ConstantConditionError
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<ConstantConditionError>

An application of ifElse where the condition is a literal boolean, creating a dead branch (optional)

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
SubtermPath	location	The path to the constant condition within the term
static Name	LOCATION	Name of the hydra.error.core.ConstantConditionError.location field.
static Name	TYPE_	Name of the hydra.error.core.ConstantConditionError type.
java.lang.Boolean	value	The constant boolean value of the condition
static Name	VALUE	Name of the hydra.error.core.ConstantConditionError.value field.

Constructor Summary

Constructors

Constructor	Description
ConstantConditionError(SubtermPath location, java.lang.Boolean value)	Constructs an immutable ConstantConditionError.

Method Summary

Modifier and Type	Method	Description
int	compareTo(ConstantConditionError other)
boolean	equals(java.lang.Object other)
int	hashCode()
ConstantConditionError	withLocation(SubtermPath location)	Returns a copy of this ConstantConditionError with location replaced.
ConstantConditionError	withValue(java.lang.Boolean value)	Returns a copy of this ConstantConditionError with value replaced.

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.error.core.ConstantConditionError type.

LOCATION

public static final Name LOCATION

Name of the hydra.error.core.ConstantConditionError.location field.

VALUE

public static final Name VALUE

Name of the hydra.error.core.ConstantConditionError.value field.

location

public final SubtermPath location

The path to the constant condition within the term

value

public final java.lang.Boolean value

The constant boolean value of the condition

Constructor Detail

ConstantConditionError

public ConstantConditionError(SubtermPath location,
                              java.lang.Boolean value)

Constructs an immutable ConstantConditionError.

Parameters:

location - The path to the constant condition within the term

value - The constant boolean value of the condition

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(ConstantConditionError other)

Specified by:

compareTo in interface java.lang.Comparable<ConstantConditionError>

withLocation

public ConstantConditionError withLocation(SubtermPath location)

Returns a copy of this ConstantConditionError with location replaced.

withValue

public ConstantConditionError withValue(java.lang.Boolean value)

Returns a copy of this ConstantConditionError with value replaced.