AmpersandTarski / Ampersand

Build database applications faster than anyone else, and keep your data pollution free as a bonus.
http://ampersandtarski.github.io/
GNU General Public License v3.0
40 stars 8 forks source link

Possible Inconsistency between Context elements and Pattern elements #1377

Open TAA-github opened 1 year ago

TAA-github commented 1 year ago

Possible Inconsistency:   Context elements

a statement that specifies generalization/specialization of concepts   Pattern elements a statement that specifies generalization/specialization of concepts
TAA-github commented 1 year ago

Pages:

https://ampersandtarski.gitbook.io/documentation/the-language-ampersand/context#context-elements

https://ampersandtarski.gitbook.io/documentation/the-language-ampersand/patterns#syntax

hanjoosten commented 1 year ago

I see no inconsistency. An Ampersand specification always specifies a single context. As such, any .adl script always has the form

CONTEXT <name> 

<statements>

ENDCONTEXT

One of the statements is the PATTERN statement. That statement can hold most of the statements that could be defined directly inside the CONTEXT statement. The PATTERN statement is most useful to group statements that are about the same theme. The content of a pattern is shown in the generated documentation as a separate chapter. The text you are reffering to is about a statement that may be defined inside a PATTERN or directly inside the CONTEXT. For the effect on the generated software there is no difference.

hanjoosten commented 1 year ago

@TAA-github , please don't hesitate to reopen this issue if you think I misunderstood you. And thanks again for the comment.

TAA-github commented 1 year ago

Sorry, something was lost in the format: Context elements "" a statement that specifies generalization/specialization of concepts   Pattern elements "" a statement that specifies generalization/specialization of concepts

TAA-github commented 1 year ago

again losed

Context elements gen a statement that specifies generalization/specialization of concepts   Pattern elements classify a statement that specifies generalization/specialization of concepts

TAA-github commented 1 year ago

to refer to the same statements: in one plase the GEN text is used and in other the CLASIFFY text

hanjoosten commented 1 year ago

I see what you mean now. There is no GEN statement, but it is about generalisation and specialisation of concepts. See the CLASSIFY statement on how this works. We are busy migrating the documentation to another site. I will make sure the documentation on the new site will be fixed with regard to the GEN text.