JCML - Java Card Modeling Language: Definição e ... - Ifrn

APÊNDICE C. GRAMÁTICA JCML 134[ finally compound-statement ]handler ::= catch ( param-declaration ) compound-statementlocal-declaration ::= local-modifiers variable-declslocal-modifiers ::= ( local-modifier )*local-modifier ::= ghost | final | non null | nullableloop-stmt ::= while ( expression ) statement| do statement while ( expression ) ;| for ( [ for-init ] ; [ expression ] ; [ expression-list ] )statementfor-init ::= local-declaration | expression-listC.7 Predicados e Expressões de Especificação:predicate::= expressionListexpressionList::= expression ( AND expressionList )*expression ::= assignment-exprassignment-expr ::= conditional-expr ( assignment-op assignment-expr )*assignment-op ::= = | += | -= | *= | /= | %=conditional-expr ::= equivalence-expr [ ? conditional-expr : conditional-expr ]equivalence-expr ::= implies-expr ( equivalence-op implies-expr )*equivalence-op ::= | implies-expr ::= logical-or-expr [ ==> implies-non-backward-expr ]|logical-or-expr additive-expr| additive-expr >= additive-expr| additive-expr