javawhitespace.java

JAVA在编译原理上的应用。

package lolo.scans;

/** Instances of this class scan for one or more Java whitespace characters. The test
 * is done by the <tt>java.lang.Character.isWhitespace()</tt> method.
 * <p>By default these symbols will be ignored.
 *
 * @author <a href="http://www.inf.uos.de/bernd" target="_blank">Bernd K&uuml;hl</a>
           (<a href="mailto:[e-mail]">[e-mail]</a>)
 */
public class JavaWhitespace extends SimpleWhitespace {
    /** Test if the argument is a Java whitespace character. */
    protected boolean isWhitespace(char ch) {
        return Character.isWhitespace(ch);
    }
}