Package it.unive.lisa.program

Class AbstractClassUnit

java.lang.Object

it.unive.lisa.program.Unit

it.unive.lisa.program.ProgramUnit

it.unive.lisa.program.CompilationUnit

it.unive.lisa.program.ClassUnit

it.unive.lisa.program.AbstractClassUnit

All Implemented Interfaces:

CodeElement

public class AbstractClassUnit
extends ClassUnit

A compilation unit of the program to analyze. A compilation unit is a Unit that also defines instance members, that can be inherited by subunits.

Field Summary

Fields inherited from class it.unive.lisa.program.CompilationUnit

instances

Constructor Summary

Constructors

Constructor	Description
AbstractClassUnit(CodeLocation location, Program program, java.lang.String name, boolean sealed)	Builds a concrete compilation unit, defined at the given program point.

Method Summary

Modifier and Type	Method	Description
boolean	canBeInstantiated()	Yields true if this unit can be instantiated, false otherwise (e.g., interfaces, abstract classes).

Methods inherited from class it.unive.lisa.program.ClassUnit

addAncestor, addInstance, addInterface, addSuperclass, getImmediateAncestors, getInterfaces, getSuperclasses, isInstanceOf

Methods inherited from class it.unive.lisa.program.CompilationUnit

addAnnotation, addInstanceCodeMember, addInstanceGlobal, getAbstractCodeMembers, getAnnotations, getCodeMembersRecursively, getGlobalsRecursively, getInstanceCFGs, getInstanceCodeMember, getInstanceCodeMembers, getInstanceCodeMembersByName, getInstanceConstructs, getInstanceGlobal, getInstanceGlobals, getInstances, getMatchingInstanceCodeMembers, isSealed, searchCodeMembers, searchGlobals

Methods inherited from class it.unive.lisa.program.ProgramUnit

getLocation, getProgram

Methods inherited from class it.unive.lisa.program.Unit

addCodeMember, addGlobal, getCodeMember, getCodeMembers, getCodeMembersByName, getGlobal, getGlobals, getMatchingCodeMember, getName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractClassUnit

public AbstractClassUnit(CodeLocation location,
                         Program program,
                         java.lang.String name,
                         boolean sealed)

Builds a concrete compilation unit, defined at the given program point.

Parameters:

location - the location where the unit is define within the source file

program - the program where this unit is defined

name - the name of the unit

sealed - whether or not this unit is sealed, meaning that it cannot be used as super unit of other compilation units

Method Detail

canBeInstantiated

public boolean canBeInstantiated()

Description copied from class: Unit

Yields true if this unit can be instantiated, false otherwise (e.g., interfaces, abstract classes).

Overrides:

canBeInstantiated in class ClassUnit

Returns:

true if this unit can be instantiated, false otherwise