Package net.ssehub.easy.reasoning.sseReasoner

Class Resolver.CompoundAnnotationMapper

java.lang.Object
net.ssehub.easy.varModel.model.AnnotationVisitor
net.ssehub.easy.reasoning.sseReasoner.Resolver.CompoundAnnotationMapper
Enclosing class:
Resolver
private class Resolver.CompoundAnnotationMapper extends net.ssehub.easy.varModel.model.AnnotationVisitor
Implements a compound annotation mapper. Call initialize(ConstraintSyntaxTree, Variable) first, then AnnotationVisitor.visitAnnotations(net.ssehub.easy.varModel.model.IAttributeAccess) and finally clear().
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree
    cAcc
     
    private net.ssehub.easy.varModel.cst.Variable
    declVar
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
    CompoundAnnotationMapper()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    clear()
    Clears the mapper.
    protected void
    initialize(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.cst.Variable declVar)
    Initializes the mapper.
    protected void
    processAttribute(net.ssehub.easy.varModel.model.Attribute attr)
     
    protected void
    processAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assng)
     

    Methods inherited from class net.ssehub.easy.varModel.model.AnnotationVisitor

    addToScope, visitAnnotations

    Methods inherited from class java.lang.Object

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

  • Field Details

    • cAcc

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

    • declVar

      private net.ssehub.easy.varModel.cst.Variable declVar

  • Constructor Details

    • CompoundAnnotationMapper

      private CompoundAnnotationMapper()

  • Method Details

    • initialize

      protected void initialize(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cAcc, net.ssehub.easy.varModel.cst.Variable declVar)
      Initializes the mapper.
      Parameters:
      cAcc - the accessor expression (may be null)
      declVar - the compound variable as expression

    • clear

      protected void clear()
      Clears the mapper.

    • processAttributeAssignment

      protected void processAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assng) throws net.ssehub.easy.varModel.model.IvmlException
      Specified by:
      processAttributeAssignment in class net.ssehub.easy.varModel.model.AnnotationVisitor
      Throws:
      net.ssehub.easy.varModel.model.IvmlException

    • processAttribute

      protected void processAttribute(net.ssehub.easy.varModel.model.Attribute attr) throws net.ssehub.easy.varModel.model.IvmlException
      Specified by:
      processAttribute in class net.ssehub.easy.varModel.model.AnnotationVisitor
      Throws:
      net.ssehub.easy.varModel.model.IvmlException