Package it.unive.lisa.symbolic.value

Class Identifier

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.value.ValueExpression

it.unive.lisa.symbolic.value.Identifier

Direct Known Subclasses:

HeapLocation, MemoryPointer, OutOfScopeIdentifier, Variable

public abstract class Identifier
extends ValueExpression

An identifier of a program variable, representing either a program variable (as an instance of Variable), or a resolved memory location (as an instance of HeapLocation).

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Identifier(ExternalSet<Type> types, java.lang.String name, boolean weak, Annotations annotations, CodeLocation location)	Builds the identifier.
protected	Identifier(ExternalSet<Type> types, java.lang.String name, boolean weak, CodeLocation location)	Builds the identifier.

Method Summary

Modifier and Type	Method	Description
void	addAnnotation(Annotation ann)	Adds an annotation to the annotations of this identifier.
boolean	equals(java.lang.Object obj)
Annotations	getAnnotations()	Yields the annotations of this identifier.
java.lang.String	getName()	Yields the name of this identifier.
int	hashCode()
boolean	isWeak()	Yields whether or not this identifier is weak.
Identifier	lub(Identifier other)	Yields the least upper bounds between two identifiers.

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

removeNegations

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

accept, getCodeLocation, getDynamicType, getTypes, popScope, pushScope, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Identifier

protected Identifier(ExternalSet<Type> types,
                     java.lang.String name,
                     boolean weak,
                     CodeLocation location)

Builds the identifier.

Parameters:

types - the runtime types of this expression

name - the name of the identifier

weak - whether or not this identifier is weak, meaning that it should only receive weak assignments

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

Identifier

protected Identifier(ExternalSet<Type> types,
                     java.lang.String name,
                     boolean weak,
                     Annotations annotations,
                     CodeLocation location)

Builds the identifier.

Parameters:

types - the runtime types of this expression

name - the name of the identifier

weak - whether or not this identifier is weak, meaning that it should only receive weak assignments

annotations - the annotations of this identifier

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

Method Detail

getName

public java.lang.String getName()

Yields the name of this identifier.

Returns:

the name

isWeak

public boolean isWeak()

Yields whether or not this identifier is weak. Weak identifiers should only receive weak assignments, that is, the value of the identifier after the assignment should be the least upper bound between its old value and the fresh value being assigned. With strong identifiers instead, the new value corresponds to the freshly provided value.

Returns:

true if this identifier is weak, false otherwise

hashCode

public int hashCode()

Overrides:

hashCode in class SymbolicExpression

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class SymbolicExpression

getAnnotations

public Annotations getAnnotations()

Yields the annotations of this identifier.

Returns:

the annotations of this identifier

addAnnotation

public void addAnnotation(Annotation ann)

Adds an annotation to the annotations of this identifier.

Parameters:

ann - the annotation to be added

lub

public Identifier lub(Identifier other)
               throws SemanticException

Yields the least upper bounds between two identifiers.

Parameters:

other - the other identifier

Returns:

the least upper bounds between two identifiers.

Throws:

SemanticException - if this and other are not equal.