chord.program.stubs
Class ObjectCloneCFGBuilder

java.lang.Object
  chord.program.stubs.ObjectCloneCFGBuilder

All Implemented Interfaces:

joeq.Compiler.Quad.ICFGBuilder

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

Stub for instance method "Object clone()" in class java.lang.Object.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Constructor Summary

ObjectCloneCFGBuilder()

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

ObjectCloneCFGBuilder

public ObjectCloneCFGBuilder()

Method Detail

run

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

Specified by:

run in interface joeq.Compiler.Quad.ICFGBuilder