harpoon.Analysis.Tree
Class AlignmentAnalysis.Value

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

Direct Known Subclasses:

AlignmentAnalysis.BaseAndOffset, AlignmentAnalysis.IntegerValue

Enclosing class:

AlignmentAnalysis

public abstract static class AlignmentAnalysis.Value
extends Object

Constructor Summary

AlignmentAnalysis.Value()

Method Summary

protected abstract AlignmentAnalysis.Value	_add(AlignmentAnalysis.Value v)
protected abstract AlignmentAnalysis.Value	_mul(AlignmentAnalysis.Value v)
boolean	isBaseKnown()
boolean	isOffsetKnown()
protected abstract int	specificity()

Methods inherited from class java.lang.Object

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

Constructor Detail

AlignmentAnalysis.Value

public AlignmentAnalysis.Value()

Method Detail

specificity

protected abstract int specificity()

isBaseKnown

public boolean isBaseKnown()

isOffsetKnown

public boolean isOffsetKnown()

_add

protected abstract AlignmentAnalysis.Value _add(AlignmentAnalysis.Value v)

_mul

protected abstract AlignmentAnalysis.Value _mul(AlignmentAnalysis.Value v)