Class Hierarchy
- java.lang.Object
- it.unive.lisa.program.Global (implements it.unive.lisa.program.CodeElement)
- it.unive.lisa.program.SourceCodeLocation (implements it.unive.lisa.program.cfg.CodeLocation)
- it.unive.lisa.program.SyntheticLocation (implements it.unive.lisa.program.cfg.CodeLocation)
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- it.unive.lisa.program.ProgramValidationException
- java.lang.Exception
- it.unive.lisa.program.Unit
- it.unive.lisa.program.CompilationUnit (implements it.unive.lisa.program.CodeElement)
- it.unive.lisa.program.Program
Interface Hierarchy
- it.unive.lisa.program.CodeElement