de.rwth.i2.attestor.seplog

Interface VariableUnification

All Known Implementing Classes:

VariableExtractor

public interface VariableUnification

An interface to deal with variable names in symbolic heaps, where multiple variables may refer to the same location.

Method Summary

Modifier and Type	Method and Description
Set<String>	getProgramVariableNames()
String	getType(String variableName)
String	getUniqueName(String variableName)
List<String>	getUniqueVariableNames()

Method Detail

getUniqueName

String getUniqueName(String variableName)

Parameters:

variableName - The name of a variable

Returns:

The unique name used to identify all variable equal to variableName

getType

String getType(String variableName)

Parameters:

variableName - The name of a variable

Returns:

The type underlying the variable.

getUniqueVariableNames

List<String> getUniqueVariableNames()

Returns:

A list of all unique variable names.

getProgramVariableNames

Set<String> getProgramVariableNames()

Returns:

A list of all program variable names.