 Joeri Exelmans
|
e71f01fadf
Switch entirely to event-driven parsing.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
431c30a80c
Tests beginning with "fail_" instead of "test_" should give an error when loading. Add some tests of illegal situations.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
650cb9334c
Overhaul of directory structure.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
8b8fbba6b1
Parse tree-less parsing of expressions with Lark. Moved some stuff around.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
cd427692c0
Added Bitmap type. Added an alternative transition candidate generation implementation, starting from enabled events instead of the current state configuration. Candidate generation returns a generator instead of a list (better performance when there are lots of candidates, basically when there is no concurrency, candidate generation ends after the first valid candidate). Conflicting transitions (to which the Priority semantic aspect applies) are dealt with much more simply and efficiently by making assumptions about the order in which candidates are generated.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
e7fad50fbd
Every event name in the statechart gets a unique integer ID. This avoids string comparisons and enables us to represent sets of enabled events as bitmaps.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
612615a2e9
Executable state tree directly generated from XML source file (no compilation step). Event raising currently disabled so most tests broken. Using "lark-parser" to parse state references.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
6327a97aa9
Split 'statechart syntax' classes (basically just data classes describing the statechart model: State, Transition, ...) from 'statechart instance' (describing an instance of a statechart, with a set of current states, execution logic, etc.)
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
549c81a8a8
Simplified things
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
3148ee5da3
Fixed errors reported by mypy type checker + parallelism (worker pool) in render script.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
2e47398f26
Better to generate SMCAT files in python than with XSLT
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
740c37c7eb
Got rid of OutputListener class.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
3eba2220ea
Test: check if the right amount of output is received
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
27ee076307
Progress with untangling of mess
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
4311d638af
Rename some things
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
dad03679a0
Tests run the model in its own thread, concurrent with checking the model's output.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
3b1dc3aea2
A <slot> element in a test contains set of output events of a nonempty big step.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
e92f44ba01
Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas.
|
5 gadi atpakaļ |
|
Joeri Exelmans
|
76058129c1
Update python test framework a bit.
|
5 gadi atpakaļ |
