org.jutil.java.regex
Class Pattern

java.lang.Object
  |
  +--jregex.Pattern
        |
        +--org.jutil.jregex.Pattern
              |
              +--org.jutil.java.regex.Pattern

All Implemented Interfaces:

jregex.REFlags, java.io.Serializable

public class Pattern

extends Pattern

DEPRECATED

A class that adapts the jregex.Pattern interface to the java.util.regex.Pattern interface.

Specifications inherited from class Pattern

public invariant pattern() != null;

Fields inherited from class org.jutil.jregex.Pattern

DEFAULT, DOTALL, MULTILINE

 

Fields inherited from class jregex.Pattern

counters, lookaheads, memregs, namedGroupMap, root, root0, stringRepr

 

Fields inherited from interface jregex.REFlags

IGNORE_CASE, IGNORE_SPACES, UNICODE, XML_SCHEMA

 

Constructor Summary

Pattern(java.lang.String regex)           Deprecated. Initialize a new Pattern with default flags and the given regular expression

Pattern(java.lang.String regex, int flags)           Deprecated. Initialize a new Pattern with the given regular expression and flags.

 

Methods inherited from class org.jutil.jregex.Pattern

clone, equals, flags, pattern

 

Methods inherited from class jregex.Pattern

compile, groupCount, groupId, matcher, matcher, matcher, matcher, matcher, matcher, matches, parseFlags, parseFlags, replacer, replacer, startsWith, tokenizer, tokenizer, tokenizer, toString, toString_d

 

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Constructor Detail

Pattern

public Pattern(java.lang.String regex)
        throws jregex.PatternSyntaxException

Deprecated. 

Initialize a new Pattern with default flags and the given regular expression

Parameters:

regex - The regular expression string.

Specifications:

public behavior
requires regex != null;
ensures pattern().equals(regex);
ensures flags() == DEFAULT;
signals (PatternSyntaxException) (* The given String is not a valid regular expression *);

Pattern

public Pattern(java.lang.String regex,
               int flags)
        throws jregex.PatternSyntaxException

Deprecated. 

Initialize a new Pattern with the given regular expression and flags.

Parameters:

regex - The regular expression string.

flags - The flags for the new Pattern.

Specifications:

public behavior
requires regex != null;
requires (* The given flags must be valid. *);
ensures pattern().equals(regex);
ensures flags() == flags;
signals (PatternSyntaxException) (* The given String is not a valid regular expression *);