Package hydra.scala.syntax

Class AnnotateType

java.lang.Object

hydra.scala.syntax.AnnotateType

All Implemented Interfaces:

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

public class AnnotateType
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<AnnotateType>

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AnnotateType.Builder	A fluent builder for AnnotateType.

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<AnnotMod>	annots
static Name	ANNOTS	Name of the hydra.scala.syntax.AnnotateType.annots field.
Type	tpe
static Name	TPE	Name of the hydra.scala.syntax.AnnotateType.tpe field.
static Name	TYPE_	Name of the hydra.scala.syntax.AnnotateType type.

Constructor Summary

Constructors

Constructor	Description
AnnotateType(Type tpe, java.util.List<AnnotMod> annots)	Constructs an immutable AnnotateType.

Method Summary

Modifier and Type	Method	Description
static AnnotateType.Builder	builder()	Creates a new fluent builder for AnnotateType.
int	compareTo(AnnotateType other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
AnnotateType	withAnnots(java.util.List<AnnotMod> annots)	Returns a copy of this AnnotateType with annots replaced.
AnnotateType	withTpe(Type tpe)	Returns a copy of this AnnotateType with tpe replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.scala.syntax.AnnotateType type.

TPE

public static final Name TPE

Name of the hydra.scala.syntax.AnnotateType.tpe field.

ANNOTS

public static final Name ANNOTS

Name of the hydra.scala.syntax.AnnotateType.annots field.

tpe

public final Type tpe

annots

public final java.util.List<AnnotMod> annots

Constructor Detail

AnnotateType

public AnnotateType(Type tpe,
                    java.util.List<AnnotMod> annots)

Constructs an immutable AnnotateType.

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(AnnotateType other)

Specified by:

compareTo in interface java.lang.Comparable<AnnotateType>

withTpe

public AnnotateType withTpe(Type tpe)

Returns a copy of this AnnotateType with tpe replaced.

withAnnots

public AnnotateType withAnnots(java.util.List<AnnotMod> annots)

Returns a copy of this AnnotateType with annots replaced.

builder

public static AnnotateType.Builder builder()

Creates a new fluent builder for AnnotateType.