ContainsCharProvider (lisa-analyses 0.1 API)

All Known Implementing Classes:

Bricks, CharInclusion, FSA, Prefix, Suffix, Tarsis
```
public interface ContainsCharProvider
```
Interface for a string analysis that exposes the containsChar(char) method.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`it.unive.lisa.analysis.lattices.Satisfiability`	`containsChar(char c)`	Simplified semantics of the string contains operator, checking a single character is part of the string.

- Method Detail
  - containsChar
```
it.unive.lisa.analysis.lattices.Satisfiability containsChar(char c)
                                                     throws it.unive.lisa.analysis.SemanticException
```
    Simplified semantics of the string contains operator, checking a single character is part of the string.
    
    Parameters:
    
    c - the character to check
    
    Returns:
    
    whether or not the character is part of the string
    
    Throws:
    
    it.unive.lisa.analysis.SemanticException - if something goes wrong during the computation