soot.jimple.toolkits.annotation.tags

Class ArrayNullCheckTag

java.lang.Object

soot.jimple.toolkits.annotation.tags.ArrayNullCheckTag

All Implemented Interfaces:

OneByteCodeTag, Tag

public class ArrayNullCheckTag
extends Object
implements OneByteCodeTag

ArrayNullCheckTag combines ArrayCheckTag and NullCheckTag into one tag. It uses bits of one byte value to represent the check information. The right-most two bits stand for the array bounds checks, and the right third bit represents the null check.

For array references, the right three bits are meaningful; for other object refrences, only null check bit should be used.

See Also:

ArrayCheckTag, NullCheckTag

Field Summary

Fields

Modifier and Type	Field and Description
static String	NAME

Constructor Summary

Constructors

Constructor and Description
ArrayNullCheckTag()
ArrayNullCheckTag(byte v)

Method Summary

Modifier and Type	Method and Description
byte	accumulate(byte other) Accumulates another byte value by OR.
String	getName() Returns the tag name.
byte[]	getValue() Returns the tag raw data.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

Constructor Detail

ArrayNullCheckTag

public ArrayNullCheckTag()

ArrayNullCheckTag

public ArrayNullCheckTag(byte v)

Method Detail

getName

public String getName()

Description copied from interface: Tag

Returns the tag name.

Specified by:

getName in interface Tag

getValue

public byte[] getValue()

Description copied from interface: Tag

Returns the tag raw data.

Specified by:

getValue in interface Tag

toString

public String toString()

Overrides:

toString in class Object

accumulate

public byte accumulate(byte other)

Accumulates another byte value by OR.