at.dms.backend
Class Trace

java.lang.Object
  |
  +--at.dms.backend.Trace
Direct Known Subclasses:
TraceControlFlow, TraceInferenceGraph

public class Trace
extends java.lang.Object

This is the entry point of the backend, this class constructs the control flow graf and applies optimizations.


Constructor Summary
(package private) Trace(java.lang.String fileName)
           
 
Method Summary
protected  void close()
           
static java.lang.String generateEdge(java.lang.String from, java.lang.String to, int nb, int count, boolean arrow)
          Generates an edge.
static java.lang.String generateNode(java.lang.String title, java.lang.String label)
          Generates a node.
protected  void write(java.lang.String s)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Trace

Trace(java.lang.String fileName)
Method Detail

generateNode

public static java.lang.String generateNode(java.lang.String title,
                                            java.lang.String label)
Generates a node.

generateEdge

public static java.lang.String generateEdge(java.lang.String from,
                                            java.lang.String to,
                                            int nb,
                                            int count,
                                            boolean arrow)
Generates an edge.

write

protected void write(java.lang.String s)
              throws java.io.IOException

close

protected void close()
              throws java.io.IOException