soot.jimple.toolkits.annotation.tags
Class ArrayCheckTag
java.lang.Object
|
+--soot.jimple.toolkits.annotation.tags.ArrayCheckTag
- All Implemented Interfaces:
- OneByteCodeTag, Tag
- public class ArrayCheckTag
- extends java.lang.Object
- implements OneByteCodeTag
Implementation of the Tag interface for the array bounds check.
Constructor Summary |
ArrayCheckTag(boolean lower,
boolean upper)
A tag represents two bounds checks of an array reference. |
Method Summary |
java.lang.String |
getName()
Returns the tag name. |
byte[] |
getValue()
Returns back the check information in binary form, which
will be written into the class file. |
boolean |
isCheckLower()
Needs lower bound check? |
boolean |
isCheckUpper()
Needs upper bound check? |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ArrayCheckTag
public ArrayCheckTag(boolean lower,
boolean upper)
- A tag represents two bounds checks of an array reference.
The value 'true' indicates check needed.
getValue
public byte[] getValue()
- Returns back the check information in binary form, which
will be written into the class file.
- Specified by:
getValue
in interface Tag
isCheckUpper
public boolean isCheckUpper()
- Needs upper bound check?
isCheckLower
public boolean isCheckLower()
- Needs lower bound check?
getName
public java.lang.String getName()
- Description copied from interface:
Tag
- Returns the tag name.
- Specified by:
getName
in interface Tag
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object