HeapAllocation (lisa 0.1b1 API)

java.lang.Object
- it.unive.lisa.symbolic.SymbolicExpression
- - it.unive.lisa.symbolic.heap.HeapExpression
  - - it.unive.lisa.symbolic.heap.HeapAllocation

public class HeapAllocation
extends HeapExpression

An allocation of a memory location.

Constructor Summary

Constructors
Constructor Description

HeapAllocation(ExternalSet<Type> types, CodeLocation location)
Builds the heap allocation.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<T> T`	`accept(ExpressionVisitor<T> visitor, java.lang.Object... params)`	Accepts an `ExpressionVisitor`, visiting this expression recursively.
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class it.unive.lisa.symbolic.heap.HeapExpression
popScope, pushScope

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
  - HeapAllocation
```
public HeapAllocation(ExternalSet<Type> types,
                      CodeLocation location)
```
    Builds the heap allocation.
    
    Parameters:
    
    types - the runtime types of this expression
    
    location - the code location of the statement that has generated this expression
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class SymbolicExpression
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class SymbolicExpression
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class SymbolicExpression
  - accept
```
public <T> T accept(ExpressionVisitor<T> visitor,
                    java.lang.Object... params)
             throws SemanticException
```
    Description copied from class: SymbolicExpression
    
    Accepts an ExpressionVisitor, visiting this expression recursively.
    
    Specified by:
    
    accept in class SymbolicExpression
    
    Type Parameters:
    
    T - the type of value produced by the visiting callbacks
    
    Parameters:
    
    visitor - the visitor
    
    params - additional optional parameters to pass to each visiting callback
    
    Returns:
    
    the value produced by the visiting operation
    
    Throws:
    
    SemanticException - if an error occurs during the visiting