soot.jimple.toolkits.annotation.tags
Class ArrayNullCheckTag

java.lang.Object
  extended by 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

Constructor Summary
ArrayNullCheckTag()
           
ArrayNullCheckTag(byte v)
           
 
Method Summary
 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
 

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.