Class Hierarchy
- java.lang.Object
- it.unive.lisa.program.Application
- 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.Program
- it.unive.lisa.program.ProgramUnit (implements it.unive.lisa.program.CodeElement)
- it.unive.lisa.program.CodeUnit
- it.unive.lisa.program.CompilationUnit
- it.unive.lisa.program.ClassUnit
- it.unive.lisa.program.AbstractClassUnit
- it.unive.lisa.program.InterfaceUnit
- it.unive.lisa.program.ClassUnit
Interface Hierarchy
- it.unive.lisa.program.CodeElement