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

Constructor Summary

Constructors

Constructor	Description
ArrayNullTagAggregator(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
String	aggregatedName()	Return name of the resulting aggregated tag.
void	considerTag(Tag t, Unit u, LinkedList<Tag> tags, LinkedList<Unit> units)	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,
                        LinkedList<Tag> tags,
                        LinkedList<Unit> units)

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