Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

stbx-core: Compute and render folds over execution history #307

Open
1 of 13 tasks
epost opened this issue Jan 9, 2020 · 0 comments
Open
1 of 13 tasks

stbx-core: Compute and render folds over execution history #307

epost opened this issue Jan 9, 2020 · 0 comments
Assignees

Comments

@epost
Copy link
Member

epost commented Jan 9, 2020

todo

  • Get sequence of fired transitions from transaction history
  • Compute folds over transaction history.
    • transaction hash
    • transition id
    • marking
    • running | valid | invalid
  • Store this state at the corresponding (state) hash in an AdjacencySpace-based cache.
  • Show them in the studio.
    • render wirings loaded from API transactions.
      • enable RouteF to point to arbitrary-length path of diagrams, optionally followed by a net.
      • convert from Diagram v1 to ...
      • solve the kinded id clicks issue so we can distinguish between a net and a wiring
        • why doesn't it seem to work when clicking on e.g. a (root?) node of an API-loaded diagram with a single net in it, like for the GUTS example net? I'd expect the net 'inside' the node to be shown, but it isn't.
        • visually render nested wirings... how?
    • Show glued markings in diagram editor.
    • Show glued markings in kdmoncat. -> halogen-kdmoncat: Visualise brick content and highlighted states #308
    • Show glued markings in Petri net editor somehow.

why?

  • needed in wiring and transaction explorer
  • needed in inbox app
@epost epost self-assigned this Jan 9, 2020
@epost epost added this to the wiring-explorer milestone Jan 10, 2020
marcosh added a commit that referenced this issue Jan 17, 2020
stbx-core: Add 'enabledTransitionIds' function. #307
marcosh added a commit that referenced this issue Jan 22, 2020
epost pushed a commit that referenced this issue Jan 22, 2020
epost added a commit that referenced this issue Jan 23, 2020
* studio: Show GluedTransitionId history for a given firing. #307

* [#307] [stbx-core] fix tests (#325)

* studio: Show transaction history table. #307

Co-authored-by: Marco Perone <pasafama@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant