Package hydra.java.syntax

Class RecordDeclaration

java.lang.Object

hydra.java.syntax.RecordDeclaration

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
RecordBody	body
static Name	BODY	Name of the hydra.java.syntax.RecordDeclaration.body field.
RecordHeader	header
static Name	HEADER	Name of the hydra.java.syntax.RecordDeclaration.header field.
TypeIdentifier	identifier
static Name	IDENTIFIER	Name of the hydra.java.syntax.RecordDeclaration.identifier field.
static Name	IMPLEMENTS	Name of the hydra.java.syntax.RecordDeclaration.implements field.
java.util.List<InterfaceType>	implements_
java.util.List<ClassModifier>	modifiers
static Name	MODIFIERS	Name of the hydra.java.syntax.RecordDeclaration.modifiers field.
java.util.List<TypeParameter>	parameters
static Name	PARAMETERS	Name of the hydra.java.syntax.RecordDeclaration.parameters field.
static Name	TYPE_	Name of the hydra.java.syntax.RecordDeclaration type.

Constructor Summary

Constructors

Constructor	Description
RecordDeclaration(java.util.List<ClassModifier> modifiers, TypeIdentifier identifier, java.util.List<TypeParameter> parameters, RecordHeader header, java.util.List<InterfaceType> implements_, RecordBody body)	Constructs an immutable RecordDeclaration.

Method Summary

Modifier and Type	Method	Description
int	compareTo(RecordDeclaration other)
boolean	equals(java.lang.Object other)
int	hashCode()
RecordDeclaration	withBody(RecordBody body)	Returns a copy of this RecordDeclaration with body replaced.
RecordDeclaration	withHeader(RecordHeader header)	Returns a copy of this RecordDeclaration with header replaced.
RecordDeclaration	withIdentifier(TypeIdentifier identifier)	Returns a copy of this RecordDeclaration with identifier replaced.
RecordDeclaration	withImplements(java.util.List<InterfaceType> implements_)	Returns a copy of this RecordDeclaration with implements replaced.
RecordDeclaration	withModifiers(java.util.List<ClassModifier> modifiers)	Returns a copy of this RecordDeclaration with modifiers replaced.
RecordDeclaration	withParameters(java.util.List<TypeParameter> parameters)	Returns a copy of this RecordDeclaration with parameters 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.java.syntax.RecordDeclaration type.

MODIFIERS

public static final Name MODIFIERS

Name of the hydra.java.syntax.RecordDeclaration.modifiers field.

IDENTIFIER

public static final Name IDENTIFIER

Name of the hydra.java.syntax.RecordDeclaration.identifier field.

PARAMETERS

public static final Name PARAMETERS

Name of the hydra.java.syntax.RecordDeclaration.parameters field.

HEADER

public static final Name HEADER

Name of the hydra.java.syntax.RecordDeclaration.header field.

IMPLEMENTS

public static final Name IMPLEMENTS

Name of the hydra.java.syntax.RecordDeclaration.implements field.

BODY

public static final Name BODY

Name of the hydra.java.syntax.RecordDeclaration.body field.

modifiers

public final java.util.List<ClassModifier> modifiers

identifier

public final TypeIdentifier identifier

parameters

public final java.util.List<TypeParameter> parameters

header

public final RecordHeader header

implements_

public final java.util.List<InterfaceType> implements_

body

public final RecordBody body

Constructor Detail

RecordDeclaration

public RecordDeclaration(java.util.List<ClassModifier> modifiers,
                         TypeIdentifier identifier,
                         java.util.List<TypeParameter> parameters,
                         RecordHeader header,
                         java.util.List<InterfaceType> implements_,
                         RecordBody body)

Constructs an immutable RecordDeclaration.

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

Specified by:

compareTo in interface java.lang.Comparable<RecordDeclaration>

withModifiers

public RecordDeclaration withModifiers(java.util.List<ClassModifier> modifiers)

Returns a copy of this RecordDeclaration with modifiers replaced.

withIdentifier

public RecordDeclaration withIdentifier(TypeIdentifier identifier)

Returns a copy of this RecordDeclaration with identifier replaced.

withParameters

public RecordDeclaration withParameters(java.util.List<TypeParameter> parameters)

Returns a copy of this RecordDeclaration with parameters replaced.

withHeader

public RecordDeclaration withHeader(RecordHeader header)

Returns a copy of this RecordDeclaration with header replaced.

withImplements

public RecordDeclaration withImplements(java.util.List<InterfaceType> implements_)

Returns a copy of this RecordDeclaration with implements replaced.

withBody

public RecordDeclaration withBody(RecordBody body)

Returns a copy of this RecordDeclaration with body replaced.