chord.analyses.deadlock
Class DomN

java.lang.Object
  chord.util.IndexMap<T>
      chord.bddbddb.Dom<T>
          chord.project.analyses.ProgramDom<Pair<Ctxt,joeq.Compiler.Quad.Inst>>
              chord.analyses.deadlock.DomN

All Implemented Interfaces:

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

public class DomN
extends ProgramDom<Pair<Ctxt,joeq.Compiler.Quad.Inst>>

Domain of abstract threads.

An abstract thread is a triple (o,c,m) denoting the thread whose abstract object is 'o' and which starts at method 'm' in abstract context 'c'.

Author:

Mayur Naik (mhn@cs.stanford.edu)

See Also:

ThreadsAnalysis

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

DomN()

Method Summary

java.lang.String	toUniqueString(Pair<Ctxt,joeq.Compiler.Quad.Inst> v)
java.lang.String	toXMLAttrsString(Pair<Ctxt,joeq.Compiler.Quad.Inst> v) Provides the XML attributes string of the specified value.

Methods inherited from class chord.project.analyses.ProgramDom

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

Constructor Detail

DomN

public DomN()

Method Detail

toUniqueString

public java.lang.String toUniqueString(Pair<Ctxt,joeq.Compiler.Quad.Inst> v)

Overrides:

toUniqueString in class Dom<Pair<Ctxt,joeq.Compiler.Quad.Inst>>

toXMLAttrsString

public java.lang.String toXMLAttrsString(Pair<Ctxt,joeq.Compiler.Quad.Inst> v)

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<Pair<Ctxt,joeq.Compiler.Quad.Inst>>

Parameters:

v - A value.

Returns:

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

See Also:

ProgramDom.saveToXMLFile()