JML

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(non_null StringBuffer sb, non_null String replacement)
           
 StringBuffer appendTail(non_null 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(non_null String replacement)
           
 String replaceFirst(non_null String replacement)
           
 Matcher reset()
           
 Matcher reset(non_null 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()
Specifications: non_null

reset

public Matcher reset()
Specifications: non_null

reset

public Matcher reset(non_null CharSequence input)
Specifications: non_null

start

public int start()

start

public int start(int group)

end

public int end()

end

public int end(int group)

group

public String group()
Specifications: non_null

group

public String group(int group)
Specifications: non_null

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(non_null StringBuffer sb,
                                 non_null String replacement)
Specifications: non_null

appendTail

public StringBuffer appendTail(non_null StringBuffer sb)
Specifications: non_null

replaceAll

public String replaceAll(non_null String replacement)
Specifications: pure non_null

replaceFirst

public String replaceFirst(non_null String replacement)
Specifications: pure non_null

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.