report.txt

Initial State
- Transitions:
    - Flow: Out
      With: AlbumList

Final State
- Transitions:
    - Flow: In
      With: AlbumList
      Title: Exit
      Trigger: User
      Trigger Type: Signal

Edit label
- Transitions:
    - Flow: In
      With: PhotoList
      Title: Edit Label
      Trigger: User
      Trigger Type: Signal
      Guard: imageFound & albumExists
    - Flow: Out
      With: PhotoList
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: PhotoList
      Title: Save
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Update Photo Label

AddPhotoToAlbum
- Transitions:
    - Flow: In
      With: PhotoList
      Title: Add
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: PhotoList
      Title: Save Photo
      Trigger: User
      Trigger Type: Signal
      Guard: validImagePath & validImageFormat
      Effect: Save photo
    - Flow: Out
      With: PhotoList
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: PhotoView
      Title: Copy
      Trigger: User
      Trigger Type: Signal

PhotoView
- Activities:
    - Type: Entry
      Value: Load Image
- Transitions:
    - Flow: In
      With: PhotoList
      Title: View
      Trigger: User
      Trigger Type: Signal
      Guard: imageFound & canOpenFromDB
    - Flow: Out
      With: PhotoList
      Title: Back
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AddPhotoToAlbum
      Title: Copy
      Trigger: User
      Trigger Type: Signal

PhotoList
- Activities:
    - Type: Entry
      Value: Initialize photo list
- Transitions:
    - Flow: In
      With: AlbumList
      Title: Select
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
    - Flow: Out
      With: PhotoView
      Title: View
      Trigger: User
      Trigger Type: Signal
      Guard: imageFound & canOpenFromDB
    - Flow: In
      With: PhotoView
      Title: Back
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AddPhotoToAlbum
      Title: Add
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: AddPhotoToAlbum
      Title: Save Photo
      Trigger: User
      Trigger Type: Signal
      Guard: validImagePath & validImageFormat
      Effect: Save photo
    - Flow: In
      With: AddPhotoToAlbum
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: PhotoList
      Title: Delete
      Trigger: User
      Trigger Type: Signal
      Guard: canDeleteFromDB & albumExists
      Effect: Delete image
    - Flow: In
      With: PhotoList
      Title: Delete
      Trigger: User
      Trigger Type: Signal
      Guard: canDeleteFromDB & albumExists
      Effect: Delete image
    - Flow: Out
      With: AlbumList
      Title: Back
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: PhotoList
      Title: Sort by Views
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Sort list
    - Flow: In
      With: PhotoList
      Title: Sort by Views
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Sort list
    - Flow: Out
      With: Edit label
      Title: Edit Label
      Trigger: User
      Trigger Type: Signal
      Guard: imageFound & albumExists
    - Flow: In
      With: Edit label
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: Edit label
      Title: Save
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Update Photo Label
    - Flow: Out
      With: PhotoList
      Title: View favorites
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Filter favorites
    - Flow: In
      With: PhotoList
      Title: View favorites
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
      Effect: Filter favorites

Delete confirmation
- Transitions:
    - Flow: In
      With: AlbumList
      Title: Delete album
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AlbumList
      Title: Yes Delete
      Trigger: User
      Trigger Type: Signal
      Effect: Delete album
    - Flow: Out
      With: AlbumList
      Title: No delete
      Trigger: User
      Trigger Type: Signal

New Label
- Transitions:
    - Flow: In
      With: AlbumList
      Title: New album
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AlbumList
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AlbumList
      Title: Save
      Trigger: User
      Trigger Type: Signal
      Guard: nameIsValid & canAddAlbumToDB
      Effect: Create Album

AlbumList
- Activities:
    - Type: Entry
      Value: Initialize album list
- Transitions:
    - Flow: In
      With: Initial State
    - Flow: Out
      With: Final State
      Title: Exit
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: AlbumList
      Title: Reset imagedata
      Trigger: User
      Trigger Type: Signal
      Guard: DBNotFull & canReset
      Effect: Delete existing data
    - Flow: In
      With: AlbumList
      Title: Reset imagedata
      Trigger: User
      Trigger Type: Signal
      Guard: DBNotFull & canReset
      Effect: Delete existing data
    - Flow: Out
      With: New Label
      Title: New album
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: New Label
      Title: Cancel
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: New Label
      Title: Save
      Trigger: User
      Trigger Type: Signal
      Guard: nameIsValid & canAddAlbumToDB
      Effect: Create Album
    - Flow: Out
      With: Delete confirmation
      Title: Delete album
      Trigger: User
      Trigger Type: Signal
    - Flow: In
      With: Delete confirmation
      Title: Yes Delete
      Trigger: User
      Trigger Type: Signal
      Effect: Delete album
    - Flow: In
      With: Delete confirmation
      Title: No delete
      Trigger: User
      Trigger Type: Signal
    - Flow: Out
      With: PhotoList
      Title: Select
      Trigger: User
      Trigger Type: Signal
      Guard: albumExists
    - Flow: In
      With: PhotoList
      Title: Back
      Trigger: User
      Trigger Type: Signal