InvalidForallParameterNameError (hydra-java 0.14.1 API)

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<InvalidForallParameterNameError>
```
public class InvalidForallParameterNameError
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<InvalidForallParameterNameError>
```
A forall type parameter name that violates type variable naming conventions (optional)

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field	Description
`SubtermPath`	`location`	The path to the forall type
`static Name`	`LOCATION`
`Name`	`name`	The invalid parameter name
`static Name`	`NAME`
`static Name`	`TYPE_`

Constructor Summary

Constructors
Constructor Description

InvalidForallParameterNameError(SubtermPath location, Name name)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(InvalidForallParameterNameError other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`InvalidForallParameterNameError`	`withLocation(SubtermPath location)`
`InvalidForallParameterNameError`	`withName(Name name)`

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
```

NAME
```
public static final Name NAME
```

location
```
public final SubtermPath location
```
The path to the forall type

name
```
public final Name name
```
The invalid parameter name

Constructor Detail

InvalidForallParameterNameError

public InvalidForallParameterNameError(SubtermPath location,
                                       Name name)

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(InvalidForallParameterNameError other)
```
Specified by:

compareTo in interface java.lang.Comparable<InvalidForallParameterNameError>

withLocation

public InvalidForallParameterNameError withLocation(SubtermPath location)

withName

public InvalidForallParameterNameError withName(Name name)