com.hermetica.util3d
Class Streams

java.lang.Object
  |
  +--com.hermetica.util3d.Streams

public class Streams
extends java.lang.Object

This class provides some global PrintStream objects that can be used to set global trace locations for tracing information, eg, from TraceGL[U] and from CriticalSection activity.

Version:
$Id: Streams.java,v 1.2 1998/08/08 13:18:27 descarte Exp descarte $
Author:
Alligator Descartes
Constructor Summary
Streams()
           
 
Method Summary
static java.io.PrintStream getProfileStream()
          Returns the current profiling stream
static java.io.PrintStream getTraceStream()
          Returns the PrintStream to which trace information will be written to via writeTrace()
static void setProfileStream(java.io.PrintStream pStream)
          Sets the profiling output stream
static void setTraceStream(java.io.PrintStream tStream)
          Sets the trace output stream
static void writeProfile(java.lang.String profileOutput)
          Writes the specified text to the profile stream
static void writeTrace(java.lang.String traceOutput)
          Writes the specificed text to the trace stream
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Streams

public Streams()
Method Detail

writeTrace

public static void writeTrace(java.lang.String traceOutput)
Writes the specificed text to the trace stream

Parameters:
traceOutput - The trace data to write out

writeProfile

public static void writeProfile(java.lang.String profileOutput)
Writes the specified text to the profile stream

Parameters:
profileOutput - The profile information to write out

setTraceStream

public static void setTraceStream(java.io.PrintStream tStream)
Sets the trace output stream

Parameters:
tStream - A PrintStream object to write trace information to

getTraceStream

public static java.io.PrintStream getTraceStream()
Returns the PrintStream to which trace information will be written to via writeTrace()


setProfileStream

public static void setProfileStream(java.io.PrintStream pStream)
Sets the profiling output stream

Parameters:
pStream - A PrintStream object to which profiling information will be written

getProfileStream

public static java.io.PrintStream getProfileStream()
Returns the current profiling stream