ContextStack.StackFrame (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.cstEvaluation.ContextStack.StackFrame

Enclosing class:

ContextStack
```
private static class ContextStack.StackFrame
extends java.lang.Object
```
Implements a poolable stack frame. To maximize pool use, we do not differentiate the frames into different sub-classes her.

Author:

Holger Eichelberger

Field Summary

Fields
Modifier and Type	Field	Description
`private EvaluationAccessor`	`ex`
`private int`	`index`
`private ContainerInitializer`	`init`
`private Value`	`self`
`private java.lang.String`	`slot`
`private DecisionVariableDeclaration`	`var`

Constructor Summary

Constructors
Modifier Constructor Description

private StackFrame()

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ex
```
private EvaluationAccessor ex
```

init
```
private ContainerInitializer init
```

var

private DecisionVariableDeclaration var

index
```
private int index
```

slot
```
private java.lang.String slot
```

self
```
private Value self
```

Constructor Detail
- StackFrame
```
private StackFrame()
```