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
`Name`	`name`	The name of the undefined variable
`static Name`	`NAME`	Name of the `hydra.error.checking.UndefinedTermVariableCheckingError.name` field.
`SubtermPath`	`path`	The subterm path at which the variable was referenced
`static Name`	`PATH`	Name of the `hydra.error.checking.UndefinedTermVariableCheckingError.path` field.
`static Name`	`TYPE_`	Name of the `hydra.error.checking.UndefinedTermVariableCheckingError` type.

Constructor Summary

Constructors
Constructor	Description
`UndefinedTermVariableCheckingError(SubtermPath path, Name name)`	Constructs an immutable `UndefinedTermVariableCheckingError`.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(UndefinedTermVariableCheckingError other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`UndefinedTermVariableCheckingError`	`withName(Name name)`	Returns a copy of this `UndefinedTermVariableCheckingError` with `name` replaced.
`UndefinedTermVariableCheckingError`	`withPath(SubtermPath path)`	Returns a copy of this `UndefinedTermVariableCheckingError` with `path` 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.checking.UndefinedTermVariableCheckingError type.
  - PATH
```
public static final Name PATH
```
    Name of the hydra.error.checking.UndefinedTermVariableCheckingError.path field.
  - NAME
```
public static final Name NAME
```
    Name of the hydra.error.checking.UndefinedTermVariableCheckingError.name field.
  - 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 immutable UndefinedTermVariableCheckingError.
    
    Parameters:
    
    path - The subterm path at which the variable was referenced
    
    name - The name of the undefined variable
- 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(UndefinedTermVariableCheckingError other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<UndefinedTermVariableCheckingError>
  - withPath
```
public UndefinedTermVariableCheckingError withPath(SubtermPath path)
```
    Returns a copy of this UndefinedTermVariableCheckingError with path replaced.
  - withName
```
public UndefinedTermVariableCheckingError withName(Name name)
```
    Returns a copy of this UndefinedTermVariableCheckingError with name replaced.

Class UndefinedTermVariableCheckingError

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

TYPE_

PATH

NAME

path

name

Constructor Detail

UndefinedTermVariableCheckingError

Method Detail

equals

hashCode

compareTo

withPath

withName