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 Matcher

java.lang.Object
  extended byjava.util.regex.Matcher
public final class Matcher
extends Object

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
 
Constructor Summary
(package private) Matcher()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 Matcher appendReplacement(StringBuffer sb, String replacement)
           
 StringBuffer appendTail(StringBuffer sb)
           
 int end()
           
 int end(int group)
           
 boolean find()
           
 boolean find(int start)
           
 String group()
           
 String group(int group)
           
 int groupCount()
           
 boolean lookingAt()
           
 boolean matches()
           
 Pattern pattern()
           
 String replaceAll(String replacement)
           
 String replaceFirst(String replacement)
           
 Matcher reset()
           
 Matcher reset(CharSequence input)
           
 int start()
           
 int start(int group)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Matcher

Matcher()
Method Detail

pattern

public Pattern pattern()

reset

public Matcher reset()

reset

public Matcher reset(CharSequence input)

start

public int start()

start

public int start(int group)

end

public int end()

end

public int end(int group)

group

public String group()

group

public String group(int group)

groupCount

public int groupCount()

matches

public boolean matches()

find

public boolean find()

find

public boolean find(int start)

lookingAt

public boolean lookingAt()

appendReplacement

public Matcher appendReplacement(StringBuffer sb,
                                 String replacement)

appendTail

public StringBuffer appendTail(StringBuffer sb)

replaceAll

public String replaceAll(String replacement)
Specifications: pure

replaceFirst

public String replaceFirst(String replacement)
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.