net.ssehub.easy.reasoning.sseReasoner.model

Class ContextStack.Context

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.model.ContextStack.Context

Enclosing class:

ContextStack

static class ContextStack.Context
extends java.lang.Object

A linked stack entry. Stack is formed through predecessor.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.String>	annotationAssignments
private boolean	cashMapping Indicates whether the mapping shall be (type) cached in this context.
private boolean	constraintVarOnly Indicates that only constraint variable constraints shall be translated/instantiated.
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	container Container accessor for incremental container quantification.
private TypeCache.Entry	fallback A completed type cache entry to be used as fallback lookup for on-demand accessor instantiation.
private TypeCache.Entry	inConstruction A type cache entry in construction during translation.
private net.ssehub.easy.varModel.model.DecisionVariableDeclaration	iterator Iterator variable for incremental container quantification.
private java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree>	nameMap Secundary name-accessor mapping, consistent with varMap.
private ContextStack.Context	predecessor Predecessor context for stacked lookups.
private java.util.Set<net.ssehub.easy.varModel.model.datatypes.IDatatype>	processedTypes The processed types.
private boolean	recordProcessedTypes Shall processed types be recorded.
private net.ssehub.easy.varModel.model.AbstractVariable	self The underlying variable being translated, used for fallback lookups in on-demand accessor instantiation through fallback.
private net.ssehub.easy.varModel.model.datatypes.IDatatype	type Stores the associated type.
private java.util.Set<? extends net.ssehub.easy.varModel.model.datatypes.IDatatype>	typeExcludes Stores type-excludes for constraint re-scheduling.
private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree>	varMap Variable-accessor mapping.

Constructor Summary

Constructors

Constructor and Description
Context()

Method Summary

Modifier and Type	Method and Description
private void	clear() Clears this context.

Methods inherited from class java.lang.Object

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

Field Detail

varMap

private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> varMap

Variable-accessor mapping.

nameMap

private java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> nameMap

Secundary name-accessor mapping, consistent with varMap.

iterator

private net.ssehub.easy.varModel.model.DecisionVariableDeclaration iterator

Iterator variable for incremental container quantification.

container

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree container

Container accessor for incremental container quantification.

predecessor

private ContextStack.Context predecessor

Predecessor context for stacked lookups.

recordProcessedTypes

private boolean recordProcessedTypes

Shall processed types be recorded.

processedTypes

private java.util.Set<net.ssehub.easy.varModel.model.datatypes.IDatatype> processedTypes

The processed types.

typeExcludes

private java.util.Set<? extends net.ssehub.easy.varModel.model.datatypes.IDatatype> typeExcludes

Stores type-excludes for constraint re-scheduling.

type

private net.ssehub.easy.varModel.model.datatypes.IDatatype type

Stores the associated type.

inConstruction

private TypeCache.Entry inConstruction

A type cache entry in construction during translation.

cashMapping

private boolean cashMapping

Indicates whether the mapping shall be (type) cached in this context.

constraintVarOnly

private boolean constraintVarOnly

Indicates that only constraint variable constraints shall be translated/instantiated.

fallback

private TypeCache.Entry fallback

A completed type cache entry to be used as fallback lookup for on-demand accessor instantiation.

self

private net.ssehub.easy.varModel.model.AbstractVariable self

The underlying variable being translated, used for fallback lookups in on-demand accessor instantiation through fallback.

annotationAssignments

private java.util.Set<java.lang.String> annotationAssignments

Constructor Detail

Context

Context()

Method Detail

clear

private void clear()

Clears this context.