at.dms.backend
Class Trace

java.lang.Object
  at.dms.backend.Trace

Direct Known Subclasses:

TraceControlFlow, TraceInferenceGraph

public class Trace
extends Object

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

Method Summary

protected void	close()
static String	generateEdge(String from, String to, int nb, int count, boolean arrow) Generates a node
static String	generateNode(String title, String label) Generates a node
protected void	write(String s)

Methods inherited from class java.lang.Object

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

Method Detail

generateNode

public static String generateNode(String title,
                                  String label)

Generates a node

generateEdge

public static String generateEdge(String from,
                                  String to,
                                  int nb,
                                  int count,
                                  boolean arrow)

Generates a node

write

protected void write(String s)
              throws IOException

Throws:

IOException

close

protected void close()
              throws IOException

Throws:

IOException