JML

java.util.regex
Class Pattern.CharProperty

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

private static abstract class Pattern.CharProperty
extends Pattern.Node


Field Summary
(package private)  Pattern.Node next
           
 
Constructor Summary
private Pattern.CharProperty()
           
(package private) Pattern.CharProperty(Pattern.1)
           
 
Method Summary
(package private)  Pattern.CharProperty complement()
           
(package private) abstract  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

next

Pattern.Node next
Constructor Detail

Pattern.CharProperty

private Pattern.CharProperty()

Pattern.CharProperty

Pattern.CharProperty(Pattern.1)
Method Detail

isSatisfiedBy

abstract boolean isSatisfiedBy(int)

complement

Pattern.CharProperty complement()

maybeComplement

Pattern.CharProperty maybeComplement(boolean)

match

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

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.