ETITY, Person, 1.0.1-stable, "Person entity"

PROPERTIES:
  name:
    type: STR
    required: true

  age:
    type: INT
    required: true
    min: 18
    max: 65

  active:
    type: BOOL
    default: true

GUARDS:
  prevent_edit_if_inactive:
    ON UPDATE
    IF active IS FALSE
    THEN BLOCK WITH "Cannot edit inactive person"

FORM, PersonForm, 1.0.0, "Edit Person Form"

PARAMETERS:
  person: Person

STATE:
  person: @@person

LAYOUT:
  @person.name
  @person.age
  @person.active

VIEW_LOGIC:
  #person.name:
    readonly: @person.active = false

DATASOURCES:
  people:
    PROVIDER: rest
    CONFIG:
      url: /api/people
    RETURNS: LIST<OBJECT>

  userAvatar:
    PROVIDER: file
    CONFIG:
      path: /assets/user.png
    RETURNS: IMAGE

  companyInfo:
    PROVIDER: local
    CONFIG:
      key: company-data
    RETURNS: OBJECT

  svgIcon:
    PROVIDER: file
    CONFIG:
      path: /icons/logo.svg
    RETURNS: SVG
    
  #simple function example  
  generateUUID:
    PROVIDER: function
    CONFIG:
      handler: generateUUID
    RETURNS: TEXT    
    
  #parameterized example
  userDetails:
    PROVIDER: function
    CONFIG:
      handler: getUserDetails
      ARGS:
        userId: @person.id
    RETURNS: Person <- pointing to the entity name, but in some cases OBJECT is fine.    

ENTITY: MyEntity, 1.0.0, "Description here"

PROPERTIES:
  name:
    type: STR
    required: true

id: "fullName"
label: "Save Account"

ENTITY: Customer, 1.0.0, "Customer record"

PROPERTIES:
  id:
    type: INT
    auto: true
    primary_key: true

ENTITY: Account, 1.0.0, "A financial account"

COLLECTIONS:
  roles: ENUM INT
    0 = user
    1 = admin
    2 = superadmin

  currencies: ARRAY<STR> = ["USD", "EUR", "GBP"]

  value_pairs: ARRAY<OBJECT>
    { id: 1, label: "One" }
    { id: 2, label: "Two" }
    
  people: FROM DATASOURCE people

PROPERTIES:
  id:
    type: INT
    auto: true
    primary_key: true
    readonly: true

  name:
    type: STR
    required: true
    max_length: 100

  currency:
    type: STR
    in: currencies

  balance:
    type: DECIMAL
    default: 0.00
    readonly: true

TRIGGERS:
  on_deactivation:
    IF active IS FALSE
    THEN SET notes TO "Account closed"

GUARDS:
  prevent_change_if_inactive:
    ON UPDATE
    IF active IS FALSE AND NOT (active CHANGES)
    THEN BLOCK WITH "Inactive accounts cannot be changed"

SIDE_EFFECTS:
  ON DELETE:
    FOR Transaction WHERE account_id == THIS
    SET account_id TO NULL

ENTITY: Account, 1.0.0, "Financial account"

COLLECTIONS:
  types: ENUM STR
    savings = "Savings"
    checking = "Checking"
    credit = "Credit"

PROPERTIES:
  id:
    type: INT
    auto: true
    primary_key: true

  name:
    type: STR
    required: true

  type:
    type: ENUM types
    required: true

  balance:
    type: DECIMAL
    readonly: true
    default: 0.00

  active:
    type: BOOL
    default: true

TRIGGERS:
  on_close:
    IF active IS FALSE
    THEN SET name TO CONCAT(name, " [Closed]")

GUARDS:
  block_edits_when_closed:
    ON UPDATE
    IF active IS FALSE AND NOT (active CHANGES)
    THEN BLOCK WITH "Cannot modify closed account"

SIDE_EFFECTS:
  ON DELETE:
    FOR Transaction WHERE account_id == THIS
    SET account_id TO NULL

ENTITY: AccountForm, 1.0.0, "Edit financial accounts"

PARAMETERS:
  account: Account
  transactions: COLLECTION OF Transaction = EMPTY
  canEdit: BOOL = true

STATE:
  account: @@account
  canEdit: @@canEdit
  context: PermissionContext
  people : FROM DATASOURCE people

CONDITIONS:
  isAdmin: @context.role = "admin"
  canSave: @account.active = true AND HAS CHANGES ON account
  mustFillNotes: @account.type = "savings" AND @account.notes IS EMPTY

