de.uni_hildesheim.sse.monitoring.runtime.utils

Class DebugStream

java.lang.Object

de.uni_hildesheim.sse.monitoring.runtime.utils.DebugStream

public class DebugStream
extends java.lang.Object

Allows writing information to a file for debugging.

Since:

1.00

Version:

1.00

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
static java.rmi.dgc.VMID	ID For logging according to the VM.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DebugStream() Prevents external creation.

Method Summary

Modifier and Type	Method and Description
static void	println(java.lang.String file, java.lang.String text) Prints the text to file.

Methods inherited from class java.lang.Object

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

Field Detail

ID

public static final java.rmi.dgc.VMID ID

For logging according to the VM.

Constructor Detail

DebugStream

private DebugStream()

Prevents external creation.

Since:

1.00

Method Detail

println

public static final void println(java.lang.String file,
                                 java.lang.String text)

Prints the text to file. The output includes the JVM id.

Parameters:

file - the file name to write

text - the text to write

Since:

1.00