CGNodeInfo.java

/**
 * This file is licensed under the University of Illinois/NCSA Open Source License. See LICENSE.TXT for details.
 */
package edu.illinois.keshmesh.detector;

import java.util.Collection;

import com.ibm.wala.util.intset.BitVector;
import com.ibm.wala.util.intset.BitVectorIntSet;
import com.ibm.wala.util.intset.IntIterator;
import com.ibm.wala.util.intset.OrdinalSetMapping;

/**
 * 
 * @author Mohsen Vakilian
 * @author Stas Negara
 * 
 */
public class CGNodeInfo {

	private final Collection<InstructionInfo> safeSynchronizedBlocks;

	// This bit vector is the initial set of the data flow analysis. That is, it contains the interesting instructions that are in the body of the given method.
	private final BitVector bitVector;

	public CGNodeInfo(Collection<InstructionInfo> safeSynchronizedBlocks, BitVector bitVector) {
		this.safeSynchronizedBlocks = safeSynchronizedBlocks;
		this.bitVector = bitVector;
	}

	public Collection<InstructionInfo> getSafeSynchronizedBlocks() {
		return safeSynchronizedBlocks;
	}

	public BitVector getBitVector() {
		return bitVector;
	}

	public <T> void getBitVectorContents(Collection<T> result, OrdinalSetMapping<T> globalValues) {
		BitVectorIntSet bitVectorIntSet = new BitVectorIntSet(bitVector);
		IntIterator intIterator = bitVectorIntSet.intIterator();
		while (intIterator.hasNext()) {
			T instructionInfo = globalValues.getMappedObject(intIterator.next());
			result.add(instructionInfo);
		}
	}

}