chord.program.stubs
Class ThreadStartCFGBuilder

java.lang.Object
  chord.program.stubs.ThreadStartCFGBuilder

All Implemented Interfaces:

joeq.Compiler.Quad.ICFGBuilder

public class ThreadStartCFGBuilder
extends java.lang.Object
implements joeq.Compiler.Quad.ICFGBuilder

Stub for instance method "void start()" in class java.lang.Thread.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Constructor Summary

ThreadStartCFGBuilder()

Method Summary

joeq.Compiler.Quad.ControlFlowGraph

run(joeq.Class.jq_Method m)

Methods inherited from class java.lang.Object

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

Constructor Detail

ThreadStartCFGBuilder

public ThreadStartCFGBuilder()

Method Detail

run

public joeq.Compiler.Quad.ControlFlowGraph run(joeq.Class.jq_Method m)

Specified by:

run in interface joeq.Compiler.Quad.ICFGBuilder