class ArrayNullTagAggregator extends TagAggregator {
  public ArrayNullTagAggregator(Singletons.Global g) {
  }

  public static ArrayNullTagAggregator v() {
    return G.v().soot_jimple_toolkits_annotation_tags_ArrayNullTagAggregator();
  }

  public boolean wantTag(Tag t) {
    return (t instanceof OneByteCodeTag);
  }

  @Override
  public void considerTag(Tag t, Unit u, LinkedList<Tag> tags, LinkedList<Unit> units) {<FILL_FUNCTION_BODY>}

  public String aggregatedName() {
    return "ArrayNullCheckAttribute";
  }
}

    Inst i = (Inst) u;
    if (!(i.containsInvokeExpr() || i.containsFieldRef() || i.containsArrayRef())) {
      return;
    }

    OneByteCodeTag obct = (OneByteCodeTag) t;

    if (units.size() == 0 || units.getLast() != u) {
      units.add(u);
      tags.add(new ArrayNullCheckTag());
    }
    ArrayNullCheckTag anct = (ArrayNullCheckTag) tags.getLast();
    anct.accumulate(obct.getValue()[0]);
  
<methods>public non-sealed void <init>() ,public abstract java.lang.String aggregatedName() ,public abstract void considerTag(soot.tagkit.Tag, soot.Unit, LinkedList<soot.tagkit.Tag>, LinkedList<soot.Unit>) ,public void fini() ,public abstract boolean wantTag(soot.tagkit.Tag) <variables>