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

CAPÍTULO 5. JCML - JAVA CARD MODELING LANGUAGE 75• Prod - Exatamente uma ocorrência da construção Prod;• (Prod)∗ - Zero ou mais ocorrências da construção Prod;• (Prod)+ - Uma ou mais ocorrências da construção Prod;• [Prod] - A construção Prod pode ocorrer ou não;• Prod 1 | Prod 2 - Ou a construção Prod 1 , ou a construção Prod 2 deve ocorrer;• term - Terminal;5.1.1 Unidade de CompilaçãoA unidade de compilação (jcml-compilation-unit) é a definição inicial da gramáticaJCML. Uma estrutura ou unidade de compilação em JCML é a mesma de Java Card,contudo, utiliza algumas cláusulas adicionais referentes à especificação.Uma jcml-compilation-unit, como mostrado nas regras a seguir, é composta por, (1)zero ou uma definição de pacote (package-definition), (2) seguida por zero ou mais cláusulasimport Java Card (import-definition) e, (3) zero ou mais definições de tipo (typedefinition),que podem ser classes ou interfaces Java Card.jcml-compilation-unit ::= [package-definition](import-definition)*(type-definition)*package-definition ::= package name ;import-definition ::= import name-star ;name ::= ident ( . ident)* ;name-star ::= ident ( . ident)* [ .*] ;Um código válido para uma unidade de compilação pode ser visualizado na Figura5.1. O comentário da linha 7, type-definition, representa o não-terminal para declaraçãode classe ou interface Java Card, que será detalhado na seção 5.1.2.