Class ContainerInitializer

java.lang.Object
net.ssehub.easy.varModel.cst.ConstraintSyntaxTree
net.ssehub.easy.varModel.cst.ContainerInitializer
All Implemented Interfaces:
IAttributeAccess

public class ContainerInitializer extends ConstraintSyntaxTree
Represents an initializer for containers. This initializer may contain expressions for initializing container entries. IVML: {expression, ...}. We need a special constraint tree node for this purpose as values form net.ssehub.easy.varModel.model.values are intended to be constants and, thus, cannot contain arbitrary expressions.
Author:
Holger Eichelberger
  • Field Details

  • Constructor Details

    • ContainerInitializer

      public ContainerInitializer(Container type, ConstraintSyntaxTree[] expressions) throws CSTSemanticException
      Creates a new container initializer.
      Parameters:
      type - the type of the compound
      expressions - the initializing expressions (in sequence for containers which support sequences)
      Throws:
      CSTSemanticException - in case that the initialization fails, element type mismatch
  • Method Details