pattern.java

一个关于java 的常用工具包

package org.jutil.jregex;
import jregex.PatternSyntaxException;
import jregex.REFlags;

/**
 * <p>A class that adapts the <code>jregex.Pattern</code> interface to the 
 * <code>java.util.regex.Pattern</code> interface.</p>
 * 
 * <center>
 *   <img src="doc-files/Pattern.png"/>
 * </center>
 *
 * @path    $Source: /cvsroot/org-jutil/jutil.org/src/org/jutil/jregex/Pattern.java,v $
 * @version $Revision: 1.4 $
 * @date    $Date: 2002/09/07 09:24:11 $
 * @state   $State: Exp $
 * @author  Marko van Dooren
 * @release $Name:  $
 */
public class Pattern extends jregex.Pattern {

 /*@
	 @ public invariant pattern() != null;
	 @*/

	// Copy some static variables for better syntax compatibility
	// with jdk 1.4
	public static final int DEFAULT = REFlags.DEFAULT;
	public static final int DOTALL = REFlags.DOTALL;
	public static final int MULTILINE = REFlags.MULTILINE;

	/**
   * Initialize a new Pattern with default flags and the
	 * given regular expression
	 *
   * @param regex  
	 * 				The regular expression string.
	 */
 /*@
	 @ public behavior
	 @
	 @ pre regex != null;
	 @ 
	 @ post pattern().equals(regex);
	 @ post flags() == DEFAULT;
	 @
   @ signals (PatternSyntaxException)  (* The given String is not a valid regular expression *);
   @*/
  public Pattern(String regex) throws PatternSyntaxException{
    super(regex);
		_flags=DEFAULT;
  }

  /**
   * Initialize a new Pattern with the given regular expression and flags.
	 *
	 * @param regex
	 * 		    The regular expression string.
	 * @param flags
	 *        The flags for the new Pattern.
	 */
 /*@
	 @ public behavior
	 @
	 @ pre regex != null;
	 @ pre (* The given flags must be valid. *);
	 @
	 @ post pattern().equals(regex);
	 @ post flags() == flags;
	 @
   @ signals (PatternSyntaxException)  (* The given String is not a valid regular expression *);
   @*/
  public Pattern(String regex, int flags) throws PatternSyntaxException{
    super(regex,flags);
		_flags=flags;
	}
  	
	/**
	 * Return the pattern used to build this Pattern.
	 */
 /*@
	 @ public behavior
	 @
	 @ post \result.equals(toString());
	 @*/
	public String pattern() {
		return toString();
	}

  /**
   * See superclass
   */
 /*@
   @ also public behavior
   @
   @ post \result == (other instanceof Pattern) &&
   @                 (pattern().equals(((Pattern)other).pattern())) &&
   @                 (flags() == ((Pattern)other).flags());
   @*/
  public boolean equals(Object other) {
    return (other instanceof Pattern) &&
           (pattern().equals(((Pattern)other).pattern())) &&
           (flags() == ((Pattern)other).flags());
  }

  /**
   * Return a clone of this Pattern.
   */
 /*@
   @ also public behavior
   @
   @ post \result.equals(this);
   @*/
  public Object clone() {
    return new Pattern(pattern(), _flags);
  }

	/**
	 * Return the flags of this Pattern.
	 */
	public int flags() {
		return _flags;
	}

  /**
   * The flags of this Pattern.
   */
  private int _flags;
}
/*
 * <copyright>Copyright (C) 1997-2002. This software is copyrighted by 
 * the people and entities mentioned after the "@author" tags above, on 
 * behalf of the JUTIL.ORG Project. The copyright is dated by the dates 
 * after the "@date" tags above. All rights reserved.
 * This software is published under the terms of the JUTIL.ORG Software
 * License version 1.1 or later, a copy of which has been included with
 * this distribution in the LICENSE file, which can also be found at
 * http://org-jutil.sourceforge.net/LICENSE. This software is distributed 
 * WITHOUT ANY WARRANTY; without even the implied warranty of 
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 
 * See the JUTIL.ORG Software License for more details. For more information,
 * please see http://org-jutil.sourceforge.net/</copyright>
 */