Package it.unive.lisa.program

Interface Summary

Interface	Description
CodeElement	Interface for code elements that have to provide information about the location where they appear.

Class Summary

Class	Description
CompilationUnit	A compilation unit of the program to analyze.
Global	A global variable, scoped by its container.
Program	A program that LiSA can analyze.
SourceCodeLocation	A location of an element in the source code represented by the path to the source code, the line and the column where the element appears.
SyntheticLocation	A synthetic code location.
Unit	A unit of the program to analyze.

Exception Summary

Exception	Description
ProgramValidationException	A generic Exception that indicates that something has gone wrong while validating a Program's structure or when computing unit's hierarchies and cfgs' overridings.