soot

Interface ValueBox

All Superinterfaces:

Host, java.io.Serializable

All Known Implementing Classes:

AbstractValueBox, BafLocalBox, ConditionExprBox, DArrayInitValueBox, ExprBox, GRValueBox, IdentityRefBox, ImmediateBox, InvokeExprBox, JimpleLocalBox, ObjExprBox, RValueBox, SValueUnitPair, ValueUnitPair, VariableBox

public interface ValueBox
extends Host, java.io.Serializable

A box which can contain values.

See Also:

Value

Method Summary

Modifier and Type	Method and Description
boolean	canContainValue(Value value) Returns true if the given Value fits in this box.
Value	getValue() Returns the value contained in this box.
void	setValue(Value value) Sets the value contained in this box as given.
void	toString(UnitPrinter up)

Methods inherited from interface soot.tagkit.Host

addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag

Method Detail

setValue

void setValue(Value value)

Sets the value contained in this box as given. Subject to canContainValue() checks.

getValue

Value getValue()

Returns the value contained in this box.

canContainValue

boolean canContainValue(Value value)

Returns true if the given Value fits in this box.

toString

void toString(UnitPrinter up)