typestate-rs

typestate-rs copied to clipboard

The macro should be able to export diagrams even if the state machine fails verification

1

Having the machine export diagrams is a feature useful as documentation but also as a debugging tool. Allowing the macro to export diagrams before verification would help debugging

jmg-duarte

I think transitions with the same source and destination should be grouped in the same graphical edge, reducing the clutter on screen when the state diagram is generated. 

tomasalagoa

Feature Request: include the code generated UML and dotfile in the generated code.

1

I spent a few hours today unsuccessfully trying to integrate typestate-rs's UML generation into a bazel (or buck2) build. The challenge is that the extra artifacts containing the UML or...

andrew-otiv

Build error with default-features=false, features = [ "export-dot", "export-plantuml" ]

4

When I build with this combination of features: typestate = {version="0.8.0", default-features=false, features = [ "export-dot", "export-plantuml" ]} I am hitting: ``` Compiling typestate-proc-macro v0.8.0 error[E0412]: cannot find type `IntermediateAutomaton`...

andrew-otiv

EXPORT_FOLDER path concatenation missing a separator.

1

Example: If you set EXPORT_FOLDER=foo/bar, the uml file will be generated at foo/barSomeStateMachine.uml i.e. if this is string concatenation, the trailing slash is missing. Temporary workaround: Make sure you include...

andrew-otiv

Implement conversion from non-det transitions to enumeration

2

Implement `From` conversions from non-deterministic transition enums to the state enum, if enabled. This makes it a lot nicer to work with non-deterministic transitions. I've never worked on a proc...

lopsided98

Just using for example `EXPORT_FOLDER` might easily clash with generic project configuration. So what about prefixing them all with `TYPESTATE_`?

sirhcel

How to use this inside a struct for my egui app.

1

Hello, I'm trying to use this crate to make my egui app's page navigation. I have this in my app: ```rust #[typestate] mod page_navigator { #[automaton] pub struct Page {}...

IAMSolaara