Définitions de sonde

L'entrée Sonde du niveau supérieur dans l'arborescence de l'éditeur Probekit représente la définition d'une seule sonde. Les sondes sont contenues dans un fichier source Probekit avec l'extension .probe. Un fichier source Probekit peut contenir plus d'une sonde.

Une définition de sonde doit comprendre un fragment de code source s'exécutant en même temps que la sonde. Elle peut aussi inclure des directives d'importation, des spécifications de cible, et des fragments de code source additionnels.