gov.nasa.jpf.listener

Class LogConsole

java.lang.Object

gov.nasa.jpf.listener.LogConsole

public class LogConsole
extends Object

simple logging facility that listens on a socket (e.g. for log output display)

Constructor Summary

Constructors

Constructor and Description
LogConsole()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(String[] args)
void	run()
void	showUsage()

Methods inherited from class java.lang.Object

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

Constructor Detail

LogConsole

public LogConsole()

Method Detail

run

public void run()

showUsage

public void showUsage()

main

public static void main(String[] args)