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 array bounds checks.

Constructor Summary

Constructors

Constructor and Description
ArrayCheckTag(boolean lower, boolean upper) A tag represents two bounds checks of an array reference.

Method Summary

Modifier and Type	Method and Description
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

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 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