Package net.ssehub.easy.reasoning.sseReasoner

Class CheckInitializerVisitor.ValueSubstitutionVisitor

java.lang.Object
net.ssehub.easy.varModel.cst.BasicCopyVisitor
net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor.ValueSubstitutionVisitor
All Implemented Interfaces:
net.ssehub.easy.varModel.cst.IConstraintTreeVisitor
Enclosing class:
CheckInitializerVisitor
private static class CheckInitializerVisitor.ValueSubstitutionVisitor extends net.ssehub.easy.varModel.cst.BasicCopyVisitor

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private net.ssehub.easy.varModel.cst.ConstantValue
    origin
     
    private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree
    replacement
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    ValueSubstitutionVisitor(net.ssehub.easy.varModel.cst.ConstantValue origin, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree replacement)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)
     

    Methods inherited from class net.ssehub.easy.varModel.cst.BasicCopyVisitor

    clear, getCopyExpressions, getCopyVariables, getLogger, getResult, inferDatatype, mapVariable, mapVariable, setCopyConstants, setCopyExpressions, setCopyVariables, setDoInferDatatype, setResult, visitAnnotationVariable, visitBlockExpression, visitComment, visitCompoundAccess, visitCompoundInitializer, visitContainerInitializer, visitContainerOperationCall, visitDeferInitExpression, visitIfThen, visitLet, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitSelf, visitUnresolvedExpression, visitVariable

    Methods inherited from class java.lang.Object

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

  • Field Details

    • origin

      private net.ssehub.easy.varModel.cst.ConstantValue origin

    • replacement

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

  • Constructor Details

    • ValueSubstitutionVisitor

      public ValueSubstitutionVisitor(net.ssehub.easy.varModel.cst.ConstantValue origin, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree replacement)

  • Method Details

    • visitConstantValue

      public void visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)
      Specified by:
      visitConstantValue in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor
      Overrides:
      visitConstantValue in class net.ssehub.easy.varModel.cst.BasicCopyVisitor