soot.jimple.spark.sets.AllSharedHybridNodes Maven / Gradle / Ivy

package soot.jimple.spark.sets;

/*-
 * #%L
 * Soot - a J*va Optimization Framework
 * %%
 * Copyright (C) 1997 - 2018 Raja Vallée-Rai and others
 * %%
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as
 * published by the Free Software Foundation, either version 2.1 of the
 * License, or (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Lesser Public License for more details.
 * 
 * You should have received a copy of the GNU General Lesser Public
 * License along with this program.  If not, see
 * .
 * #L%
 */

import java.util.LinkedList;

import soot.G;
import soot.Singletons;

/** A singleton to hold the hash table for SharedHybridSet */

public class AllSharedHybridNodes {
  public AllSharedHybridNodes(Singletons.Global g) {
  }

  public static AllSharedHybridNodes v() {
    return G.v().soot_jimple_spark_sets_AllSharedHybridNodes();
  }

  public class BitVectorLookupMap {
    // Each element i is a list of BitVectors which have i 1s
    // (i elements in the set).
    // But should this be a LinkedList or some kind of Set?
    // I'll try LinkedList
    // TODO: Maybe implement my own linked list here
    // -it would need an add method and an iterator

    public LinkedList[] map = new LinkedList[1];

    private final static int INCREASE_FACTOR = 2; // change to affect the
    // speed/memory tradeoff

    public void add(int size, PointsToBitVector toAdd) {
      if (map.length < size + 1)
      // if the `map' array isn't big enough
      {
        // TODO: The paper says it does some rearranging at this point
        LinkedList[] newMap = new LinkedList[size * INCREASE_FACTOR];
        System.arraycopy(map, 0, newMap, 0, map.length);
        map = newMap;
      }

      if (map[size] == null) {
        map[size] = new LinkedList();
      }
      map[size].add(toAdd);
    }

    public void remove(int size, PointsToBitVector toRemove) {
      /*
       * if (map[size] == null) { //Can't happen System.out.println(toRemove.cardinality()); }
       */
      map[size].remove(toRemove);
    }
  }

  public BitVectorLookupMap lookupMap = new BitVectorLookupMap(); // A hash table of all
  // the bit vectors for all points-to sets.
  // It can keep growing as more bit vectors are added to it, which
  // means it will have to occasionally double in size, which is expensive.

}