 Axel Terfloth
|
c006d41cfa
Merge pull request #2056 from Yakindu/rework_validation
|
il y a 7 ans |
 Axel Terfloth
|
553161eaa6
removed not required imports
|
il y a 7 ans |
|
Axel Terfloth
|
1940907508
moved entry target test from transition to region validation
|
il y a 7 ans |
|
Axel Terfloth
|
3dbf3ef03b
reworked namig of transition validation checks
|
il y a 7 ans |
|
Axel Terfloth
|
7094b4c628
renamed VertexValidator codes and methods
|
il y a 7 ans |
|
Axel Terfloth
|
302508157f
moved check for exitst in top level regions from ExitValidator to RegionValidator
|
il y a 7 ans |
|
Axel Terfloth
|
07a36de495
Fixed naming of exit validations
|
il y a 7 ans |
|
Axel Terfloth
|
28805f5ef3
reworked region validator naming
|
il y a 7 ans |
|
Axel Terfloth
|
c56fb4b0cc
Fixed StatechartValidator naming
|
il y a 7 ans |
|
Axel Terfloth
|
e5603fa79f
renamed validation issue codes for RegionValidator
|
il y a 7 ans |
|
Axel Terfloth
|
797918e1af
Extracted region tests from entry tests
|
il y a 7 ans |
 rherrmannr
|
6fa79de4b3
Test is unused and is covered with ExitState (#2063)
|
il y a 7 ans |
|
Axel Terfloth
|
fab97985df
reworded synchronization vaidation
|
il y a 7 ans |
|
Axel Terfloth
|
b7b86da4fd
reworded state validation
|
il y a 7 ans |
|
Axel Terfloth
|
9f2a996960
reworded final state validation
|
il y a 7 ans |
|
Axel Terfloth
|
0cdaf2d9aa
reworded choice validation
|
il y a 7 ans |
|
Axel Terfloth
|
b90fde4dca
separated exit and entry validator and tests
|
il y a 7 ans |
 Rene Beckmann
|
29ae301945
Merge pull request #2062 from Yakindu/issue_2061
|
il y a 7 ans |
 jthoene
|
6bb3c2f559
Issue 2061
|
il y a 7 ans |
 andreas muelder
|
1b0fea88c0
reworked final state validator
|
il y a 7 ans |
 Andreas Mülder
|
620becb841
Issue 2045 (#2057)
|
il y a 7 ans |
|
andreas muelder
|
52277daf92
merged into entryExitValidator
|
il y a 7 ans |
 herrendorf
|
29a403a3aa
add error detection for #2051 (#2052)
|
il y a 7 ans |
|
andreas muelder
|
bbb08352a8
moved test models
|
il y a 7 ans |
|
andreas muelder
|
c1d4415389
class is abstract
|
il y a 7 ans |
|
andreas muelder
|
8fed6b2129
added dependency to default domain
|
il y a 7 ans |
|
andreas muelder
|
d2964b3375
refactoring of sgraph basic tests
|
il y a 7 ans |
|
andreas muelder
|
4fbdf5f9f7
refactoring of sgraph basic tests
|
il y a 7 ans |
|
andreas muelder
|
cbb68923da
https://github.com/Yakindu/sctpro/issues/1453
|
il y a 7 ans |
|
andreas muelder
|
c9ba2259d6
loading resources requires exclusive access to ResourceSet
|
il y a 7 ans |
