| .codeclimate.yml | |
|
|
| .gitignore | |
|
|
| .travis.yml | |
|
|
| LICENSE | |
|
|
| changelog.md | |
|
|
| composer.json | |
|
|
| infection.json.dist | |
|
|
| phpunit.xml.dist | |
|
|
| psalm.xml | |
|
|
| readme.md | |
|
|
| src/Arrow.php | 37 |
|
|
| src/DrawnArrow.php | 32 |
|
|
| src/Event.php | 8 |
|
|
| src/Events.php | 34 |
|
|
| src/Exception/DuplicateEvent.php | 7 |
|
|
| src/Exception/DuplicateState.php | 7 |
|
|
| src/Exception/IncompleteArrow.php | 7 |
|
|
| src/Exception/MissingState.php | 7 |
|
|
| src/FSM.php | 29 |
|
|
| src/Graph.php | 55 |
|
|
| src/Name/EventName.php | 15 |
|
|
| src/Name/NamedEvent.php | 10 |
|
|
| src/Name/NamedState.php | 10 |
|
|
| src/Name/StateName.php | 15 |
|
|
| src/State.php | 8 |
|
|
| src/Transition.php | 7 |
|
|
| src/TransitionOp.php | 43 |
|
|