harpoon.Analysis.Tree
Class AlignmentAnalysis.ConstantModuloN

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

Direct Known Subclasses:

AlignmentAnalysis.Constant

Enclosing class:

AlignmentAnalysis

public static class AlignmentAnalysis.ConstantModuloN
extends AlignmentAnalysis.IntegerValue

Field Summary

AlignmentAnalysis.KGroup	kgroup
long	modulus
long	number

Constructor Summary

protected

AlignmentAnalysis.ConstantModuloN(long number)

Method Summary

protected AlignmentAnalysis.Value	_add(AlignmentAnalysis.Value v)
protected AlignmentAnalysis.Value	_mul(AlignmentAnalysis.Value v)
boolean	equals(Object o)
int	hashCode()
boolean	isOffsetKnown()
protected int	specificity()
String	toString()

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

isBaseKnown

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

number

public final long number

modulus

public final long modulus

kgroup

public final AlignmentAnalysis.KGroup kgroup

Constructor Detail

AlignmentAnalysis.ConstantModuloN

protected AlignmentAnalysis.ConstantModuloN(long number)

Method Detail

specificity

protected int specificity()

Overrides:

specificity in class AlignmentAnalysis.IntegerValue

isOffsetKnown

public boolean isOffsetKnown()

Overrides:

isOffsetKnown in class AlignmentAnalysis.Value

_add

protected AlignmentAnalysis.Value _add(AlignmentAnalysis.Value v)

Overrides:

_add in class AlignmentAnalysis.IntegerValue

_mul

protected AlignmentAnalysis.Value _mul(AlignmentAnalysis.Value v)

Overrides:

_mul in class AlignmentAnalysis.IntegerValue

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class AlignmentAnalysis.IntegerValue