Class ArrayCheckTag
- java.lang.Object
-
- soot.jimple.toolkits.annotation.tags.ArrayCheckTag
-
- All Implemented Interfaces:
OneByteCodeTag,Tag
public class ArrayCheckTag extends Object implements OneByteCodeTag
Implementation of the Tag interface for array bounds checks.
-
-
Constructor Summary
Constructors Constructor Description ArrayCheckTag(boolean lower, boolean upper)A tag represents two bounds checks of an array reference.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StringgetName()Returns the tag name.byte[]getValue()Returns back the check information in binary form, which will be written into the class file.booleanisCheckLower()Needs lower bound check?booleanisCheckUpper()Needs upper bound check?StringtoString()
-
-
-
Field Detail
-
NAME
public static final String NAME
- See Also:
- Constant Field Values
-
-
Method Detail
-
getValue
public byte[] getValue()
Returns back the check information in binary form, which will be written into the class file.
-
isCheckUpper
public boolean isCheckUpper()
Needs upper bound check?
-
isCheckLower
public boolean isCheckLower()
Needs lower bound check?
-
-