JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
JCML - Java Card Modeling Language: Definição e ... - Ifrn
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CAPÍTULO 5. <strong>JCML</strong> - JAVA CARD MODELING LANGUAGE 9501 public void Nome_Metodo(){02 try{03 checkInv$Usuario$();0405 //CÓDIGO ORIGINAL DO MÉTODO06 checkInv$Usuario$();07 }catch (InvariantException invEx) {08 InvariantException.throwIt(InvariantException.SW_INVARIANT_ERROR);09 }10}Figura 5.15: Estrutura de um Método após Compilação com <strong>JCML</strong>c.01 /*@02 requires valor >= 0;03 requires valor + getCreditos()