de.uka.ilkd.key.api

Class VariableAssignments

java.lang.Object

de.uka.ilkd.key.api.VariableAssignments

public class VariableAssignments
extends java.lang.Object

Class to represent current Variable assigments. Created by S.Grebing

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	VariableAssignments.VarType

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<java.lang.String,java.lang.Object>	currentAssignments Current Assignments
private VariableAssignments	parent Reference to parent assignments
private java.util.Map<java.lang.String,VariableAssignments.VarType>	typeMap Type Map of assignments

Constructor Summary

Constructors

Constructor and Description
VariableAssignments() Default constructor
VariableAssignments(VariableAssignments parentAssignments) Create new, empty variable assignment, to add variables

Method Summary

Modifier and Type	Method and Description
void	addAssignment(java.lang.String varName, java.lang.Object value) Add a variable assignment without type
void	addAssignmentWithType(java.lang.String varName, java.lang.Object value, VariableAssignments.VarType type) Add a variable assignment with type and value
void	addType(java.lang.String varName, VariableAssignments.VarType type) TODO better exception Add a new type declaration
java.util.Map<java.lang.String,VariableAssignments.VarType>	getTypeMap() Returns the map of ID -> Type mappings
java.lang.Object	getVarValue(java.lang.String varName) Get the value of a stored variable name TODO Exception spezifischer

Methods inherited from class java.lang.Object

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

Field Detail

parent

private VariableAssignments parent

Reference to parent assignments

currentAssignments

private java.util.Map<java.lang.String,java.lang.Object> currentAssignments

Current Assignments

typeMap

private java.util.Map<java.lang.String,VariableAssignments.VarType> typeMap

Type Map of assignments

Constructor Detail

VariableAssignments

public VariableAssignments(VariableAssignments parentAssignments)

Create new, empty variable assignment, to add variables

Parameters:

parent -

VariableAssignments

public VariableAssignments()

Default constructor

Method Detail

getVarValue

public java.lang.Object getVarValue(java.lang.String varName)
                             throws java.lang.Exception

Get the value of a stored variable name TODO Exception spezifischer

Parameters:

varName -

Returns:

Value of variable

Throws:

java.lang.Exception

addAssignmentWithType

public void addAssignmentWithType(java.lang.String varName,
                                  java.lang.Object value,
                                  VariableAssignments.VarType type)

Add a variable assignment with type and value

Parameters:

varName -

value -

type -

addAssignment

public void addAssignment(java.lang.String varName,
                          java.lang.Object value)
                   throws java.lang.Exception

Add a variable assignment without type

Parameters:

varName -

value -

Throws:

java.lang.Exception

addType

public void addType(java.lang.String varName,
                    VariableAssignments.VarType type)
             throws java.lang.Exception

TODO better exception Add a new type declaration

Parameters:

varName -

type -

Throws:

java.lang.Exception

getTypeMap

public java.util.Map<java.lang.String,VariableAssignments.VarType> getTypeMap()

Returns the map of ID -> Type mappings

Returns: