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

APÊNDICE C. GRAMÁTICA JCML 133| signals-only-keyword \nothing ;signals-only-keyword ::= signals onlydiverges-clause ::= diverges-keyword pred-or-not ;diverges-keyword ::= divergeswhen-clause ::= when-keyword pred-or-not ;when-keyword ::= whenassignable-clause ::= assignable-keyword ( ident (, ident) * | store-ref-keyword) ;assignable-keyword ::= assignable| modifiable| modifiescallable-clause ::= callable-keyword callable-methods-list ;callable-keyword ::= callablecallable-methods-list ::= method-name-list | store-ref-keywordstore-ref-keyword ::= \nothing | \everything | \not specifiedC.6 Estrutura de Controle Java Cardcompound-statement ::= { statement ( statement )* }statement ::= compound-statement| local-declaration ;| expression ;| if ( expression )statement [ else statement ]| break [ ident ] ;| continue [ ident ] ;| return [ expression ] ;| switch-statement| try-block| loop-stmt| throw expression ;| synchronized ( expression ) statement| ;switch-statement ::= switch ( expression ) {( switch-body )* }switch-body ::= switch-label-seq ( statement )*switch-label-seq ::= switch-label ( switch-label )*switch-label ::= case expression : | default :try-block ::= try compound-statement ( handler )*