chord.analyses.heapacc
Class RelWriteE

java.lang.Object
  chord.bddbddb.Rel
      chord.project.analyses.ProgramRel
          chord.analyses.heapacc.RelWriteE

All Implemented Interfaces:

ITask

public class RelWriteE
extends ProgramRel

Relation containing all statements that write to an instance field, static field, or array element.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Nested Class Summary

Nested classes/interfaces inherited from class chord.bddbddb.Rel

Rel.AryNIterable, Rel.HextIterable<T0,T1,T2,T3,T4,T5>, Rel.IntAryNIterable, Rel.IntHextIterable, Rel.IntPairIterable, Rel.IntPentIterable, Rel.IntQuadIterable, Rel.IntTrioIterable, Rel.PairIterable<T0,T1>, Rel.PentIterable<T0,T1,T2,T3,T4>, Rel.QuadIterable<T0,T1,T2,T3>, Rel.RelView, Rel.SelfIterable<T>, Rel.TrioIterable<T0,T1,T2>, Rel.TupleIterator<T>

Field Summary

Fields inherited from class chord.project.analyses.ProgramRel

consumes

Fields inherited from class chord.bddbddb.Rel

bdd, domBdds, domIdxs, doms, factory, iterBdd, name, numDoms, sign

Constructor Summary

RelWriteE()

Method Summary

void

fill()

Methods inherited from class chord.project.analyses.ProgramRel

init, load, print, run, run, save, skip, toString

Methods inherited from class chord.bddbddb.Rel

add, add, add, add, add, add, add, add, add, add, add, add, add, add, checkRange, checkRange, close, contains, contains, contains, contains, contains, contains, contains, contains, contains, getAry1ValTuples, getAry2IntTuples, getAry2ValTuples, getAry3IntTuples, getAry3ValTuples, getAry4IntTuples, getAry4ValTuples, getAry5IntTuples, getAry5ValTuples, getAry6IntTuples, getAry6ValTuples, getAryNIntTuples, getAryNValTuples, getDoms, getName, getSign, getView, initialize, isOpen, load, one, print, print, remove, remove, remove, remove, save, setDoms, setName, setSign, setSign, setSign, size, zero

Methods inherited from class java.lang.Object

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

Methods inherited from interface chord.project.ITask

getName, setName

Constructor Detail

RelWriteE

public RelWriteE()

Method Detail

fill

public void fill()

Overrides:

fill in class ProgramRel