JML

java.util.regex
Class Pattern.BitClass

java.lang.Object
  extended byjava.util.regex.Pattern.Node
      extended byjava.util.regex.Pattern.CharProperty
          extended byjava.util.regex.Pattern.BmpCharProperty
              extended byjava.util.regex.Pattern.BitClass
Enclosing class:
Pattern

private static final class Pattern.BitClass
extends Pattern.BmpCharProperty


Field Summary
(package private)  boolean[] bits
           
(package private)  Pattern.Node next
           
 
Constructor Summary
(package private) Pattern.BitClass()
           
private Pattern.BitClass(boolean[])
           
 
Method Summary
(package private)  Pattern.BitClass add(int, int)
           
(package private)  Pattern.CharProperty complement()
           
(package private)  boolean isSatisfiedBy(int)
           
(package private)  boolean match(Matcher, int, CharSequence)
           
(package private)  Pattern.CharProperty maybeComplement(boolean)
           
(package private)  boolean study(Pattern.TreeInfo)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bits

final boolean[] bits

next

Pattern.Node next
Constructor Detail

Pattern.BitClass

Pattern.BitClass()

Pattern.BitClass

private Pattern.BitClass(boolean[])
Method Detail

add

Pattern.BitClass add(int,
                     int)

isSatisfiedBy

boolean isSatisfiedBy(int)

match

boolean match(Matcher,
              int,
              CharSequence)
Overrides:
match in class Pattern.CharProperty

complement

Pattern.CharProperty complement()

maybeComplement

Pattern.CharProperty maybeComplement(boolean)

study

boolean study(Pattern.TreeInfo)
Overrides:
study in class Pattern.Node

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.