EmptyLetBindingsError (hydra-java 0.14.1 API)

java.lang.Object
- hydra.error.core.EmptyLetBindingsError

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<EmptyLetBindingsError>
```
public class EmptyLetBindingsError
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<EmptyLetBindingsError>
```
A let expression with an empty list of bindings (optional)

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

SubtermPath location
The path to the empty let expression within the term

static Name LOCATION

static Name TYPE_

Constructor Summary

Constructors
Constructor Description

EmptyLetBindingsError(SubtermPath location)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(EmptyLetBindingsError other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`

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
```
  - location
```
public final SubtermPath location
```
    The path to the empty let expression within the term
- Constructor Detail
  - EmptyLetBindingsError
```
public EmptyLetBindingsError(SubtermPath location)
```
- 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(EmptyLetBindingsError other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<EmptyLetBindingsError>