Package hydra.ext.haskell.ast

Class DataDeclaration

java.lang.Object

hydra.ext.haskell.ast.DataDeclaration

All Implemented Interfaces:

java.io.Serializable

public class DataDeclaration
extends java.lang.Object
implements java.io.Serializable

A data type declaration

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<ConstructorWithComments>	constructors
java.util.List<Assertion>	context
java.util.List<Deriving>	deriving
static Name	FIELD_NAME_CONSTRUCTORS
static Name	FIELD_NAME_CONTEXT
static Name	FIELD_NAME_DERIVING
static Name	FIELD_NAME_HEAD
static Name	FIELD_NAME_KEYWORD
DeclarationHead	head
DataDeclaration_Keyword	keyword
static Name	TYPE_NAME

Constructor Summary

Constructors

Constructor	Description
DataDeclaration(DataDeclaration_Keyword keyword, java.util.List<Assertion> context, DeclarationHead head, java.util.List<ConstructorWithComments> constructors, java.util.List<Deriving> deriving)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object other)
int	hashCode()
DataDeclaration	withConstructors(java.util.List<ConstructorWithComments> constructors)
DataDeclaration	withContext(java.util.List<Assertion> context)
DataDeclaration	withDeriving(java.util.List<Deriving> deriving)
DataDeclaration	withHead(DeclarationHead head)
DataDeclaration	withKeyword(DataDeclaration_Keyword keyword)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_NAME

public static final Name TYPE_NAME

FIELD_NAME_KEYWORD

public static final Name FIELD_NAME_KEYWORD

FIELD_NAME_CONTEXT

public static final Name FIELD_NAME_CONTEXT

FIELD_NAME_HEAD

public static final Name FIELD_NAME_HEAD

FIELD_NAME_CONSTRUCTORS

public static final Name FIELD_NAME_CONSTRUCTORS

FIELD_NAME_DERIVING

public static final Name FIELD_NAME_DERIVING

keyword

public final DataDeclaration_Keyword keyword

context

public final java.util.List<Assertion> context

head

public final DeclarationHead head

constructors

public final java.util.List<ConstructorWithComments> constructors

deriving

public final java.util.List<Deriving> deriving

Constructor Detail

DataDeclaration

public DataDeclaration(DataDeclaration_Keyword keyword,
                       java.util.List<Assertion> context,
                       DeclarationHead head,
                       java.util.List<ConstructorWithComments> constructors,
                       java.util.List<Deriving> deriving)

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

withKeyword

public DataDeclaration withKeyword(DataDeclaration_Keyword keyword)

withContext

public DataDeclaration withContext(java.util.List<Assertion> context)

withHead

public DataDeclaration withHead(DeclarationHead head)

withConstructors

public DataDeclaration withConstructors(java.util.List<ConstructorWithComments> constructors)

withDeriving

public DataDeclaration withDeriving(java.util.List<Deriving> deriving)