Package hydra.java.syntax

Class CatchFormalParameter

java.lang.Object

hydra.java.syntax.CatchFormalParameter

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
VariableDeclaratorId	id
static Name	ID	Name of the hydra.java.syntax.CatchFormalParameter.id field.
java.util.List<VariableModifier>	modifiers
static Name	MODIFIERS	Name of the hydra.java.syntax.CatchFormalParameter.modifiers field.
CatchType	type
static Name	TYPE	Name of the hydra.java.syntax.CatchFormalParameter.type field.
static Name	TYPE_	Name of the hydra.java.syntax.CatchFormalParameter type.

Constructor Summary

Constructors

Constructor	Description
CatchFormalParameter(java.util.List<VariableModifier> modifiers, CatchType type, VariableDeclaratorId id)	Constructs an immutable CatchFormalParameter.

Method Summary

Modifier and Type	Method	Description
int	compareTo(CatchFormalParameter other)
boolean	equals(java.lang.Object other)
int	hashCode()
CatchFormalParameter	withId(VariableDeclaratorId id)	Returns a copy of this CatchFormalParameter with id replaced.
CatchFormalParameter	withModifiers(java.util.List<VariableModifier> modifiers)	Returns a copy of this CatchFormalParameter with modifiers replaced.
CatchFormalParameter	withType(CatchType type)	Returns a copy of this CatchFormalParameter with type 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.CatchFormalParameter type.

MODIFIERS

public static final Name MODIFIERS

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

TYPE

public static final Name TYPE

Name of the hydra.java.syntax.CatchFormalParameter.type field.

ID

public static final Name ID

Name of the hydra.java.syntax.CatchFormalParameter.id field.

modifiers

public final java.util.List<VariableModifier> modifiers

type

public final CatchType type

id

public final VariableDeclaratorId id

Constructor Detail

CatchFormalParameter

public CatchFormalParameter(java.util.List<VariableModifier> modifiers,
                            CatchType type,
                            VariableDeclaratorId id)

Constructs an immutable CatchFormalParameter.

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

Specified by:

compareTo in interface java.lang.Comparable<CatchFormalParameter>

withModifiers

public CatchFormalParameter withModifiers(java.util.List<VariableModifier> modifiers)

Returns a copy of this CatchFormalParameter with modifiers replaced.

withType

public CatchFormalParameter withType(CatchType type)

Returns a copy of this CatchFormalParameter with type replaced.

withId

public CatchFormalParameter withId(VariableDeclaratorId id)

Returns a copy of this CatchFormalParameter with id replaced.