chord.analyses.alloc
Class DomH

java.lang.Object
  chord.util.IndexMap<T>
      chord.bddbddb.Dom<T>
          chord.project.analyses.ProgramDom<java.lang.Object>
              chord.analyses.alloc.DomH

All Implemented Interfaces:

ITask, java.lang.Iterable<java.lang.Object>

public class DomH
extends ProgramDom<java.lang.Object>

Domain of object allocation quads.

The 0th element of this domain is null and denotes a distinguished hypothetical object allocation quad that may be used for various purposes.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Field Summary

protected DomM	domM
protected int	lastA
protected int	lastI

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

DomH()

Method Summary

void	fill()
int	getLastA()
int	getLastI()
static java.lang.String	getType(joeq.Compiler.Quad.Quad q)
void	init()
java.lang.String	toUniqueString(java.lang.Object o)
java.lang.String	toXMLAttrsString(java.lang.Object o) Provides the XML attributes string of the specified value.

Methods inherited from class chord.project.analyses.ProgramDom

run, run, save, saveToXMLFile, toString, 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

Field Detail

domM

protected DomM domM

lastA

protected int lastA

lastI

protected int lastI

Constructor Detail

DomH

public DomH()

Method Detail

getLastA

public int getLastA()

getLastI

public int getLastI()

init

public void init()

Overrides:

init in class ProgramDom<java.lang.Object>

fill

public void fill()

Overrides:

fill in class ProgramDom<java.lang.Object>

toUniqueString

public java.lang.String toUniqueString(java.lang.Object o)

Overrides:

toUniqueString in class Dom<java.lang.Object>

getType

public static java.lang.String getType(joeq.Compiler.Quad.Quad q)

toXMLAttrsString

public java.lang.String toXMLAttrsString(java.lang.Object o)

Description copied from class: ProgramDom

Provides the XML attributes string of the specified value. Subclasses may override this method if necessary.

Overrides:

toXMLAttrsString in class ProgramDom<java.lang.Object>

Parameters:

o - A value.

Returns:

The XML attributes string of the specified value. It is the empty string by default.

See Also:

ProgramDom.saveToXMLFile()