cz.afri.smg.graphs

Class CLangStackFrame

java.lang.Object

cz.afri.smg.graphs.CLangStackFrame

public final class CLangStackFrame
extends java.lang.Object

Represents a C language stack frame

Constructor Summary

Constructors

Constructor and Description
CLangStackFrame(CFunctionDeclaration pDeclaration) Constructor.
CLangStackFrame(CLangStackFrame pFrame) Copy constructor.

Method Summary

Modifier and Type	Method and Description
void	addStackVariable(java.lang.String pVariableName, SMGRegion pObject) Adds a SMG object pObj to a stack frame, representing variable pVariableName Throws IllegalArgumentException when some object is already present with the name pVariableName
boolean	containsVariable(java.lang.String pName)
java.util.Set<SMGObject>	getAllObjects()
CFunctionDeclaration	getFunctionDeclaration()
SMGRegion	getReturnObject()
SMGRegion	getVariable(java.lang.String pName) Getter for obtaining an object corresponding to a variable name Throws NoSuchElementException when passed a name not present
java.util.Map<java.lang.String,SMGRegion>	getVariables()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CLangStackFrame

public CLangStackFrame(CFunctionDeclaration pDeclaration)

Constructor. Creates an empty frame.

Parameters:

pDeclaration - Function for which the frame is created TODO: [PARAMETERS] Create objects for function parameters

CLangStackFrame

public CLangStackFrame(CLangStackFrame pFrame)

Copy constructor.

Parameters:

pFrame - Original frame

Method Detail

addStackVariable

public void addStackVariable(java.lang.String pVariableName,
                             SMGRegion pObject)

Adds a SMG object pObj to a stack frame, representing variable pVariableName Throws IllegalArgumentException when some object is already present with the name pVariableName

Parameters:

pVariableName - A name of the variable

pObject - An object to put into the stack frame

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Returns:

String representation of the stack frame

getVariable

public SMGRegion getVariable(java.lang.String pName)

Getter for obtaining an object corresponding to a variable name Throws NoSuchElementException when passed a name not present

Parameters:

pName - Variable name

Returns:

SMG object corresponding to pName in the frame

containsVariable

public boolean containsVariable(java.lang.String pName)

Parameters:

pName - Variable name

Returns:

True if variable pName is present, false otherwise

getFunctionDeclaration

public CFunctionDeclaration getFunctionDeclaration()

Returns:

Declaration of a function corresponding to the frame

getVariables

public java.util.Map<java.lang.String,SMGRegion> getVariables()

Returns:

a mapping from variables name to SMGObjects

getAllObjects

public java.util.Set<SMGObject> getAllObjects()

Returns:

a set of all objects: return value object, variables, parameters

getReturnObject

public SMGRegion getReturnObject()

Returns:

an SMGObject reserved for function return value