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 Object
A linked stack entry. Stack is formed through predecessor.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private Set<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 Map<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 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 Set<? extends net.ssehub.easy.varModel.model.datatypes.IDatatype>
    typeExcludes
    Stores type-excludes for constraint re-scheduling.
    private Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.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 Details

    • varMap

      private Map<net.ssehub.easy.varModel.model.AbstractVariable,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> varMap
      Variable-accessor mapping.

    • nameMap

      private Map<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 Set<net.ssehub.easy.varModel.model.datatypes.IDatatype> processedTypes
      The processed types.

    • typeExcludes

      private 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 Set<String> annotationAssignments

  • Constructor Details

    • Context

      Context()

  • Method Details

    • clear

      private void clear()
      Clears this context.