Package hydra.error.checking
Class UndefinedTermVariableCheckingError
- java.lang.Object
-
- hydra.error.checking.UndefinedTermVariableCheckingError
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<UndefinedTermVariableCheckingError>
public class UndefinedTermVariableCheckingError extends java.lang.Object implements java.io.Serializable, java.lang.Comparable<UndefinedTermVariableCheckingError>
A reference to a term variable that is not bound in scope, encountered during checking- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description NamenameThe name of the undefined variablestatic NameNAMEName of thehydra.error.checking.UndefinedTermVariableCheckingError.namefield.SubtermPathpathThe subterm path at which the variable was referencedstatic NamePATHName of thehydra.error.checking.UndefinedTermVariableCheckingError.pathfield.static NameTYPE_Name of thehydra.error.checking.UndefinedTermVariableCheckingErrortype.
-
Constructor Summary
Constructors Constructor Description UndefinedTermVariableCheckingError(SubtermPath path, Name name)Constructs an immutableUndefinedTermVariableCheckingError.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(UndefinedTermVariableCheckingError other)booleanequals(java.lang.Object other)inthashCode()UndefinedTermVariableCheckingErrorwithName(Name name)Returns a copy of thisUndefinedTermVariableCheckingErrorwithnamereplaced.UndefinedTermVariableCheckingErrorwithPath(SubtermPath path)Returns a copy of thisUndefinedTermVariableCheckingErrorwithpathreplaced.
-
-
-
Field Detail
-
TYPE_
public static final Name TYPE_
Name of thehydra.error.checking.UndefinedTermVariableCheckingErrortype.
-
PATH
public static final Name PATH
Name of thehydra.error.checking.UndefinedTermVariableCheckingError.pathfield.
-
NAME
public static final Name NAME
Name of thehydra.error.checking.UndefinedTermVariableCheckingError.namefield.
-
path
public final SubtermPath path
The subterm path at which the variable was referenced
-
name
public final Name name
The name of the undefined variable
-
-
Constructor Detail
-
UndefinedTermVariableCheckingError
public UndefinedTermVariableCheckingError(SubtermPath path, Name name)
Constructs an immutableUndefinedTermVariableCheckingError.- Parameters:
path- The subterm path at which the variable was referencedname- The name of the undefined variable
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(UndefinedTermVariableCheckingError other)
- Specified by:
compareToin interfacejava.lang.Comparable<UndefinedTermVariableCheckingError>
-
withPath
public UndefinedTermVariableCheckingError withPath(SubtermPath path)
Returns a copy of thisUndefinedTermVariableCheckingErrorwithpathreplaced.
-
withName
public UndefinedTermVariableCheckingError withName(Name name)
Returns a copy of thisUndefinedTermVariableCheckingErrorwithnamereplaced.
-
-