JML

org.multijava.util.backend
Class TraceInferenceGraph

java.lang.Object
  extended byorg.multijava.util.backend.Trace
      extended byorg.multijava.util.backend.TraceInferenceGraph

public class TraceInferenceGraph
extends Trace

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


Field Summary
private static String[] COLORS
           
private  InferenceNode[] nodes
           
 
Fields inherited from class org.multijava.util.backend.Trace
 
Constructor Summary
TraceInferenceGraph(InferenceNode[] nodes)
          Creates a new instruction handle.
 
Method Summary
private  void generateHeader()
           
private  void generateNode(String pos, String label, int color)
           
 void run()
           
private  void trace(InferenceNode node)
          Prints a trace of quadruples
 
Methods inherited from class org.multijava.util.backend.Trace
close, generateEdge, generateNode, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

nodes

private InferenceNode[] nodes

COLORS

private static String[] COLORS
Constructor Detail

TraceInferenceGraph

public TraceInferenceGraph(InferenceNode[] nodes)
Creates a new instruction handle.

Parameters:
nodes - the nodes
Method Detail

run

public void run()

trace

private void trace(InferenceNode node)
            throws IOException
Prints a trace of quadruples

Throws:
IOException

generateNode

private void generateNode(String pos,
                          String label,
                          int color)
                   throws IOException
Throws:
IOException

generateHeader

private void generateHeader()
                     throws IOException
Throws:
IOException

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.