harpoon.Analysis.Tree
Class AlignmentAnalysis.IntegerValue

java.lang.Object
  harpoon.Analysis.Tree.AlignmentAnalysis.Value
      harpoon.Analysis.Tree.AlignmentAnalysis.IntegerValue

Direct Known Subclasses:

AlignmentAnalysis.ConstantModuloN

Enclosing class:

AlignmentAnalysis

public static class AlignmentAnalysis.IntegerValue
extends AlignmentAnalysis.Value

Method Summary

protected AlignmentAnalysis.Value	_add(AlignmentAnalysis.Value v)
protected AlignmentAnalysis.Value	_mul(AlignmentAnalysis.Value v)
protected int	specificity()
String	toString()

Methods inherited from class harpoon.Analysis.Tree.AlignmentAnalysis.Value

isBaseKnown, isOffsetKnown

Methods inherited from class java.lang.Object

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

Method Detail

specificity

protected int specificity()

Specified by:

specificity in class AlignmentAnalysis.Value

_add

protected AlignmentAnalysis.Value _add(AlignmentAnalysis.Value v)

Specified by:

_add in class AlignmentAnalysis.Value

_mul

protected AlignmentAnalysis.Value _mul(AlignmentAnalysis.Value v)

Specified by:

_mul in class AlignmentAnalysis.Value

toString

public String toString()

Overrides:

toString in class Object