📄 pushbacktokenizer.java
字号:
package org.gjt.mm.mysql;
import java.util.StringTokenizer;
public class PushBackTokenizer extends StringTokenizer
{
private boolean _push_back = false; // are we pushed back?
private String _CurrentToken = null;
/**
* Create a new StringTokenizer that allows for push back.
*/
public PushBackTokenizer(String S, String Tokens, boolean return_tokens)
{
super(S, Tokens, return_tokens);
}
/**
* The next token to be read will
* be the current token
*/
public synchronized void pushBack()
{
_push_back = true;
}
/**
* Does this tokenizer contain any more
* tokens?
*/
public synchronized boolean hasMoreTokens()
{
if (_push_back) {
return true;
}
else {
return super.hasMoreTokens();
}
}
/**
* Does this tokenizer have any more elements?
*/
public synchronized boolean hasMoreElements()
{
if (_push_back) {
return true;
}
else {
return super.hasMoreElements();
}
}
/**
* Retrieve the next token from this
* tokenizer.
*/
public synchronized String nextToken()
{
if (_push_back) {
_push_back = false;
return _CurrentToken;
}
else {
_CurrentToken = super.nextToken();
return _CurrentToken;
}
}
};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -