it.unive.lisa.analysis.string.ContainsCharProvider 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.analysis.string;

import it.unive.lisa.analysis.SemanticException;
import it.unive.lisa.analysis.lattices.Satisfiability;

/**
 * Interface for a string analysis that exposes the {@link #containsChar(char)}
 * method.
 * 
 * @author Luca Negrini
 */
public interface ContainsCharProvider {

	/**
	 * Simplified semantics of the string contains operator, checking a single
	 * character is part of the string.
	 * 
	 * @param c the character to check
	 * 
	 * @return whether or not the character is part of the string
	 * 
	 * @throws SemanticException if something goes wrong during the computation
	 */
	Satisfiability containsChar(
			char c)
			throws SemanticException;
}