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 VariableDeclaratorIdidstatic NameIDName of thehydra.java.syntax.CatchFormalParameter.idfield.java.util.List<VariableModifier>modifiersstatic NameMODIFIERSName of thehydra.java.syntax.CatchFormalParameter.modifiersfield.CatchTypetypestatic NameTYPEName of thehydra.java.syntax.CatchFormalParameter.typefield.static NameTYPE_Name of thehydra.java.syntax.CatchFormalParametertype.
-
Constructor Summary
Constructors Constructor Description CatchFormalParameter(java.util.List<VariableModifier> modifiers, CatchType type, VariableDeclaratorId id)Constructs an immutableCatchFormalParameter.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(CatchFormalParameter other)booleanequals(java.lang.Object other)inthashCode()CatchFormalParameterwithId(VariableDeclaratorId id)Returns a copy of thisCatchFormalParameterwithidreplaced.CatchFormalParameterwithModifiers(java.util.List<VariableModifier> modifiers)Returns a copy of thisCatchFormalParameterwithmodifiersreplaced.CatchFormalParameterwithType(CatchType type)Returns a copy of thisCatchFormalParameterwithtypereplaced.
-
-
-
Field Detail
-
TYPE_
public static final Name TYPE_
Name of thehydra.java.syntax.CatchFormalParametertype.
-
MODIFIERS
public static final Name MODIFIERS
Name of thehydra.java.syntax.CatchFormalParameter.modifiersfield.
-
TYPE
public static final Name TYPE
Name of thehydra.java.syntax.CatchFormalParameter.typefield.
-
ID
public static final Name ID
Name of thehydra.java.syntax.CatchFormalParameter.idfield.
-
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 immutableCatchFormalParameter.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(CatchFormalParameter other)
- Specified by:
compareToin interfacejava.lang.Comparable<CatchFormalParameter>
-
withModifiers
public CatchFormalParameter withModifiers(java.util.List<VariableModifier> modifiers)
Returns a copy of thisCatchFormalParameterwithmodifiersreplaced.
-
withType
public CatchFormalParameter withType(CatchType type)
Returns a copy of thisCatchFormalParameterwithtypereplaced.
-
withId
public CatchFormalParameter withId(VariableDeclaratorId id)
Returns a copy of thisCatchFormalParameterwithidreplaced.
-
-