Package hydra.haskell.syntax

Class ApplicationPattern

java.lang.Object

hydra.haskell.syntax.ApplicationPattern

All Implemented Interfaces:

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

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

An application pattern

See Also:

Serialized Form

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<Pattern>	args	The pattern arguments
static Name	ARGS	Name of the hydra.haskell.syntax.ApplicationPattern.args field.
Name	name	The constructor name
static Name	NAME	Name of the hydra.haskell.syntax.ApplicationPattern.name field.
static Name	TYPE_	Name of the hydra.haskell.syntax.ApplicationPattern type.

Constructor Summary

Constructors

Constructor	Description
ApplicationPattern(Name name, java.util.List<Pattern> args)	Constructs an immutable ApplicationPattern.

Method Summary

Modifier and Type	Method	Description
static ApplicationPattern.Builder	builder()	Creates a new fluent builder for ApplicationPattern.
int	compareTo(ApplicationPattern other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
ApplicationPattern	withArgs(java.util.List<Pattern> args)	Returns a copy of this ApplicationPattern with args replaced.
ApplicationPattern	withName(Name name)	Returns a copy of this ApplicationPattern with name 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.haskell.syntax.ApplicationPattern type.

NAME

public static final Name NAME

Name of the hydra.haskell.syntax.ApplicationPattern.name field.

ARGS

public static final Name ARGS

Name of the hydra.haskell.syntax.ApplicationPattern.args field.

name

public final Name name

The constructor name

args

public final java.util.List<Pattern> args

The pattern arguments

Constructor Detail

ApplicationPattern

public ApplicationPattern(Name name,
                          java.util.List<Pattern> args)

Constructs an immutable ApplicationPattern.

Parameters:

name - The constructor name

args - The pattern arguments

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

Specified by:

compareTo in interface java.lang.Comparable<ApplicationPattern>

withName

public ApplicationPattern withName(Name name)

Returns a copy of this ApplicationPattern with name replaced.

withArgs

public ApplicationPattern withArgs(java.util.List<Pattern> args)

Returns a copy of this ApplicationPattern with args replaced.

builder

public static ApplicationPattern.Builder builder()

Creates a new fluent builder for ApplicationPattern.