GhostRegister.java

/**
 * 
 */
package jayhorn.utils;

import java.util.LinkedHashMap;
import java.util.Map;

import soottocfg.cfg.type.Type;

/**
 * @author schaef
 * 
 */
public class GhostRegister {

	public final Map<String, Type> ghostVariableMap = new LinkedHashMap<String, Type>();

	public static GhostRegister v() {
		if (instance==null) {
			instance = new GhostRegister();
		}
		return instance;
	}
	
	public static void reset() {
		instance = null;
	}
	
	private static GhostRegister instance = null;
	
	private GhostRegister() {
	}

}