Package net.ssehub.easy.varModel.cstEvaluation

Class ContextStack.StackFrame

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ContextStack.StackFrame

Enclosing class:

ContextStack

private static class ContextStack.StackFrame
extends 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 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 Details

ex

private EvaluationAccessor ex

init

private ContainerInitializer init

var

private DecisionVariableDeclaration var

index

private int index

slot

private String slot

self

private Value self

Constructor Details

StackFrame

private StackFrame()