| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
|
|
| |
Validate imports and imported resources.
Also fixes a linking error in imported resources by ensuring that imported
resources are always fully resolved with all of their derived state.
|
|
|
|
|
|
|
|
| |
Make sure it is impossible to create clashing fully qualified names when
renaming a module by forbidding modules from referring to their own elements
with fully qualified names. Therefore, serializing a solution will not create
clashing fully qualified names (which would prevent serialization from
succeeding).
|
| |
|
| |
|
|
|
|
| |
Use a transient attribute instead of an adapter.
|
| |
|
|
|
|
| |
This reverts commit c6e70f5a01c877b560d4561f22a830c1ce1c6dbe.
|
|
|
|
|
| |
We never need to infer names for modules not added by import, because importing
a problem (i.e., a Resource manually added into the ResourceSet) is not allowed.
|
|
|
|
|
| |
Modules without an explicitly declared name get a name automatically inferred
from their path.
|
| |
|
|
|
|
|
|
| |
* Use fully qualified names starting with :: (as in C++) to unambiguously refer
to an element.
* Name shadowing within modules.
|
| |
|
|
|
|
|
|
|
|
| |
* New default file extension: .refinery (.problem is also supported).
* Add module keyword for self-contained modules.
* Rename indiv declarations to atom declaration.
* Add node and multi declarations for explicitly declared nodes and
multi-objects, respectively.
|
|
|
|
|
| |
We use a palette-based coloring strategy, where each class and enum gets a color
from
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Only show references that may plausibly appear in an opposite declaration.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Use a simplified name invalidContainer, since this pattern may match even if
there is a sufficient number of ERROR containers.
|
| |
|
| |
|
|
|
|
|
| |
Also simplifies attributes and flags for now, as we don't translate them to
abstractions.
|
|
|
|
|
|
| |
* Avoid writing generated source files directly into sibling projects.
* Full project isolation cannot be enabled yet, because the frontend plugin
still requires cross-projects task dependencies for Node.js installation.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Make sure we obey the REUSE (https://reuse.software) specification and the
origin, copyright owner, and license of all files are clearly marked.
The whole project is under the EPL-2.0, except for trivial files where copyright
is not applicable that are marked with the CC0-1.0 license. Moreover, code
included from third parties is also available under the respective license.
chore: add CONTRIBUTORS.md
List all authors and supporting organizations in accordance with the REUSE
specification.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Restore count != capability.
Still needs semantics and tests for count atoms over partial models.
|
| |
|
| |
|
|
|
|
| |
Rules have too complex semantics to implement in the first prototype.
|
| |
|
| |
|
|
|
|
| |
This was left unchanged after refactoring the operators in the language.
|
| |
|
|
|
|
| |
Also change refinement operator based on feedback from colleagues
|
| |
|
|
|
|
|
|
| |
* Remove the direct keyword because it can be inferred
* Use may/must/current instead of value literals
* Transformation rule changes
|
|
|
|
|
|
| |
* Move all utilities for language-model to language, since they do not
make sense on their own
* Convert xtend code into java
|
| |
|
|
|