Ampersand

Ampersand copied to clipboard

An `INTERFACE` that has no `ROLE` is available at runtime without `ROLE`-restrictions. Currently, the PrototypeContext contains a relation `isPublic`, which must be true iff the interface has no roles. It...

stefjoosten

Error in the code generator for singletons

9

# What happened I ran the following Ampersand script for the purpose of demonstrating that the rule `UniverseExists` guarantees that the atom `_UNIVERSE` of type `Module` always exists. ```Ampersand CONTEXT...

stefjoosten

Fatal error in ENFORCE rule at compile time.

2

# What happened I was experimenting with enforcement rules in RAP4, when suddenly I got a fatal error. Since the script was without type errors, I expected it to pass...

stefjoosten

Front-end programming with invariants

2

Ampersand is about programming with invariants, aka constraint-based programming. However, Ampersand rules apply to the back end only. As a front-end programmer used to JavaScript, DOMS, endpoint programming, and the...

stefjoosten

Odd behaviour

2

# What happened I ran a reasonably straightforward script on a codespace and in a locally running project template: ```Ampersand CONTEXT Issue1472 PURPOSE CONTEXT Issue1472 {+ There is an error...

stefjoosten

# What happened I wrote a prototype to execute in Codespace from the project-template repo. All went well, but the fourth or fifth deployment. All of a sudden the prototype...

stefjoosten

Language proposal: include patterns

3

**Current situation** Composing Ampersand scripts currently works by taking the union of a bunch of ADL files. This gives a lot of flexibility but also provides little to no structure....

sjcjoosten

Generating prototypes from Atlas population

5

**Is your feature request related to a problem? Please describe.** Simon's research is about using the Atlas as an editor, so users can edit scripts without knowing the Ampersand syntax....

stefjoosten

Semantics of INCLUDE (this has to do with namespaces)

2

# Problem Namespaces require semantics that will prepare us to work with distributed systems and allow us to do data migrations. So far, we have generated information systems with one...

stefjoosten

feature: Name spaces

12

@Michiel-s, @stefjoosten , and @hanjoosten have discussed an implementation of the multi-context functionality. We have agreed on the following: 1. A pattern is a namespace, so we'll drop the keyword...

stefjoosten