org.overturetool.vdmj.debug
Class DBGPReader

java.lang.Object
  org.overturetool.vdmj.debug.DBGPReader

public class DBGPReader
extends java.lang.Object

Constructor Summary

DBGPReader(java.lang.String host, int port, java.lang.String ideKey, Interpreter interpreter, java.lang.String expression)

Method Summary

void	complete(DBGPReason reason, ContextException ctxt)
static void	main(java.lang.String[] args)
DBGPReader	newThread()
void	run(boolean init)
void	stderr(java.lang.String line)
void	stdout(java.lang.String line)
void	stopped(Context ctxt, Breakpoint bp)
void	tracing(java.lang.String display)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DBGPReader

public DBGPReader(java.lang.String host,
                  int port,
                  java.lang.String ideKey,
                  Interpreter interpreter,
                  java.lang.String expression)
           throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

main

public static void main(java.lang.String[] args)

newThread

public DBGPReader newThread()
                     throws java.lang.Exception

Throws:

java.lang.Exception

run

public void run(boolean init)
         throws java.io.IOException

Throws:

java.io.IOException

stopped

public void stopped(Context ctxt,
                    Breakpoint bp)

tracing

public void tracing(java.lang.String display)

complete

public void complete(DBGPReason reason,
                     ContextException ctxt)

stdout

public void stdout(java.lang.String line)
            throws java.io.IOException

Throws:

java.io.IOException

stderr

public void stderr(java.lang.String line)
            throws java.io.IOException

Throws:

java.io.IOException