chord.analyses.basicblock
Class DomW

java.lang.Object
  chord.util.IndexMap<T>
      chord.bddbddb.Dom<T>
          chord.project.analyses.ProgramDom<joeq.Compiler.Quad.BasicBlock>
              chord.analyses.basicblock.DomB
                  chord.analyses.basicblock.DomW

All Implemented Interfaces:

IClassVisitor, IMethodVisitor, ITask, java.lang.Iterable<joeq.Compiler.Quad.BasicBlock>

public class DomW
extends DomB

Domain of loop head/exit basic blocks.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Field Summary

Fields inherited from class chord.analyses.basicblock.DomB

basicBlockToMethodMap

Fields inherited from class chord.project.analyses.ProgramDom

consumes

Fields inherited from class chord.bddbddb.Dom

name

Fields inherited from class chord.util.IndexMap

hmap, list

Constructor Summary

DomW()

Method Summary

int	getOrAdd(joeq.Compiler.Quad.BasicBlock b, joeq.Class.jq_Method m)

Methods inherited from class chord.analyses.basicblock.DomB

getMethod, init, toUniqueString, visit, visit

Methods inherited from class chord.project.analyses.ProgramDom

fill, run, run, save, saveToXMLFile, toString, toXMLAttrsString, toXMLElemsString

Methods inherited from class chord.bddbddb.Dom

equals, getName, hashCode, print, print, save, setName, toUniqueString

Methods inherited from class chord.util.IndexMap

add, addAll, clear, contains, get, getOrAdd, indexOf, iterator, size

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface chord.project.ITask

getName, setName

Constructor Detail

DomW

public DomW()

Method Detail

getOrAdd

public int getOrAdd(joeq.Compiler.Quad.BasicBlock b,
                    joeq.Class.jq_Method m)