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
static Name	TYPE_
java.lang.Boolean	value	The constant boolean value of the condition
static Name	VALUE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
int	compareTo(ConstantConditionError other)
boolean	equals(java.lang.Object other)
int	hashCode()
ConstantConditionError	withLocation(SubtermPath location)
ConstantConditionError	withValue(java.lang.Boolean value)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

LOCATION

public static final Name LOCATION

VALUE

public static final Name VALUE

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)

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)

withValue

public ConstantConditionError withValue(java.lang.Boolean value)