it.unive.lisa.interprocedural.context.ContextInsensitiveToken Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of lisa-analyses Show documentation

A library for static analysis

The newest version!

package it.unive.lisa.interprocedural.context;

import it.unive.lisa.program.cfg.statement.call.CFGCall;

/**
 * A context sensitive token that is always the same (aka, do not track any
 * information about the call stack). All results for a given cfg will be lubbed
 * together regardless of the call site. This corresponds to having a
 * {@link KDepthToken} with {@code k = 0}.
 */
public class ContextInsensitiveToken implements ContextSensitivityToken {

	private static final ContextInsensitiveToken SINGLETON = new ContextInsensitiveToken();

	private ContextInsensitiveToken() {
		super();
	}

	@Override
	public String toString() {
		return "";
	}

	/**
	 * Return an instance of the class.
	 * 
	 * @return an instance of the class
	 */
	public static ContextInsensitiveToken getSingleton() {
		return SINGLETON;
	}

	@Override
	public int hashCode() {
		// we provide a deterministic hashcode as it is used for generating
		// filenames of the output files
		return ContextInsensitiveToken.class.getName().hashCode();
	}

	@Override
	public boolean equals(
			Object obj) {
		// instances are still unique
		return this == obj;
	}

	@Override
	public ContextSensitivityToken startingId() {
		return SINGLETON;
	}

	@Override
	public boolean isStartingId() {
		return true;
	}

	@Override
	public ContextSensitivityToken push(
			CFGCall c) {
		return this;
	}
}