Package hydra.grammar
Class LabeledPattern
- java.lang.Object
-
- hydra.grammar.LabeledPattern
-
- All Implemented Interfaces:
java.io.Serializable
public class LabeledPattern extends java.lang.Object implements java.io.Serializable
A pattern together with a name (label)- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description static Name
FIELD_NAME_LABEL
static Name
FIELD_NAME_PATTERN
Label
label
Pattern
pattern
static Name
TYPE_NAME
-
Constructor Summary
Constructors Constructor Description LabeledPattern(Label label, Pattern pattern)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object other)
int
hashCode()
LabeledPattern
withLabel(Label label)
LabeledPattern
withPattern(Pattern pattern)
-
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
withLabel
public LabeledPattern withLabel(Label label)
-
withPattern
public LabeledPattern withPattern(Pattern pattern)
-
-