public class DebugStream
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.rmi.dgc.VMID |
ID
For logging according to the VM.
|
| Modifier | Constructor and Description |
|---|---|
private |
DebugStream()
Prevents external creation.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
println(java.lang.String file,
java.lang.String text)
Prints the
text to file. |