Questions sur le logiciel · États de types exhaustifs
Méthodes de travail — États de types exhaustifs
Traitez tous les cas d’une union discriminée. Ajoutez un état dans un changement de test et laissez le vérificateur de types révéler les branches à implémenter. Comparez le comportement observé au résultat attendu. Si une vérification échoue, cherchez la cause avant de poursuivre les modifications.
Puis-je ouvrir un projet existant ?
Sélectionnez un dossier et demandez à l’assistant de lire les fichiers concernés avant de les modifier. Définissez le résultat attendu et les limites de la tâche.
Le code généré est-il toujours correct ?
Examinez les changements et les sorties de commandes. Lancez les vérifications du projet avant de valider le résultat : le code généré n’est pas testé automatiquement.
Une connexion locale conserve-t-elle toutes les données sur mon ordinateur ?
La connexion locale concerne uniquement ce serveur de modèles. Les outils distants et les services externes peuvent recevoir des données par leurs propres connexions.