de.rwth.dfa.jvm
Class FlowGraphSolver

java.lang.Object
  |
  +--de.rwth.dfa.jvm.Solver
        |
        +--de.rwth.dfa.jvm.GraphSolver
              |
              +--de.rwth.dfa.jvm.FactorisedFlowGraphSolver
                    |
                    +--de.rwth.dfa.jvm.FlowGraphSolver

public class FlowGraphSolver

extends FactorisedFlowGraphSolver

A JVM abstraction solver using flow graphs.

Version:

$Id: FlowGraphSolver.java,v 1.2 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

Fields inherited from class de.rwth.dfa.jvm.Solver

abstraction, iterations, memory, methodExceptions, methodInstrs, methodName, stopwatch

Constructor Summary

FlowGraphSolver(Abstraction abstraction, java.lang.String methodName, de.fub.bytecode.generic.InstructionList methodInstrs, de.fub.bytecode.classfile.CodeException[] methodExceptions)
Creates a new FlowGraphSolver instance with out stop watch.

FlowGraphSolver(Abstraction abstraction, java.lang.String methodName, de.fub.bytecode.generic.InstructionList methodInstrs, de.fub.bytecode.classfile.CodeException[] methodExceptions, Stopwatch stopwatch)
Creates a new FlowGraphSolver instance with stop watch.

Method Summary

protected RootedGraph

createGraph() Creates a flow graph for a method.

Methods inherited from class de.rwth.dfa.jvm.FactorisedFlowGraphSolver

getFunction, getInit, nodesToIndex, transferSolution

Methods inherited from class de.rwth.dfa.jvm.GraphSolver

compute

Methods inherited from class de.rwth.dfa.jvm.Solver

getIterations, getMemory, getSolution

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraphSolver

public FlowGraphSolver(Abstraction abstraction,
                       java.lang.String methodName,
                       de.fub.bytecode.generic.InstructionList methodInstrs,
                       de.fub.bytecode.classfile.CodeException[] methodExceptions,
                       Stopwatch stopwatch)

Creates a new FlowGraphSolver instance with stop watch.

Parameters:

abstraction - an Abstraction value

methodName - a String value

methodInstrs - an InstructionList value

methodExceptions - a CodeException[] value

stopwatch - a Stopwatch value

FlowGraphSolver

public FlowGraphSolver(Abstraction abstraction,
                       java.lang.String methodName,
                       de.fub.bytecode.generic.InstructionList methodInstrs,
                       de.fub.bytecode.classfile.CodeException[] methodExceptions)

Creates a new FlowGraphSolver instance with out stop watch.

Parameters:

abstraction - an Abstraction value

methodName - a String value

methodInstrs - an InstructionList value

methodExceptions - a CodeException[] value

stopwatch - a Stopwatch value

Method Detail

createGraph

protected RootedGraph createGraph()

Creates a flow graph for a method.

Overrides:

createGraph in class FactorisedFlowGraphSolver

Returns:

a RootedGraph value