Class ConnectionWhenPart


public final class ConnectionWhenPart extends ConnectionDoPart
Utility class to hold a when-part.
  • Field Details

    • classIdentifier

      String classIdentifier
      The WHEN class-identifier
    • classDeclaration

      ClassDeclaration classDeclaration
      The class declaration correspondig to the class identifier. Set during checking.
    • impossibleWhenPart

      boolean impossibleWhenPart
      Indicator to signal an impossible when-part. Set during checking if object-expression is not compatible with the WHEN class.
  • Constructor Details

    • ConnectionWhenPart

      public ConnectionWhenPart(ConnectionStatement connectionStatement, String classIdentifier, ConnectionBlock connectionBlock, Statement statement)
      Create a new when-part.
      Parameters:
      connectionStatement - the connectionStatement
      classIdentifier - the WHEN class-identifier
      connectionBlock - The associated connection block
      statement - the statement after DO
    • ConnectionWhenPart

      private ConnectionWhenPart()
      Default constructor used by Attribute File I/O
  • Method Details