dk.brics.xact.analysis.soot
Class ArrayConstantInfo

java.lang.Object
  dk.brics.xact.analysis.soot.ArrayConstantInfo

All Implemented Interfaces:

Cloneable

public final class ArrayConstantInfo
extends Object
implements Cloneable

Field Summary

ValueBox[]	contents If null, nothing is known about the array (including its length).
static ArrayConstantInfo	UNKNOWN

Constructor Summary

ArrayConstantInfo(ValueBox[] contents)

Method Summary

ArrayConstantInfo	clone()
ArrayConstantInfo	leastUpperBound(ArrayConstantInfo other)

Methods inherited from class java.lang.Object

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

Field Detail

contents

public final ValueBox[] contents

If null, nothing is known about the array (including its length). Otherwise, the array has same length as contents, and the entry at index i is

• Same as contents[i] if contents[i] is not null
• Uninitialized if contents[i] is null

UNKNOWN

public static final ArrayConstantInfo UNKNOWN

Constructor Detail

ArrayConstantInfo

public ArrayConstantInfo(ValueBox[] contents)

Method Detail

clone

public ArrayConstantInfo clone()

Overrides:

clone in class Object

leastUpperBound

public ArrayConstantInfo leastUpperBound(ArrayConstantInfo other)