Class PatternMatch


  • public class PatternMatch
    extends java.lang.Object
    • Field Detail

      • pattern

        protected final Pattern pattern
      • roleBindings

        protected java.util.Map<java.lang.String,​java.lang.Object> roleBindings
    • Constructor Detail

      • PatternMatch

        public PatternMatch​(Pattern pattern)
    • Method Detail

      • getPattern

        public Pattern getPattern()
      • getRoleBindings

        public java.util.Map<java.lang.String,​java.lang.Object> getRoleBindings()
      • getRoleBinding

        public java.lang.Object getRoleBinding​(java.lang.String name)
      • putRoleBinding

        public void putRoleBinding​(Variable variable)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object