#saveBtn:
  hidden: NOT canSave?

LAYOUT:
  HORIZONTAL_STACK gap=1:
    @account.name
    @account.type

  IF @account.active:
    BUTTON:
      id: "deactivateBtn"
      label: "Deactivate"

  ELSE:
    TEXT: "Account is closed"

TEMPLATES:
  transaction_row:
    PARAMETERS:
      tx: Transaction
      canDelete: BOOL = false

    STATE:
      rowId: CONCAT("tx-", @tx.id)

    LAYOUT:
      DIV:
        id: @rowId
        content: @tx.description

        BUTTON:
          id: "removeBtn"
          label: "Remove"

TEMPLATES:
  card_layout:
    PARAMETERS:
      title: STR

    LAYOUT:
      DIV:
        class: "card"
        HEADER: content: @title

        SLOT: content

        SLOT: actions
          WHEN isAdmin?

~card_layout:
  title: "Admin Panel"

  IN SLOT content:
    TEXT: "Welcome, admin."

  IN SLOT actions:
    BUTTON: label: "Settings"

VIEW_LOGIC:
  #saveBtn:
    enabled: canSave?
    hidden: NOT isAdmin?
    tooltip:
      WHEN canSave? THEN: "Click to Save"
      WHEN NOT isAdmin? THEN: "Only admins can save"
      ELSE: "Save disabled"

STYLE:
  #accountName:
    class:
      WHEN @account.active = false THEN: "text-muted"
      ELSE: "text-bold"

  #card:
    background: VAR(cl-surface)
    color: VAR(cl-foreground)

ACTIONS:
  #saveBtn:
    on: click
    call: context.saveAccount
    with:
      id: @account.id

<expression> ::= <value>
               | <reference>
               | <comparison>
               | <logic>
               | <function_call>
               | ( <expression> )

<comparison> ::= <left> OP <right>
<logic>      ::= <expression> LOGIC_OP <expression>
<function_call> ::= FUNC_NAME( args... )

tooltip:
  WHEN canSave? THEN: "Click to save"
  WHEN NOT canEdit? THEN: "You cannot edit"
  ELSE: "Save is disabled"

IF @active:
  TEXT: "Active"

ELSE IF @pending:
  TEXT: "Pending"

ELSE:
  TEXT: "Inactive"

CONDITIONS:
  canSubmit: @form.status = "draft" AND HAS CHANGES ON form

VIEW_LOGIC:
  #submitBtn:
    enabled: canSubmit?
    tooltip:
      WHEN canSubmit? THEN: "Click to submit"
      ELSE: "No changes or already submitted"

CONDITIONS:
  canSubmit: @form.status = "draft" AND HAS CHANGES ON form

enabled: canSave?

enabled: @person.active AND HAS CHANGES ON person

~transaction_card:
  tx: tx
  canDelete: true

TEMPLATES:
  card:
    SLOT: content
    SLOT: footer WHEN isAdmin?

TEMPLATES:
  form_card:
    PARAMETERS:
      title: STR

    LAYOUT:
      DIV:
        class: "card"
        HEADER: content: @title
        SLOT: content

~form_card:
  title: "Edit Person"

  IN SLOT content:
    @person.name
    @person.active

LAYOUT:
  @account.name
  @account.currency

VIEW_LOGIC:
  #account.name:
    readonly: NOT canEdit?

LAYOUT:
  @account.name:
    readonly: NOT canEdit?

tooltip:
  WHEN isAdmin? THEN: "Click to save"
  ELSE: "You don’t have permission"

STYLE:
  #firstName:
    class:
      WHEN @user.active = false THEN: "input-disabled"
      ELSE: "input-default"

+---------------------+
|   Data Model DSL    |
+---------------------+
| ENTITY              |
| ├── COLLECTIONS     |
| ├── PROPERTIES      |
| ├── TRIGGERS        |
| ├── GUARDS          |
| └── SIDE_EFFECTS    |
+---------------------+
          |
          v
+---------------------+
|   Form DSL          |
+---------------------+
| ENTITY              |
| ├── PARAMETERS      |   --> External inputs
| ├── STATE           |   --> Internal form state
| ├── CONDITIONS      |   --> Named reusable logic (with `?`)
| ├── LAYOUT          |   --> Form layout and fields
| │   ├── IF/ELSE     |   --> Branching
| │   └── FOR         |   --> Loops
| ├── TEMPLATES       |   --> Reusable scoped components
| │   ├── SLOTS       |   --> Injected layout blocks
| │   └── STATE       |
| ├── VIEW_LOGIC      |   --> Dynamic attributes (readonly, visible...)
| ├── STYLE           |   --> Classes, colors, rules
| ├── ACTIONS         |   --> Events (click, submit...)
+---------------------+

