ABI logiCells : contrat binaire public
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
Interpréter chaque méthode ABI publique selon son manifeste versionné, dont propriété, politique de libération et forme exacte des appels.
L’ABI publiée est un contrat binaire versionné, et non une déduction à partir des classes internes du Kernel. La référence .NET distingue valeur, référence empruntée, propriété de l’appelant, propriété du module et référence conservée, avec une politique explicite de libération. Les wrappers typés générés sont normalement préférables aux descripteurs bas niveau construits à la main.
Règles d’ingénierie
- Lire la propriété conjointement à la politique de libération dans le manifeste ABI.
- Vérifier sens des arguments, type de valeur et nullabilité de chaque appel.
- Utiliser les contrats générés versionnés plutôt que deviner le nom d’un symbole.
- Tester séparément les bindings locaux et distants avant de promettre leur portabilité.
Plan du chapitre (intitulés LaTeX d’origine)
- Ownership and release vocabulary
- Advanced rule
Provenance LaTeX
Chapitre principal : Runtime/logiCells Runtime Programming for .NET/abi-runtime-reference.tex.