public class StringCharStream extends Object
CharStream that simply reads from a string.| Constructor and Description |
|---|
StringCharStream(String string) |
| Modifier and Type | Method and Description |
|---|---|
void |
backup(int amount) |
char |
BeginToken() |
void |
Done() |
int |
getBeginColumn() |
int |
getBeginLine() |
int |
getBeginOffset() |
int |
getColumn() |
int |
getEndColumn() |
int |
getEndLine() |
int |
getEndOffset() |
String |
GetImage() |
int |
getLine() |
char[] |
GetSuffix(int len) |
char |
readChar() |
void |
ReInit(String string) |
public StringCharStream(String string)
public void ReInit(String string)
public char BeginToken()
throws IOException
IOExceptionpublic char readChar()
throws IOException
IOExceptionpublic void backup(int amount)
public int getBeginOffset()
public int getEndOffset()
public int getBeginLine()
public int getBeginColumn()
public int getEndLine()
public int getEndColumn()
public int getLine()
public int getColumn()
public String GetImage()
public char[] GetSuffix(int len)
public void Done()
Copyright © 2015 FoundationDB, LLC. All rights reserved.