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.
APÊNDICE B. CLASSES USUÁRIO APÓS SER COMPILADA COM <strong>JCML</strong>C 125public static final byte TIPO_PROFESSOR = 1 ;public static final short SW_TAMANHO_MATRICULA_INVALIDO = (short) 0x63A0 ;public static final short SW_LOCAL_INEXISTENTE = (short) 0x63A1 ;public static final short SW_QUANTIDADE_MAXIMA_LOCAIS_EXCEDIDA = (short) 0x63A2 ;public static final short SW_VALOR_MAXIMO_CREDITO_EXCEDIDO = (short) 0x63A3 ;public static final short SW_CREDITOS_INSUFICIENTES = (short) 0x63A4 ;public static final short SW_TIPO_USUARIO_INVALIDO = (short) 0x63A5 ;private byte indiceLocal;private byte [] locais;private byte [] matricula;private byte tipo;private short creditos;public Usuario<strong>JCML</strong> ( ) {tipo = TIPO_ESTUDANTE ;matricula = new byte [TAMANHO_MAXIMO_MATRICULA ] ;locais = new byte [QUANTIDADE_MAXIMA_LOCAIS ] ;indiceLocal = 0 ;creditos = 0 ;}public void setMatricula ( byte [] m) throws ISOException {try{checkInv$Usuario$();checkPre$setMatricula$Usuario(m) ;}if (m.length > TAMANHO_MAXIMO_MATRICULA ) {ISOException.throwIt (SW_TAMANHO_MATRICULA_INVALIDO ) ;}matricula = m ;}catch (InvariantException invEx) {InvariantException.throwIt(InvariantException.SW_INVARIANT_ERROR);}catch (RequiresException reqEx) {RequiresException.throwIt(RequiresException.SW_REQUIRES_ERROR);}private void checkPre$setMatricula$Usuario( byte[] m) throws RequiresException{if(!(m != null && m.length
Change language