Stat.Term (hydra-scala 0.17.6 API)

java.lang.Object
- hydra.scala.syntax.Stat
- - hydra.scala.syntax.Stat.Term

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Stat>

Enclosing class:

Stat
```
public static final class Stat.Term
extends Stat
implements java.io.Serializable
```
See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.scala.syntax.Stat
  Stat.Decl, Stat.Defn, Stat.ImportExport, Stat.PartialVisitor<R>, Stat.Term, Stat.Visitor<R>

Field Summary

Fields
Modifier and Type Field Description

Data value
- Fields inherited from class hydra.scala.syntax.Stat
  DECL, DEFN, IMPORT_EXPORT, TERM, TYPE_

Constructor Summary

Constructors
Constructor Description

Term(Data value)
Constructs an immutable Stat.Term.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(Stat.Visitor<R> visitor)`	Dispatch to `visitor`.
`int`	`compareTo(Stat other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`int`	`hydraOrdinal()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - value
```
public final Data value
```
- Constructor Detail
  - Term
```
public Term(Data value)
```
    Constructs an immutable Stat.Term.
- 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
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - compareTo
```
public int compareTo(Stat other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<Stat>
  - hydraOrdinal
```
public int hydraOrdinal()
```
    Specified by:
    
    hydraOrdinal in class Stat
  - accept
```
public <R> R accept(Stat.Visitor<R> visitor)
```
    Dispatch to visitor.
    
    Specified by:
    
    accept in class Stat