Skip to content

Commit

Permalink
Update the flowchart that covers this bug.
Browse files Browse the repository at this point in the history
  • Loading branch information
SpicyLemon committed Jul 26, 2024
1 parent 3a10831 commit 2de63aa
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions x/marker/spec/12_transfers.md
Original file line number Diff line number Diff line change
Expand Up @@ -159,6 +159,7 @@ This flow checks that, if this is a withdrawal, nothing (yet) prevents the send.
flowchart TD
start[["checkSenderMarker(Sender, Transfer Agent)"]]
issm{{"Is Sender a marker?"}}
isfg{{"Is a fee grant in use?"}}
haveta{{"Is there a Transfer Agent?"}}
istaw{{"Does the Transfer Agent\nhave withdraw access?"}}
isasm{{"Does the Amount have\nthe Sender marker's denom?"}}
Expand All @@ -168,18 +169,20 @@ flowchart TD
denied(["Send denied."])
style denied fill:#ffaaaa,stroke:#b30000,stroke-width:3px
start --> issm
issm -->|yes| haveta
issm -->|yes| isfg
isfg -->|no| haveta
haveta -->|yes| istaw
haveta -.->|no| denied
istaw -.->|no| denied
istaw -->|yes| isasm
isfg -->|yes| isasm
isasm -->|yes| issma
issma -->|yes| ok
isasm -.->|no| ok
issma -.->|no| denied
issm -.->|no| ok
linkStyle 3,4,9 stroke:#b30000,color:#b30000
linkStyle 7,8,10 stroke:#1b8500,color:#1b8500
linkStyle 4,5,11 stroke:#b30000,color:#b30000
linkStyle 9,10,12 stroke:#1b8500,color:#1b8500
```

#### checkReceiverMarker
Expand Down

0 comments on commit 2de63aa

Please sign in to comment.