public final class CLangStackFrame
extends java.lang.Object
| Constructor and Description |
|---|
CLangStackFrame(CFunctionDeclaration pDeclaration)
Constructor.
|
CLangStackFrame(CLangStackFrame pFrame)
Copy constructor.
|
| 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() |
public CLangStackFrame(CFunctionDeclaration pDeclaration)
pDeclaration - Function for which the frame is created
TODO: [PARAMETERS] Create objects for function parameterspublic CLangStackFrame(CLangStackFrame pFrame)
pFrame - Original framepublic void addStackVariable(java.lang.String pVariableName,
SMGRegion pObject)
IllegalArgumentException when some object is already
present with the name pVariableNamepVariableName - A name of the variablepObject - An object to put into the stack framepublic java.lang.String toString()
toString in class java.lang.Objectpublic SMGRegion getVariable(java.lang.String pName)
NoSuchElementException when passed a name not presentpName - Variable namepublic boolean containsVariable(java.lang.String pName)
pName - Variable namepublic CFunctionDeclaration getFunctionDeclaration()
public java.util.Map<java.lang.String,SMGRegion> getVariables()
public java.util.Set<SMGObject> getAllObjects()