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

APÊNDICE C. GRAMÁTICA JCML 130C.3 Membros de Classe - Declarando Classes e Interfacesfield ::= member-decl| jcml-declaration| class-initializer-declmember-decl ::= method-decl| variable-definition| class-definition| interface-definitionmethod-decl ::= ( ( java-doc-comment )* | (java-comment )* )[jcml-method-specification][modifiers] method-headmethod-bodymethod-head ::= ident formals [ throws-clause ]method-body ::= compound-statementthrows-clause ::= throws name ( , name )*formals ::= ( [ param-declaration-list ] )param-declaration-list ::= param-declaration ( , param-declaration )param-declaration ::= ( param-modifier )* type-spec ident [ dims ]param-modifier ::= final | non null | nullablevariable-definition ::= ( ( java-doc-comment )* | (java-comment )* )modifiers variable-declsvariable-decls ::= [ field ] type-spec variable-declarators ;variable-declarators ::= variable-declarator ( , variable-declarator )*variable-declarator ::= ident [ dims ] [ = initializer ]initializer ::= expression | array-initializerarray-initializer ::= { [ initializer-list ] }initializer-list ::= initializer ( , initializer ) *type-spec ::= type [ dims ] | \TYPE [ dims ]type ::= reference-type | built-in-typereference-type ::= namebuilt-in-type ::= void | boolean | byte | shortdims ::= [ ]class-initializer-decl ::= [ method-specification ] compound-statement| method-specificationC.4 Tipos de Especificação JCMLjcml-declaration ::= modifiers invariant