sandmark.util.controlflowgraph
Class VoidMethodSynthesizer

java.lang.Object
  |
  +--sandmark.util.controlflowgraph.ControlFlowSynthesizer
        |
        +--sandmark.util.controlflowgraph.VoidMethodSynthesizer

Direct Known Subclasses:

MinimalSynthesizer, SimpleGotoSynthesizer, SimpleSwitchSynthesizer

public abstract class VoidMethodSynthesizer

extends ControlFlowSynthesizer

A VoidMethodSynthesizer generates code having a control structure that matches a supplied graph. The generated code is a static void method with no arguments.

Field Summary

Fields inherited from class sandmark.util.controlflowgraph.ControlFlowSynthesizer

rng

Constructor Summary

VoidMethodSynthesizer()

Method Summary

protected de.fub.bytecode.generic.MethodGen

makeMethod(de.fub.bytecode.generic.InstructionList inslist, de.fub.bytecode.generic.ConstantPoolGen cpg) Creates a MethodGen for a public static void no-argument method with a random name.

Methods inherited from class sandmark.util.controlflowgraph.ControlFlowSynthesizer

generate, makeNOPs, randomIn, setSeed, test

Methods inherited from class java.lang.Object

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

Constructor Detail

VoidMethodSynthesizer

public VoidMethodSynthesizer()

Method Detail

makeMethod

protected de.fub.bytecode.generic.MethodGen makeMethod(de.fub.bytecode.generic.InstructionList inslist,
                                                       de.fub.bytecode.generic.ConstantPoolGen cpg)

Creates a MethodGen for a public static void no-argument method with a random name.