Package hydra.grammar

Class LabeledPattern

java.lang.Object

hydra.grammar.LabeledPattern

All Implemented Interfaces:

Serializable, Comparable<LabeledPattern>

public class LabeledPattern
extends Object
implements Serializable, Comparable<LabeledPattern>

A pattern together with a name (label)

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Label	label	The label for the pattern
static final Name	LABEL
final Pattern	pattern	The pattern being labeled
static final Name	PATTERN
static final Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
LabeledPattern(Label label, Pattern pattern)

Method Summary

Modifier and Type	Method	Description
int	compareTo(LabeledPattern other)
boolean	equals(Object other)
int	hashCode()
LabeledPattern	withLabel(Label label)
LabeledPattern	withPattern(Pattern pattern)

Methods inherited from class java.lang.Object

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

Field Details

TYPE_

public static final Name TYPE_

LABEL

public static final Name LABEL

PATTERN

public static final Name PATTERN

label

public final Label label

The label for the pattern

pattern

public final Pattern pattern

The pattern being labeled

Constructor Details

LabeledPattern

public LabeledPattern(Label label,
 Pattern pattern)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(LabeledPattern other)

Specified by:

compareTo in interface Comparable<LabeledPattern>

withLabel

public LabeledPattern withLabel(Label label)

withPattern

public LabeledPattern withPattern(Pattern pattern)