Ampersand

Ampersand copied to clipboard

Give proper error messages when parsing improper AtlasImport file.

1

For the Atlas import, a JSON file is generated by the Atlas. However, there can be issues with the generated file. I.e, the name of a concept cannot be any...

hanjoosten

Transitive Closure

3

# Problem The postfix operators `*` and `+` (the Kleene closures) don't work yet in Ampersand, even though the need for them occurs frequently when specifying information systems in Ampersand....

stefjoosten

Yellow messages (business constraints) in practice

1

# Problem A yellow message contains the violations of a business constraint (aka process rule) to all users with the ROLEs that maintain that business constraint. When an information system...

stefjoosten

Request for improvement of typechecker errors

2

Consider the following script: ~~~ RELATION r[A*B] --RELATION s[B*C] RELATION t[X*Y] RELATION u[Y*A] RULE "test": I[A] |- r;s;V \/ V;t;u ~~~ This produces the following type-checker error: ~~~ Cannot disambiguate:...

RieksJ

@Stef: when I tried to create documentation from the `constratingsumcu.adl` that you sent me (that I do not share here because I'm not sure how public it is), using `ampersand...

RieksJ

Feature transitive closure issue137

2

Finally! Transitive closures

hanjoosten

`uml` command gives fatal error

1

# What happened  The file `main.adl` compiles a very simple application - which works # What I expected I expected some UML graphics or something to be generated

RieksJ

# What happened A year or two ago, I made a prototype that simulated a bank. You could register/login, get a bankaccount, and then transfer funds from one account to...

RieksJ

Describe an agreed-upon semantics of the namespace stuff.

2

The problem is that we have no agreed-upon semantics of the namespace stuff. So how are we going to build it first-time-right? _Originally posted by @stefjoosten in https://github.com/AmpersandTarski/Ampersand/issues/1467#issuecomment-1950984951_

hanjoosten

**Is your feature request related to a problem? Please describe.** It's not a frustration, just an idea that I came up with as I was preparing the TNO Conceptual Modelling...

RieksJ