X-Git-Url: https://oss.titaniummirror.com/gitweb?a=blobdiff_plain;f=libjava%2Fjava%2Futil%2FStringTokenizer.java;fp=libjava%2Fjava%2Futil%2FStringTokenizer.java;h=0000000000000000000000000000000000000000;hb=6fed43773c9b0ce596dca5686f37ac3fc0fa11c0;hp=707ddd46d8778605b762378ec87ac952c673b837;hpb=27b11d56b743098deb193d510b337ba22dc52e5c;p=msp430-gcc.git diff --git a/libjava/java/util/StringTokenizer.java b/libjava/java/util/StringTokenizer.java deleted file mode 100644 index 707ddd46..00000000 --- a/libjava/java/util/StringTokenizer.java +++ /dev/null @@ -1,273 +0,0 @@ -/* java.util.StringTokenizer - Copyright (C) 1998, 1999, 2001 Free Software Foundation, Inc. - -This file is part of GNU Classpath. - -GNU Classpath is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU Classpath is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU Classpath; see the file COPYING. If not, write to the -Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA -02111-1307 USA. - -Linking this library statically or dynamically with other modules is -making a combined work based on this library. Thus, the terms and -conditions of the GNU General Public License cover the whole -combination. - -As a special exception, the copyright holders of this library give you -permission to link this library with independent modules to produce an -executable, regardless of the license terms of these independent -modules, and to copy and distribute the resulting executable under -terms of your choice, provided that you also meet, for each linked -independent module, the terms and conditions of the license of that -module. An independent module is a module which is not derived from -or based on this library. If you modify this library, you may extend -this exception to your version of the library, but you are not -obligated to do so. If you do not wish to do so, delete this -exception statement from your version. */ - - -package java.util; - -/** - * This class splits a string into tokens. The caller can set on which - * delimiters the string should be split and if the delimiters should be - * returned. - * - * You may change the delimiter set on the fly by calling - * nextToken(String). But the semantic is quite difficult; it even - * depends on calling hasMoreTokens(). You should call - * hasMoreTokens() before, otherwise the old delimiters - * after the last token are returned. - * - * If you want to get the delimiters, you have to use the three argument - * constructor. The delimiters are returned as token consisting of a - * single character. - * - * @author Jochen Hoenicke - * @author Warren Levy - */ -public class StringTokenizer implements Enumeration -{ - /** - * The position in the str, where we currently are. - */ - private int pos; - /** - * The string that should be split into tokens. - */ - private String str; - /** - * The string containing the delimiter characters. - */ - private String delim; - /** - * Tells, if we should return the delimiters. - */ - private boolean retDelims; - - /*{ - invariant { - pos >= 0 :: "position is negative"; - pos <= str.length() :: "position is out of string"; - str != null :: "String is null"; - delim != null :: "Delimiters are null"; - } - } */ - - /** - * Creates a new StringTokenizer for the string str, - * that should split on the default delimiter set (space, tap, - * newline, return and formfeed), and which doesn't return the - * delimiters. - * @param str The string to split. - */ - public StringTokenizer(String str) - /*{ require { str != null :: "str must not be null"; } } */ - { - this(str, " \t\n\r\f", false); - } - - /** - * Create a new StringTokenizer, that splits the given string on - * the given delimiter characters. It doesn't return the delimiter - * characters. - * - * @param str The string to split. - * @param delim A string containing all delimiter characters. - */ - public StringTokenizer(String str, String delim) - /*{ require { str != null :: "str must not be null"; - delim != null :: "delim must not be null"; } } */ - { - this(str, delim, false); - } - - /** - * Create a new StringTokenizer, that splits the given string on - * the given delimiter characters. If you set - * returnDelims to true, the delimiter - * characters are returned as tokens of their own. The delimiter - * tokens always consist of a single character. - * - * @param str The string to split. - * @param delim A string containing all delimiter characters. - * @param returnDelims Tells, if you want to get the delimiters. - */ - public StringTokenizer(String str, String delim, boolean returnDelims) - /*{ require { str != null :: "str must not be null"; - delim != null :: "delim must not be null"; } } */ - { - this.str = str; - this.delim = delim; - this.retDelims = returnDelims; - this.pos = 0; - } - - /** - * Tells if there are more tokens. - * @return True, if the next call of nextToken() succeeds, false otherwise. - */ - public boolean hasMoreTokens() - { - if (!retDelims) - { - while (pos < str.length() && delim.indexOf(str.charAt(pos)) > -1) - { - pos++; - } - } - return pos < str.length(); - } - - /** - * Returns the nextToken, changing the delimiter set to the given - * delim. The change of the delimiter set is - * permanent, ie. the next call of nextToken(), uses the same - * delimiter set. - * @param delim a string containing the new delimiter characters. - * @return the next token with respect to the new delimiter characters. - * @exception NoSuchElementException if there are no more tokens. - */ - public String nextToken(String delim) throws NoSuchElementException - /*{ require { hasMoreTokens() :: "no more Tokens available"; - ensure { $return != null && $return.length() > 0; } } */ - { - this.delim = delim; - return nextToken(); - } - - /** - * Returns the nextToken of the string. - * @param delim a string containing the new delimiter characters. - * @return the next token with respect to the new delimiter characters. - * @exception NoSuchElementException if there are no more tokens. - */ - public String nextToken() throws NoSuchElementException - /*{ require { hasMoreTokens() :: "no more Tokens available"; - ensure { $return != null && $return.length() > 0; } } */ - { - if (pos < str.length() && delim.indexOf(str.charAt(pos)) > -1) - { - if (retDelims) - return str.substring(pos, ++pos); - - while (++pos < str.length() && delim.indexOf(str.charAt(pos)) > -1) - { - /* empty */ - } - } - if (pos < str.length()) - { - int start = pos; - while (++pos < str.length() && delim.indexOf(str.charAt(pos)) == -1) - { - /* empty */ - } - return str.substring(start, pos); - } - throw new NoSuchElementException(); - } - - /** - * This does the same as hasMoreTokens. This is the - * EnumerationEnumerationnextTokens() will - * succeed. - * @see #nextToken - */ - public int countTokens() - { - int count = 0; - int delimiterCount = 0; - boolean tokenFound = false; // Set when a non-delimiter is found - int tmpPos = pos; - - // Note for efficiency, we count up the delimiters rather than check - // retDelims every time we encounter one. That way, we can - // just do the conditional once at the end of the method - while (tmpPos < str.length()) - { - if (delim.indexOf(str.charAt(tmpPos++)) > -1) - { - if (tokenFound) - { - // Got to the end of a token - count++; - tokenFound = false; - } - - delimiterCount++; // Increment for this delimiter - } - else - { - tokenFound = true; - - // Get to the end of the token - while (tmpPos < str.length() - && delim.indexOf(str.charAt(tmpPos)) == -1) - ++tmpPos; - } - } - - // Make sure to count the last token - if (tokenFound) - count++; - - // if counting delmiters add them into the token count - return retDelims ? count + delimiterCount : count; - } -}