Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

java.util.regex
Class Pattern

java.lang.Object
  extended byjava.util.regex.Pattern
All Implemented Interfaces:
Serializable
public final class Pattern
extends Object
implements Serializable

Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
static int CANON_EQ
           
static int CASE_INSENSITIVE
           
static int COMMENTS
           
static int DOTALL
           
static int MULTILINE
           
static int UNICODE_CASE
           
static int UNIX_LINES
           
 
Constructor Summary
Pattern()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
static Pattern compile(String regex)
           
static Pattern compile(String regex, int flags)
           
 int flags()
           
 Matcher matcher(CharSequence input)
           
static boolean matches(String regex, CharSequence input)
           
 String pattern()
           
 String[] split(CharSequence input)
           
 String[] split(CharSequence input, int limit)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

UNIX_LINES

public static final int UNIX_LINES

CASE_INSENSITIVE

public static final int CASE_INSENSITIVE

COMMENTS

public static final int COMMENTS

MULTILINE

public static final int MULTILINE

DOTALL

public static final int DOTALL

UNICODE_CASE

public static final int UNICODE_CASE

CANON_EQ

public static final int CANON_EQ
Constructor Detail

Pattern

public Pattern()
Method Detail

compile

public static Pattern compile(String regex)
Specifications: pure

compile

public static Pattern compile(String regex,
                              int flags)
Specifications: pure

pattern

public String pattern()
Specifications: pure

matcher

public Matcher matcher(CharSequence input)
Specifications: pure

flags

public int flags()
Specifications: pure

matches

public static boolean matches(String regex,
                              CharSequence input)
Specifications: pure

split

public String[] split(CharSequence input,
                      int limit)
Specifications: pure

split

public String[] split(CharSequence input)
Specifications: pure
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.