Package net.ssehub.easy.reasoning.sseReasoner

Class Resolver.ConstraintTranslationVisitor

java.lang.Object
net.ssehub.easy.varModel.model.ModelVisitorAdapter
net.ssehub.easy.reasoning.sseReasoner.Resolver.ConstraintTranslationVisitor
All Implemented Interfaces:
net.ssehub.easy.varModel.model.datatypes.ICustomDatatypeVisitor, net.ssehub.easy.varModel.model.IModelVisitor
Enclosing class:
Resolver
private class Resolver.ConstraintTranslationVisitor extends net.ssehub.easy.varModel.model.ModelVisitorAdapter
Visits the contents of a project for translation. Do not store stateful information in this class.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private List<net.ssehub.easy.varModel.model.PartialEvaluationBlock>
    evals
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
    ConstraintTranslationVisitor()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    visitAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assignment)
     
    void
    visitConstraint(net.ssehub.easy.varModel.model.Constraint constraint)
     
    void
    visitDecisionVariableDeclaration(net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)
     
    void
    visitPartialEvaluationBlock(net.ssehub.easy.varModel.model.PartialEvaluationBlock block)
     
    void
    visitProject(net.ssehub.easy.varModel.model.Project project)
     

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

    visitAttribute, visitComment, visitCompound, visitCompoundAccessStatement, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitFreezeBlock, visitOperationDefinition, visitOrderedEnum, visitProjectImport, visitProjectInterface, visitReference, visitSequence, visitSet

    Methods inherited from class java.lang.Object

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

  • Field Details

    • evals

      private List<net.ssehub.easy.varModel.model.PartialEvaluationBlock> evals

  • Constructor Details

    • ConstraintTranslationVisitor

      private ConstraintTranslationVisitor()

  • Method Details

    • visitProject

      public void visitProject(net.ssehub.easy.varModel.model.Project project)
      Specified by:
      visitProject in interface net.ssehub.easy.varModel.model.IModelVisitor
      Overrides:
      visitProject in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

    • visitDecisionVariableDeclaration

      public void visitDecisionVariableDeclaration(net.ssehub.easy.varModel.model.DecisionVariableDeclaration decl)
      Specified by:
      visitDecisionVariableDeclaration in interface net.ssehub.easy.varModel.model.IModelVisitor
      Overrides:
      visitDecisionVariableDeclaration in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

    • visitConstraint

      public void visitConstraint(net.ssehub.easy.varModel.model.Constraint constraint)
      Specified by:
      visitConstraint in interface net.ssehub.easy.varModel.model.IModelVisitor
      Overrides:
      visitConstraint in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

    • visitPartialEvaluationBlock

      public void visitPartialEvaluationBlock(net.ssehub.easy.varModel.model.PartialEvaluationBlock block)
      Specified by:
      visitPartialEvaluationBlock in interface net.ssehub.easy.varModel.model.IModelVisitor
      Overrides:
      visitPartialEvaluationBlock in class net.ssehub.easy.varModel.model.ModelVisitorAdapter

    • visitAttributeAssignment

      public void visitAttributeAssignment(net.ssehub.easy.varModel.model.AttributeAssignment assignment)
      Specified by:
      visitAttributeAssignment in interface net.ssehub.easy.varModel.model.IModelVisitor
      Overrides:
      visitAttributeAssignment in class net.ssehub.easy.varModel.model.ModelVisitorAdapter