Analysis Annotations for created WebDFDs#20
Conversation
|
Requires the SimpleDFD PR in DataFlowAnalysis to be merged first |
…into annotations
|
Requires DataFlowAnalysis/DataFlowAnalysis#209 to be merged first |
…ins for Assignments from string terms, none for true
|
@Nicolas-Boltz @uuqjz @uuqjz your changes from fix-web-converter are in. But this also means multi flow into one input pin wont work until the delimiter is changed in the WebEditor. I'm currently working on that but not 100% sure whether I can do it |
|
^^ |
...les/org.dataflowanalysis.converter/src/org/dataflowanalysis/converter/BehaviorConverter.java
Outdated
Show resolved
Hide resolved
|
If you look at #193 we wanted to use a pipe as delimiter |
....dataflowanalysis.converter/src/org/dataflowanalysis/converter/DataFlowDiagramConverter.java
Outdated
Show resolved
Hide resolved
|
This PR lacks any testing regarding the new features. |
|
I am currently working on the tests for the changes and ran into an issue that makes me question how much sense it makes to continue work on the converter without adjusting the WebEditor Assignment creation. The behavior string "set TypeA.ValueA = a2d.TypeA.ValueA && b2d|c2d.TypeA.ValueA" is a valid string in the WebEditor. It describes sending out the ValueA label if and only if it arrives on both the a2d and b2d|c2d Input pins.
With more complex behavior strings this gets even worse. I suggest changing the webEditor behavior strings to something like:
This would make MetaModel and WebEditor semantically equivalent too |
We should discuss that in the next dfa meeting. |
|
|
@uuqjz @Nicolas-Boltz Tests for annotations have been added. Ready for review |
Does the new So we can now, if the webconverter finally behaves as intended? |
|
Could you add some complexer terms that use labels to the minimal json? |
Sure, but complex terms are already tested in the Behaviour Test. |
Done @uuqjz |
Nicolas-Boltz
left a comment
There was a problem hiding this comment.
I really like that there is a lot more regarding tests.
Looking at everything, I think it looks good and can be merged (@01Parzival10)
|
@01Parzival10 Please resolve conflicts and merge |
Adding Annotations for created WebDFDs.
Currently there are 3 options:
Default: Analyze DFD and annotate the propagated Labels
Constraints: Analyze DFD, check for constraint violations and annotate Labels and violations
Custom TFG Finder: Same as Constraints but allows for handing over a custom finder