Exemple de vérification statique :Tableau unidimensionnel

set checkParam is

judgement |- javacard -> Bool;

ArrayArrayParamRule: //erreur 2 dim

|- parameter(_,arrayof(T),array(P))-> false();

do message("javacard", "checker", "errorDimArray", "Error", subject, "");

ArrayParamRule: // 1 dim

|- parameter(_,arrayof(T),Param) -> false();

provided diff(Param, array(_));

SimpleParamRule:

|- parameter(_, TypParam, _) -> true() ;

provided diff(TypParam, arrayof(_));

end checkParam;

Programme incorrect +

Règles Typol du checker testant les paramètres

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique