Uses of Class
net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

Packages that use ContextStack.Context

Package	Description
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.

Uses of ContextStack.Context in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as ContextStack.Context

Modifier and Type	Field and Description
private ContextStack.Context	ContextStack.currentContext
private ContextStack.Context	ContextStack.Context.predecessor

Fields in net.ssehub.easy.reasoning.sseReasoner.model with type parameters of type ContextStack.Context

Modifier and Type	Field and Description
private static net.ssehub.easy.basics.pool.Pool<ContextStack.Context>	ContextStack.POOL
private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,ContextStack.Context>	ContextStack.Context.registeredContexts

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return ContextStack.Context

Modifier and Type	Method and Description
private ContextStack.Context	ContextStack.findRegisteredContext(net.ssehub.easy.varModel.model.AbstractVariable decl) Looks up the actual contexts whether decl was registered previously with a context.
private ContextStack.Context	ContextStack.popContextImpl() Pops the actual context if not the initial (project) context but does not clean up the popped context.

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type ContextStack.Context

Modifier and Type	Method and Description
private void	ContextStack.pushContextImpl(ContextStack.Context context) Just pushes the given context without changing it.