Package hydra.grammar

Class 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 Detail

      • TYPE_NAME

        public static final Name TYPE_NAME
      • FIELD_NAME_LABEL

        public static final Name FIELD_NAME_LABEL
      • FIELD_NAME_PATTERN

        public static final Name FIELD_NAME_PATTERN
      • label

        public final Label label
      • pattern

        public final Pattern pattern
    • Constructor Detail

      • LabeledPattern

        public LabeledPattern​(Label label,
                              Pattern pattern)
    • 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