Method setNotes

src/tree/TreeRule.java:705–710

@param notes Optional detailed notes about the rule

(String notes)

  /** @param notes Optional detailed notes about the rule */
  public void setNotes(String notes) {
    if (!this.notes.equals(notes)) {
      changed.put("notes", true);
      this.notes = notes;
    }
  }

  /** @param regex_group_idx An optional index (start at 0) to use for regex 
   * group extraction. Must be a positive value. */