search

klee-contrib / topmodel

Outil de modélisation et générateurs pour divers langages
https://klee-contrib.github.io/topmodel/
MIT License
11 stars 12 forks source link

Paramètres de domaines #292

Closed JabX closed 1 year ago

JabX commented 1 year ago

Fix #285

Il est désormais possible de passer des paramètres à un domaine, de la même façon qu'il est déjà possible de le faire pour les décorateurs. Ces paramètres pourront être utilisés dans les templates en plus des autres propriétés déjà disponibles via les variables {$0}, {$1}...

Pour passer des paramètres, il faut renseigner un domaine de la façon suivante :

domain:
  name: DO_CODE
  parameters: ["Param1", "Param2"]

au lieu de domain: DO_CODE. La forme actuelle est bien évidemment toujours supportée.