|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.upc.dama.dex.shell.Shell
public class Shell
| Field Summary | |
|---|---|
edu.upc.dama.dex.shell.Token |
jj_nt
|
edu.upc.dama.dex.shell.Token |
token
|
edu.upc.dama.dex.shell.ShellTokenManager |
token_source
|
| Fields inherited from interface edu.upc.dama.dex.shell.ShellConstants |
|---|
ATTRCOUNT, ATTRIBUTES, ATTRSIZE, BOTH, CLOSEPAR, COUNT, DATA, DEFAULT, DIGITS, DIV, DOUBLE, DOUBLEPOS, DUMP, EDGES, EOF, EOL, EQ, ERE, EXPLODE, EXTRA, FALSE, FATTR, FATTRS, FEDGE, FEDGES, FINDTYPE, FOBJECT, GATTR, GATTRS, GE, GEDGEPEER, GET, GLOBALS, GT, HEAD, HEADS, HELP, IDENT, ILIKE, IN, LE, LETTER, LIKE, LONG, LT, MINUS, MUL, NE, NEIGH, NO, NODES, NULL, NUMBER, OBJECT, OFF, ON, OPENPAR, OUT, PLUS, PRINT, QUIT, SCHEMA, SELECT, SET, STORAGE, STRING, TAIL, TAILS, tokenImage, TRUE, TYPE, TYPES, YES |
| Constructor Summary | |
|---|---|
Shell(DbGraph dbgraph,
java.io.Reader reader,
java.io.Writer writer)
Create a new shell. |
|
Shell(java.io.InputStream stream)
|
|
Shell(java.io.InputStream stream,
java.lang.String encoding)
|
|
Shell(java.io.Reader stream)
|
|
Shell(edu.upc.dama.dex.shell.ShellTokenManager tm)
|
|
| Method Summary | |
|---|---|
void |
close()
Close the shell |
void |
disable_tracing()
|
void |
enable_tracing()
|
void |
execute()
|
edu.upc.dama.dex.shell.ParseException |
generateParseException()
|
edu.upc.dama.dex.shell.Token |
getNextToken()
|
edu.upc.dama.dex.shell.Token |
getToken(int index)
|
static void |
main(java.lang.String[] args)
Command-line tool to interact with an existing graph database. |
void |
ReInit(java.io.InputStream stream)
|
void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
|
void |
ReInit(java.io.Reader stream)
|
void |
ReInit(edu.upc.dama.dex.shell.ShellTokenManager tm)
|
void |
runCommand(java.io.Reader reader)
|
int |
start()
|
int |
startConsole()
|
void |
stopCommand()
Stop the execution of the current command. |
void |
work()
Mark the shell as working. |
boolean |
workToDo()
Getter to know if the shell is busy. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public edu.upc.dama.dex.shell.ShellTokenManager token_source
public edu.upc.dama.dex.shell.Token token
public edu.upc.dama.dex.shell.Token jj_nt
| Constructor Detail |
|---|
public Shell(DbGraph dbgraph,
java.io.Reader reader,
java.io.Writer writer)
throws java.io.IOException
dbgraph - DbGraph used for the shell to execute the commands.reader - Reader used for the shell to read the input commands.writer - Writer used for the shell to write the commands results.
java.io.IOException - If bad things happen during the construction
of the communication with the shell.public Shell(java.io.InputStream stream)
public Shell(java.io.InputStream stream,
java.lang.String encoding)
public Shell(java.io.Reader stream)
public Shell(edu.upc.dama.dex.shell.ShellTokenManager tm)
| Method Detail |
|---|
public boolean workToDo()
True if ther shell is busy executing any command.public void stopCommand()
public void work()
public void close()
throws java.io.IOException
java.io.IOException - If bad things happen during closepublic static void main(java.lang.String[] args)
args - 1-length array. First argument is the path of a DEX graph
database.
public final int start()
throws edu.upc.dama.dex.shell.ParseException,
java.lang.NumberFormatException,
java.io.IOException
edu.upc.dama.dex.shell.ParseException
java.lang.NumberFormatException
java.io.IOException
public final int startConsole()
throws edu.upc.dama.dex.shell.ParseException,
java.lang.NumberFormatException,
java.io.IOException
edu.upc.dama.dex.shell.ParseException
java.lang.NumberFormatException
java.io.IOException
public final void runCommand(java.io.Reader reader)
throws edu.upc.dama.dex.shell.ParseException,
java.lang.NumberFormatException,
java.io.IOException
edu.upc.dama.dex.shell.ParseException
java.lang.NumberFormatException
java.io.IOException
public final void execute()
throws edu.upc.dama.dex.shell.ParseException,
java.lang.NumberFormatException,
java.io.IOException
edu.upc.dama.dex.shell.ParseException
java.lang.NumberFormatException
java.io.IOExceptionpublic void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream,
java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(edu.upc.dama.dex.shell.ShellTokenManager tm)
public final edu.upc.dama.dex.shell.Token getNextToken()
public final edu.upc.dama.dex.shell.Token getToken(int index)
public edu.upc.dama.dex.shell.ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||