References:
  - @field         → Refers to STATE
  - @@parameter    → Refers to PARAMETER
  - #elementId     → Refers to UI element
  - condition?     → Named boolean logic

DATASOURCES:
  name:
    PROVIDER: type
    CONFIG:
      key: value
    RETURNS: resultType

DATASOURCES:
  users:
    PROVIDER: rest
    CONFIG:
      url: /api/users
    RETURNS: LIST<OBJECT>

  avatar:
    PROVIDER: file
    CONFIG:
      path: /assets/user.png
    RETURNS: IMAGE

  generateUUID:
    PROVIDER: function
    CONFIG:
      handler: generateUUID
    RETURNS: TEXT

STATE:
  userList: FROM DATASOURCE users
  userAvatar: FROM DATASOURCE avatar
  myId: FROM DATASOURCE generateUUID

EditOPERATIONS:
  name:
    PROVIDER: type
    CONFIG:
      key: value
    RETURNS: resultType
    MODE: fetch | stream

OPERATIONS:
  createUser:
    PROVIDER: REST
    CONFIG:
      method: POST
      url: /api/users
      body:
        name: @form.name
        email: @form.email
    RETURNS: OBJECT
    MODE: fetch

OPERATIONS:
  chatWithOllama:
    PROVIDER: REST
    CONFIG:
      method: POST
      url: http://localhost:11434/api/generate
      body:
        model: llama3
        prompt: @chat.prompt
        stream: true
    RETURNS: TEXT
    MODE: stream

OPERATIONS:
  calculateDiscount:
    PROVIDER: FUNCTION
    CONFIG:
      handler: calculateDiscountForUser
      ARGS:
        userId: @user.id
        total: @cart.total
    RETURNS: DECIMAL
    MODE: fetch

OPERATIONS:
  watchDirectory:
    PROVIDER: FUNCTION
    CONFIG:
      handler: watchDirectory
      ARGS:
        path: /tmp/uploads
    RETURNS: TEXT
    MODE: stream

ACTIONS:
  onSave:
    CALL: createUser
    ARGS:
      name: @form.name
      email: @form.email

  onSendMessage:
    CALL: chatWithOllama
    ARGS:
      prompt: @chat.message
      
  onCalculate:
    CALL: calculateDiscount
    ARGS:
      userId: @user.id
      total: @cart.total

MODULE: Accounts
DESCRIPTION: "Handles all user and security features"
VERSION: 1.0.0
DEPENDENCIES:
  - Core: ^2.0.0

modules/
  accounts/
    datasources/
      Users.datasources.dsl
    entities/
      User.entity.dsl
    operations/
      CreateUser.operation.dsl
      UpdateUser.operation.dsl
    forms/
      User.form.dsl
      UserList.form.dsl

STATE:
  users: FROM DATASOURCE Accounts.Users

ENTITY: Person, 1.0.0, "Basic person record"

PROPERTIES:
  id:
    type: INT
    auto: true
    primary_key: true

  name:
    type: STR
    required: true

  active:
    type: BOOL
    default: true

FORM: PersonForm, 1.0.0, "Edit person"

PARAMETERS:
  person: Person

STATE:
  person: @@person

LAYOUT:
  @person.name
  @person.active

CONDITIONS:
  canSave: @person.active = true AND HAS CHANGES ON person

VIEW_LOGIC:
  #saveBtn:
    enabled: canSave?
    tooltip:
      WHEN canSave? THEN: "Click to save"
      ELSE: "Cannot save inactive user"

# Full DSL example for an account management system
# This example demonstrates a simple account management system with transaction handling.
# The system allows users to view account details, manage transactions, and close accounts.

## DATA MODEL
ENTITY: Account, 1.0.0, "Financial Account"

COLLECTIONS:
  types: ENUM STR
    savings = "Savings"
    checking = "Checking"
    credit = "Credit"

  currencies: ARRAY<STR> = ["USD", "EUR", "GBP"]

