Valeurs par défaut
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
Une valeur par défaut renseigne une valeur non spécifiée selon une règle déclarée ; elle ne prouve pas que toutes les valeurs lui sont égales.
Les contraintes déclaratives expriment la validité dans le modèle au lieu de disperser des contrôles équivalents entre vues et contrôleurs. Les chapitres traitent des valeurs par défaut, restrictions fixes, domaines de rôles et de types ainsi que des frontières de validation. Une valeur par défaut propose une valeur absente ; une exigence fixe limite ce qui peut être accepté.
Règles d’ingénierie
- Séparer la règle de valeur par défaut de la règle de validité impérative.
- Associer la contrainte au concept, à la relation, au rôle ou au contexte d’action pertinent.
- Valider les valeurs à leur entrée dans le modèle et aux frontières d’action faisant autorité.
- Ajouter des tests sémantiques positifs et négatifs plutôt que de se fier à la seule interface.
Plan du chapitre (intitulés LaTeX d’origine)
- Concept Constraints
- Participant Typing and Role Paths
- Defaults
- Nullability
- Action Parameter Contracts
- Fixed Business Invariants
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/constraints-defaults-and-validity.tex.