LiSA (lisa-core 0.1b7 API)

java.lang.Object
- it.unive.lisa.LiSA

```
public class LiSA
extends java.lang.Object
```
This is the central class of the LiSA library. While LiSA's functionalities can be extended by providing additional implementations for each component, code executing LiSA should rely solely on this class to engage the analysis, provide inputs to it and retrieve its results.

Constructor Summary

Constructors
Constructor Description

LiSA(LiSAConfiguration conf)
Builds a new LiSA instance.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Collection<it.unive.lisa.checks.warnings.Warning>`	`getWarnings()`	Yields an unmodifiable view of the warnings that have been generated during the analysis.
`void`	`run(it.unive.lisa.program.Program... programs)`	Runs LiSA, executing all the checks that have been added.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - LiSA
```
public LiSA(LiSAConfiguration conf)
```
    Builds a new LiSA instance.
    
    Parameters:
    
    conf - the configuration of the analysis to run
- Method Detail
  - run
```
public void run(it.unive.lisa.program.Program... programs)
         throws it.unive.lisa.AnalysisException
```
    Runs LiSA, executing all the checks that have been added.
    
    Parameters:
    
    programs - the programs, each written in a single programming language, to analyze
    
    Throws:
    
    it.unive.lisa.AnalysisException - if anything goes wrong during the analysis
  - getWarnings
```
public java.util.Collection<it.unive.lisa.checks.warnings.Warning> getWarnings()
```
    Yields an unmodifiable view of the warnings that have been generated during the analysis. Invoking this method before invoking run(Program...) will return an empty collection.
    
    Returns:
    
    a view of the generated warnings