PROPERTIES:
  id:
    type        : INT
    required    : true
    auto        : true
    primary_key : true
    readonly    : true

  account_number:
    type        : STR
    required    : true
    unique      : true

  name:
    type        : STR
    required    : true
    max_length  : 100

  type:
    type        : ENUM types
    required    : true

  balance:
    type        : DECIMAL
    default     : 0.00
    readonly    : true

  currency:
    type        : STR
    in          : currencies
    default     : "USD"

  active:
    type        : BOOL
    default     : true

  owner_id:
    type        : INT
    ref         : Person.id
    required    : true

  created_at:
    type        : DATETIME
    default     : NOW
    readonly    : true

TRIGGERS:
  on_deactivate:
    IF active IS FALSE
    THEN SET name TO CONCAT(name, " [Closed]")

GUARDS:
  prevent_update_if_inactive:
    ON UPDATE
    IF active IS FALSE AND NOT (active CHANGES)
    THEN BLOCK WITH "Cannot modify closed accounts"

  prevent_delete_with_balance:
    ON DELETE
    IF balance > 0
    THEN BLOCK WITH "Cannot delete account with non-zero balance"

SIDE_EFFECTS:
  ON DELETE:
    FOR Transaction WHERE account_id == THIS
    SET account_id TO NULL


ENTITY: Transaction, 1.0.0, "Account Transaction"

PROPERTIES:
  id:
    type        : INT
    required    : true
    auto        : true
    primary_key : true

  account_id:
    type        : INT
    ref         : Account.id
    required    : true

  date:
    type        : DATETIME
    required    : true

  description:
    type        : STR
    required    : true

  amount:
    type        : DECIMAL
    required    : true

  type:
    type        : STR
    required    : true
    values      : ["credit", "debit"]

  created_by:
    type        : STR
    required    : true


## FORM DEFINITION
ENTITY: Account, 1.0.0, "Account Form"

PARAMETERS:
  account: Account
  transactions: COLLECTION OF Transaction = EMPTY
  canEdit: BOOL = true
  loadTransactions: FUNC

STATE:
  account: @@account
  transactions: FROM DATASOURCE translations
  context: PermissionContext

CONDITIONS:
  isAdmin: @context.role = "admin"
  isSavings: @account.type = "savings"
  canDelete: @account.balance = 0
  hasTransactions: LENGTH OF @transactions > 0
  isInactive: @account.active = false

TEMPLATES:
  transaction_row:
    PARAMETERS:
      tx: Transaction
      canRemove: BOOL = false

    STATE:
      rowId: CONCAT("tx-", @tx.id)
      buttonId: CONCAT("remove-", @tx.id)

    LAYOUT:
      HORIZONTAL_STACK gap=2:
        DIV: content: @tx.date
        DIV: content: @tx.description
        DIV: content: @tx.amount
        DIV: content: @tx.type
        BUTTON:
          id: @buttonId
          label: "Remove"

    VIEW_LOGIC:
      #@buttonId:
        hidden: NOT canRemove

    ACTIONS:
      #@buttonId:
        on: click
        call: @context.removeTransaction
        with:
          id: @tx.id

  empty_tx_list:
    LAYOUT:
      DIV: content: "No transactions available"

  account_card:
    PARAMETERS:
      title: STR

    LAYOUT:
      DIV:
        class: "card"

        HEADER: content: @title

        SLOT: content

        SLOT: actions
          WHEN canEdit?

LAYOUT:
  ~account_card:
    title: "Account Details"

    IN SLOT content:
      HORIZONTAL_GRID gap=2:
        COLUMN width=50%:
          @account.account_number
          @account.name

        COLUMN width=50%:
          @account.type
          @account.currency

      @account.owner_id
      @account.active

    IN SLOT actions:
      BUTTON:
        id: "closeBtn"
        label: "Close Account"

  IF @account.active:
      FOR @transactions AS tx:
        ~transaction_row:
          tx: tx
          canRemove: isAdmin?

  ELSE IF isInactive?:
    ~empty_tx_list

  ELSE:
    DIV: content: "Account not found or inaccessible."

VIEW_LOGIC:
  #closeBtn:
    HIDDEN: NOT canEdit?
    TOOLTIP:
      WHEN isInactive? THEN: "Account already closed"
      ELSE: "Click to close account"

  @account.name:
    READONLY: NOT canEdit?

STYLE:
  #closeBtn:
    CLASS:
      WHEN isInactive? THEN: "btn-disabled"
      ELSE: "btn-warning"

  @account.name:
    BACKGROUND: VAR(cl-input-bg)

ACTIONS:
  #closeBtn:
    ON: click
    CALL: context.closeAccount
    WITH:
      id: @account.id