chord.analyses.point
Class DomP

java.lang.Object
  chord.util.IndexMap<T>
      chord.bddbddb.Dom<T>
          chord.project.analyses.ProgramDom<joeq.Compiler.Quad.Inst>
              chord.analyses.point.DomP

All Implemented Interfaces:

ITask, java.lang.Iterable<joeq.Compiler.Quad.Inst>

public class DomP
extends ProgramDom<joeq.Compiler.Quad.Inst>

Domain of simple statements.

The 0th element in this domain is the statement at the unique entry point of the main method of the program.

The statements of each method in the program are assigned contiguous indices in this domain, with the statements at the unique entry and exit points of each method being assigned the smallest and largest indices, respectively, of all indices assigned to statements in that method.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Field Summary

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

DomP()

Method Summary

void	fill()
java.lang.String	toUniqueString(joeq.Compiler.Quad.Inst i)

Methods inherited from class chord.project.analyses.ProgramDom

init, 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

DomP

public DomP()

Method Detail

fill

public void fill()

Overrides:

fill in class ProgramDom<joeq.Compiler.Quad.Inst>

toUniqueString

public java.lang.String toUniqueString(joeq.Compiler.Quad.Inst i)

Overrides:

toUniqueString in class Dom<joeq.Compiler.Quad.Inst>