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 8301 private /*@ spec_public @*/ byte indiceLocal;02 private /*@ spec_public @*/ byte[] locais;03 private /*@ spec_public @*/ byte[] matricula;04 private /*@ spec_public @*/ byte tipo;05 private /*@ spec_public @*/ short creditos;0607 /*@ invariant indiceLocal >= 0 &&08 indiceLocal = 0 &&10 creditos