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

CAPÍTULO 5. JCML - JAVA CARD MODELING LANGUAGE 7601 package br.dimap.mestrado.jcml;0203 import javacard.framework.APDU;04 import javacard.framework.Applet;05 import javacard.security.*;0607 //type-definitionFigura 5.1: Código Válido: Unidade de Compilação.Comparação com JML: Não foi utilizada a regra para refinamento (refine-prefix) edefinição de alto nível (top-level-definition) para a unidade de compilação. Isto ocorreporque a linguagem JCML não define, refinamento de especificação. O não-terminaltop-level-definition também não foi aplicado devido sua construção utilizar declaraçõesda linguagem MultiJava. O JCML não utilizada o parser MultiJava, o qual é utilizadopelo compilador JML e descrito no manual de referência [21]. O JCML, por sua vez, éderivado do parser Java definido pela ferramenta JavaCC [17].5.1.2 Definindo Tipos (Classes e Interfaces)Uma definição de tipo é representada como segue, a qual pode ser uma definição de classeou interface, ou então apenas a representação de vazio através do terminal ponto e vírgula(;).type-definition ::= class-definition | interface-definition | ;class-definition ::= [ doc-comment ] modifiers class ident[ class-extends-clause ] [ implements-clause ]class-blockinterface-definition ::= [doc-comment ] modifiers interface ident[ interface-extends ]class-blockclass-block ::= { ( field )* }As definições de classe e interface são semelhantes. Em ambas, não pode existircomentário de especificação, apenas comentário Java ou JavaDoc. Uma diferença entrea definição de interface e classe Java Card é que, em uma interface é permitido apenasdeclaração de instâncias abstratas dos métodos (assinatura). Pode existir herança a nível