soot.jimple.toolkits.annotation.tags
Class ArrayCheckTag

java.lang.Object
  extended by 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
ArrayCheckTag(boolean lower, boolean upper)
          A tag represents two bounds checks of an array reference.
 
Method Summary
 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?
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ArrayCheckTag

public ArrayCheckTag(boolean lower,
                     boolean upper)
A tag represents two bounds checks of an array reference. The value 'true' indicates check needed.

Method Detail

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 String getName()
Description copied from interface: Tag
Returns the tag name.

Specified by:
getName in interface Tag

toString

public String toString()
Overrides:
toString in class Object