Parser introduceert nieuwe domeinelementen

[Bart Bogaerts]

Als je in je structuur een foutje schrijft (een domeinelement een letter vergeten), dan maakt de parser een nieuw domeinelement ipv een fout te gooien

(toch zeker als deze foute vorm toevallig ook de naam van een constante is, ik heb het niet in het algemeen getest)

[Bart Bogaerts]

Probleem hiermee is dat we op de moment dat we een predtable toevoegen, we niet meer weten welke soorten door de gebruiker gespecifieerd zijn en welke niet. Standaard is alles gewoon een lege enumerated table.

[Broes De Cat]

Fixes parser introducing domainelements

If a sort is specified by the user, domainelements occurring in predicates and functions will NOT be added to that, but domainelements in subsorts will. fixes #64

→ 3fb07050cac5

[Broes De Cat]

Fixes parser introducing domainelements

If a sort is specified by the user, domainelements occurring in predicates and functions will NOT be added to that, but domainelements in subsorts will. fixes #64

→ 3fb07050cac5

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)