JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPÍTULO 5. <strong>JCML</strong> - JAVA CARD MODELING LANGUAGE 9801 void CheckMetodo_Forall() Exception{02 for (short v0 = 1; v0 < value; v0++) {03 for (short v1 = v0 - 1; v1 < v0; v1++) {04 . . .05 for (short v_n = v_n - v_(n-1); vn < v(n-1); vn++) {06 if (!(spec-expression))07 Exception.throwIt(Exception.ERROR);08 }09 }10 }11 }Figura 5.21: Checagem de Expressões com Cláusula forall.5.3.2 QuantificadoresA especificação de uma expressão com quantificador universal é dada a partir da seguinteestrutura gramatical:spec-quantified-expr ::= (quantifier quantified-var-decls ;[ [ predicate ] ; ] spec-expression )onde o predicado (predicate) apresenta o domínio, onde os valores da expressão,definida pelo não-terminal spec-expression, deve aplicar a verificação da variáveldeclarada no não-terminal quantified-var-decls. Considere a expressão abaixo:\forall short i,j; 0
Change language