Package it.unive.lisa.analysis.impl.heap.pointbased

Class AllocationSite

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.value.ValueExpression

it.unive.lisa.symbolic.value.Identifier

it.unive.lisa.symbolic.value.HeapLocation

it.unive.lisa.analysis.impl.heap.pointbased.AllocationSite

public class AllocationSite
extends HeapLocation

A heap identifier that track also the source location where it has been allocated and a field (optional). This class is used in PointBasedHeap and FieldSensitivePointBasedHeap.

Constructor Summary

Constructors

Constructor	Description
AllocationSite(ExternalSet<Type> types, java.lang.String locationName, boolean isWeak, CodeLocation location)	Builds an allocation site from its source code location (without field) and specifying if it is weak.
AllocationSite(ExternalSet<Type> types, java.lang.String locationName, CodeLocation location)	Builds a strong allocation site from its source code location (without field).
AllocationSite(ExternalSet<Type> types, java.lang.String locationName, SymbolicExpression field, boolean isWeak, CodeLocation location)	Builds an allocation site from its source code location and its field and specifying if it is weak.
AllocationSite(ExternalSet<Type> types, java.lang.String locationName, SymbolicExpression field, CodeLocation location)	Builds a strong allocation site from its source code location and its field.

Method Summary

Modifier and Type	Method	Description
java.lang.String	getLocationName()	Yields the code location string representation where this allocation site has been allocated.

Methods inherited from class it.unive.lisa.symbolic.value.HeapLocation

accept, equals, hashCode, lub, popScope, pushScope, toString

Methods inherited from class it.unive.lisa.symbolic.value.Identifier

addAnnotation, getAnnotations, getName, isWeak

Methods inherited from class it.unive.lisa.symbolic.value.ValueExpression

removeNegations

Methods inherited from class it.unive.lisa.symbolic.SymbolicExpression

getCodeLocation, getDynamicType, getTypes

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AllocationSite

public AllocationSite(ExternalSet<Type> types,
                      java.lang.String locationName,
                      CodeLocation location)

Builds a strong allocation site from its source code location (without field).

Parameters:

types - the runtime types of this allocation site

locationName - the source code location string representation where this allocation site has been allocated

location - the code location of the statement that has generated this expression

AllocationSite

public AllocationSite(ExternalSet<Type> types,
                      java.lang.String locationName,
                      boolean isWeak,
                      CodeLocation location)

Builds an allocation site from its source code location (without field) and specifying if it is weak.

Parameters:

types - the runtime types of this allocation site

locationName - the source code location string representation where this allocation site has been allocated

isWeak - boolean value specifying if this allocation site is weak

location - the code location of the statement that has generated this expression

AllocationSite

public AllocationSite(ExternalSet<Type> types,
                      java.lang.String locationName,
                      SymbolicExpression field,
                      CodeLocation location)

Builds a strong allocation site from its source code location and its field.

Parameters:

types - the runtime types of this allocation site

locationName - the source code location string representation where this allocation site has been allocated

field - the field of this allocation site

location - the code location of the statement that has generated this expression

AllocationSite

public AllocationSite(ExternalSet<Type> types,
                      java.lang.String locationName,
                      SymbolicExpression field,
                      boolean isWeak,
                      CodeLocation location)

Builds an allocation site from its source code location and its field and specifying if it is weak.

Parameters:

types - the runtime types of this allocation site

locationName - the source code location string representation where this allocation site has been allocated

field - the field of this allocation site

isWeak - boolean value specifying if this allocation site is weak

location - the code location of the statement that has generated this expression

Method Detail

getLocationName

public java.lang.String getLocationName()

Yields the code location string representation where this allocation site has been allocated.

Returns:

the code location string representation where this allocation site has been allocated.