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

CAPÍTULO 5. JCML - JAVA CARD MODELING LANGUAGE 78estado do objeto. A construção helper define que um determinado método pode quebraro invariante. Este método deve ser privado e utilizado por um método público da classe.Por fim, a construção non null define que um objeto não pode ser nulo. O modificadornon null quando definido em um parâmetro de método, representa que este não podeser nulo (null). O tipo do parâmetro que tem a marcação do terminal non null deve serreference-type (Seção 5.1.3 ).Comparação com JML: Palavras reservadas como native, synchronized, transient evolatile, são recursos não suportados em Java Card. Dessa forma, estes terminais nãoforam utilizados na construção do não-terminal modifier para JCML. A gramática JMLutiliza os terminais citados como construções possíveis para modifier.5.1.3 Membros de Classe - Declarando Classes e InterfacesNa seção 5.1.2 foi descrita a estrutura inicial de um bloco para classes e interfaces JavaCard. Os membros de classe representam toda a estrutura de uma classe Java Card, desdea declaração de variáveis globais e locais dos métodos até as cláusulas de especificaçãoJCML. A construção field define: uma declaração de membros da classe - atributos emétodos (member-decl), ou uma declaração de especificação JCML (jcml-declaration)ou uma construção de inicialização para membros de classe (class-initializer-decl). Aconstrução field é definida como segue.field ::= member-decl| jcml-declaration| class-initializer-declclass-initializer-decl ::= [ method-specification ] [static] compound-statement| method-specificationDeclarações de métodos, variáveis globais ou classes e interfaces aninhadas têm suaconstrução a partir do não-terminal member-decl, o qual define: uma declaração demétodo (method-decl), ou uma declaração de variável global (variable-definition), ou aconstrução de uma classe aninhada (class-definition) ou uma construção de interface aninhada(interface-definition). Uma classe aninhada é a definição de uma classe, dentrode outra classe, e sua construção é a apresentada na seção 5.1.2. A construção de ummember-decl é feita de acordo com a gramática a seguir.