Check if all fields in a record have been set.

  if full?
    stdout.println("set")

defines module qa.operators.checkrecordfullyset

  defines class

    AppConfig
      dbHost <- String()
      dbPort <- Integer()
      apiKey <- String()

      AppConfig()
        ->
          dbHost as String
          dbPort as Integer
          apiKey as String
        this.dbHost :=: dbHost
        this.dbPort :=: dbPort
        this.apiKey :=: apiKey

      AppConfig()
        -> dbHost as String
        this.dbHost :=: dbHost

      default operator

  defines program

    CheckRecordFullySetDemo()
      stdout <- Stdout()

      //Fully set config
      full <- AppConfig("db.prod", 5432, "secret-key-123")
      stdout.println(`Full config set?: ${full?}`)

      //Partially set — only dbHost provided
      partial <- AppConfig("db.dev")
      stdout.println(`Partial config set?: ${partial?}`)

      //Empty — no fields set
      blank <- AppConfig()
      stdout.println(`Empty config set?: ${blank?}`)

${full != null}

${full?}