 Lucas Heer
|
4e5cfe72ff
check if local transformation breaks conformance for attributes, nodes and edges. If it does, repair it automatically
|
преди 7 години |
|
Lucas Heer
|
5b14d5fdf3
maintain conformance when adding nodes and deleting attributes
|
преди 7 години |
|
Lucas Heer
|
9f8d050b80
relaxed type mandatory constraint a bit: lower bound can only be 0 or 1
|
преди 7 години |
|
Lucas Heer
|
4639a78203
reworked edge mandatory constraint, some related bug fixes
|
преди 7 години |
|
Lucas Heer
|
aff95fc175
reworked edge checking in verify code
|
преди 7 години |
|
Lucas Heer
|
4ac56e435d
restructured verify code: split up in multiple class methods
|
преди 7 години |
|
Lucas Heer
|
6987287ad5
added attribute editing of nodes in instance modeling view (add, delete, modify)
|
преди 7 години |
|
Lucas Heer
|
36e67d37c3
added concrete syntax metamodel and example
|
преди 7 години |
|
Lucas Heer
|
7d9c4201aa
basic UI for example modeling
|
преди 7 години |
|
Lucas Heer
|
48f03921ce
renamed type attribute of nodes to typeID since type is internal identifier already, UI can now load and edit existing instance models
|
преди 7 години |
|
Lucas Heer
|
b219a79554
started on UI for instance modeling
|
преди 7 години |
