soot.jimple.toolkits.annotation.tags
Class ArrayNullTagAggregator

java.lang.Object
  soot.Transformer
      soot.BodyTransformer
          soot.tagkit.TagAggregator
              soot.jimple.toolkits.annotation.tags.ArrayNullTagAggregator

public class ArrayNullTagAggregator
extends TagAggregator

The aggregator for ArrayNullCheckAttribute.

Field Summary

Fields inherited from class soot.tagkit.TagAggregator

tags, units

Constructor Summary

ArrayNullTagAggregator(Singletons.Global g)

Method Summary

String	aggregatedName() Return name of the resulting aggregated tag.
void	considerTag(Tag t, Unit u) Aggregate the given tag assigned to the given unit
static ArrayNullTagAggregator	v()
boolean	wantTag(Tag t) Decide whether this tag should be aggregated by this aggregator.

Methods inherited from class soot.tagkit.TagAggregator

fini, internalTransform

Methods inherited from class soot.BodyTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayNullTagAggregator

public ArrayNullTagAggregator(Singletons.Global g)

Method Detail

v

public static ArrayNullTagAggregator v()

wantTag

public boolean wantTag(Tag t)

Description copied from class: TagAggregator

Decide whether this tag should be aggregated by this aggregator.

Specified by:

wantTag in class TagAggregator

considerTag

public void considerTag(Tag t,
                        Unit u)

Description copied from class: TagAggregator

Aggregate the given tag assigned to the given unit

Specified by:

considerTag in class TagAggregator

aggregatedName

public String aggregatedName()

Description copied from class: TagAggregator

Return name of the resulting aggregated tag.

Specified by:

aggregatedName in class TagAggregator