public class Reader
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
int |
lastReadPos() |
static VncVal |
read_str(java.lang.String str,
java.lang.String filename) |
static Reader |
reader(java.lang.String str,
java.lang.String filename) |
static java.util.ArrayList<Token> |
tokenize(java.lang.String str,
java.lang.String filename) |
java.lang.String |
toString() |
java.lang.String |
unprocessedRest() |
public static Reader reader(java.lang.String str, java.lang.String filename)
public static VncVal read_str(java.lang.String str, java.lang.String filename)
public java.lang.String unprocessedRest()
public int lastReadPos()
public java.lang.String toString()
toString in class java.lang.Objectpublic static java.util.ArrayList<Token> tokenize(java.lang.String str, java.lang.String filename)