Blog Mermaids

class.md

classDiagram
    class User {
        +String username
        +String email
        +login()
        +book()
    }
    class Booking {
        +Int bookingID
        +Date date
        +String status
        +cancel()
        +update()
    }
    class Venue {
        +Int venueID
        +String name
        +String location
        +getAvailability()
        +setAvailability()
    }

    User --|> Booking : makes
    Booking --|> Venue : has

Loading

er.md

erDiagram
    USER ||--o{ BOOKING : "makes" 
    VENUE ||--o{ BOOKING : "has" 
    BOOKING {
        int BookingID
        int UserID
        int VenueID
        date BookingDate
        string PaymentStatus
    }
    USER {
        int UserID
        string Username
        string Email
    }
    VENUE {
        int VenueID
        string Name
        string Location
    }

Loading

graph.md

graph TD
    A[Start] --> B[Login]
    B --> C{Is Venue Available?}
    C -->|Yes| D[Select Venue]
    C -->|No| E[Search Again]
    E --> C
    D --> F[Confirm Booking]
    F --> G[Make Payment]
    G --> H[Receive Confirmation]
    H --> I[End]

Loading

mermaid-testing.md

sequenceDiagram
    participant Developer
    participant LLM
    Developer->>LLM: Generate "failing" and "passing" inputs
    LLM-->>Developer: Inputs generated
    Developer->>LLM: Test application with generated inputs
    LLM-->>Developer: Return test results

Loading

graph TD
    A[Start] --> B[Login]
    B --> C{Is Venue Available?}
    C -->|Yes| D[Select Venue]
    C -->|No| E[Search Again]
    E --> C
    D --> F[Confirm Booking]
    F --> G[Make Payment]
    G --> H[Receive Confirmation]
    H --> I[End]

Loading