Ampersand

Ampersand copied to clipboard

For all relevant documentation to be shown in one place, the documentation in "RAP" repository should be included in the Docusaurus docs. Tasks: - [ ] Update the workflow in...

basplijnaer

Docusaurus: Hide or remove unnecessary files

1

### Problem Ampersand/docs contains several that are not shown by [GitBook](https://ampersandtarski.gitbook.io/documentation/) but do appear on [Docusaurus](https://ampersandtarski.github.io/DocuGen/). Some examples are: - https://ampersandtarski.github.io/DocuGen/docs/Ampersand/example-client - https://ampersandtarski.github.io/DocuGen/docs/Ampersand/example-login - https://ampersandtarski.github.io/DocuGen/docs/Ampersand/tutorial/interface - https://ampersandtarski.github.io/DocuGen/docs/Ampersand/tutorial/vog-in-dutch ### Proposed solution...

basplijnaer

In the theory, the word `term` is used where we are still used to using the word `expression`. @stefjoosten has changed all occurrences in the documentation, but this still has...

hanjoosten

Recently I have been trying to do some initial work on implementing namespaces. I concluded that the modification was too large. I encounterd several (technical debt?) things that were causing...

hanjoosten

Interfaces, Views and Violations new syntax proposal

4

Syntax: boxentry ::= OPTIONAL label ; OPTIONAL ( SYMBOL ':' ; (expression | string) ) Considerations 1. The list of entries is ordered. 2. A missing label is equivalent with...

stefjoosten

Should we support MODULEs?

6

I have just checked in the ampersand-model: `SIAM` (Sessions, Identity and Access Management). The idea of being modular is that should be able to just `INCLUDE ../SIAM/SIAM.adl`, and off you...

RieksJ

I [asked a question](https://forum.graphviz.org/t/arrows-halfway-of-an-edge/1276/2) at the graphviz forum the other day about arrowheads in the middle of edges, where I got a promising reply. There is a slight chance that...

hanjoosten

`CLASSIFY A IS B` should be interchangeable with `CLASSIFY A ISA B` and `CLASSIFY B ISA A`

4

# What happened I have two scripts: `Script_ISA` and `Script_IS`: ```Ampersand CONTEXT Script_ISA RELATION r[X*A] RELATION r[X*B] CLASSIFY A ISA B CLASSIFY B ISA A RULE r;r~ ENDCONTEXT ``` `Script_ISA`...

stefjoosten

Typechecking of ENFORCE statement is incorrect

8

I have been experimenting with the ENFORCE statement. However, in doing so, I got a fatal (while building a docker image): ~~~ #9 0.685 ! Ampersand-v4.6.2 [51c3de2e65c540ef026925fe8547c991765a5588:refs/tags/v4.6.2] #9 0.685 Cannot...

hanjoosten

# What happened I am running the following script: ```Ampersand CONTEXT Script POPULATION X CONTAINS ["aap", "noot", "mies"] POPULATION A CONTAINS ["1", "2", "3"] RELATION r[X*A] POPULATION r CONTAINS [...

stefjoosten