Package 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	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 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 DecisionVariableDeclaration	iterator	Iterator variable for incremental container quantification.
private java.util.Map<java.lang.String,ConstraintSyntaxTree>	nameMap	Secundary name-accessor mapping, consistent with varMap.
private ContextStack.Context	predecessor	Predecessor context for stacked lookups.
private java.util.Set<IDatatype>	processedTypes	The processed types.
private boolean	recordProcessedTypes	Shall processed types be recorded.
private AbstractVariable	self	The underlying variable being translated, used for fallback lookups in on-demand accessor instantiation through fallback.
private IDatatype	type	Stores the associated type.
private java.util.Set<? extends IDatatype>	typeExcludes	Stores type-excludes for constraint re-scheduling.
private java.util.Map<AbstractVariable,ConstraintSyntaxTree>	varMap	Variable-accessor mapping.

Constructor Summary

Constructors

Constructor	Description
Context()

Method Summary

Modifier and Type	Method	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<AbstractVariable,ConstraintSyntaxTree> varMap

Variable-accessor mapping.

nameMap

private java.util.Map<java.lang.String,ConstraintSyntaxTree> nameMap

Secundary name-accessor mapping, consistent with varMap.

iterator

private DecisionVariableDeclaration iterator

Iterator variable for incremental container quantification.

container

private 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<IDatatype> processedTypes

The processed types.

typeExcludes

private java.util.Set<? extends IDatatype> typeExcludes

Stores type-excludes for constraint re-scheduling.

type

private 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 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.