chord.program.stubs
Class ArraySetCFGBuilder

java.lang.Object
  chord.program.stubs.ArraySetCFGBuilder

All Implemented Interfaces:

joeq.Compiler.Quad.ICFGBuilder

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

Stub for static method "void set(Object array, int index, Object value)" in class java.lang.reflect.Array.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Constructor Summary

ArraySetCFGBuilder()

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

ArraySetCFGBuilder

public ArraySetCFGBuilder()

Method Detail

run

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

Specified by:

run in interface joeq.Compiler.Quad.ICFGBuilder