Package eu.bandm.tools.message

Class MessageLocationFilter.Region

java.lang.Object
eu.bandm.tools.message.MessageLocationFilter.Region
Enclosing class:
MessageLocationFilter<D>
public class MessageLocationFilter.Region extends Object
Reification of a region specification to let pass. A given location type parameter must be a Location of sub-type Point or Region. Location sets are not supported.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    (package private) final String
    docId
    A string which must match the suffix of a document id for the Region to match a location.
    (package private) final int
    max
    The maximal allowed line number for the Region to match a location.
    (package private) final int
    min
    The minimal allowed line number for the Region to match a location.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    equals(Object o)
     
    int
    hashCode()
    Fits equals(Object).

    Methods inherited from class java.lang.Object

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

  • Field Details

    • docId

      final String docId
      A string which must match the suffix of a document id for the Region to match a location.

    • min

      final int min
      The minimal allowed line number for the Region to match a location. Is inclusive.

    • max

      final int max
      The maximal allowed line number for the Region to match a location. Is inclusive.

  • Method Details