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

CAPÍTULO 5. JCML - JAVA CARD MODELING LANGUAGE 7701 /**02 * Representa um Usuário no sistema.03 */04 public class UsuarioApplet extends Applet05 { /* field */ }Figura 5.2: Código Válido: Tipos de Estrutura Java Card.de interface, desse modo a cláusula interface-extends faz parte da estrutura da interface. Aprincipal diferença entre os não-terminais class-definition e interface-definition é que, nadefinição de uma classe são utilizadas as regras class-extends-clause e implements-clause,enquanto que na definição de uma interface, uma ou várias interfaces podem ser herdadas,pelo não-terminal interface-extends. Uma interface não pode implementar outra interface.Um código válido para a definição de classe pode ser visualizado na Figura 5.2.O não-terminal field descreve todos os membros (variáveis, construtores e métodos)da classe e interface. O bloco de uma classe tem como marcação inicial e final as chaves({ .. }). O não-terminal field será detalhado na seção 5.1.3. A seguir serão apresentadascontruções que compõem o cabeçalho de uma classe ou interface.class-extends-clause ::= extends nameimplements-clause ::= implements name-listname-list ::= name ( , name)*interface-extends ::= extends name-listmodifiers ::= ( modifier )*modifier ::= public | protected | private| abstract | static| final | jcml-modifierUma classe, utilizando JCML, pode implementar N interfaces. Toda classe podeherdar apenas de uma classe. Herança múltipla é feita utilizando interfaces e apenasuma declaração de herança. Os não-terminais class-extends-clause, implements-clause einterface-extends definem as regras de herança e implementação de interfaces.O não-terminal jcml-modifier representa palavras-chave JCML a serem reconhecidasna declaração de uma especificação, como por exemplo, spec public, pure, helper enon null, descritas na seção 5.1.4.A construção spec public define que se uma determinada variável for privada, ela setorna pública para a especificação. A construção pure define que uma função não muda o