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

APÊNDICE A. CLASSES DA APLICAÇÃO DE CONTROLE DE USUÁRIO 116}indiceLocal = 0;creditos = 0;public void setMatricula(byte[] m) throws ISOException {if (m.length > TAMANHO_MAXIMO_MATRICULA) {ISOException.throwIt(SW_TAMANHO_MATRICULA_INVALIDO);}matricula = m;}public byte[] getMatricula() {return matricula;}public void setTipo(byte t) throws ISOException {if (t != TIPO_ESTUDANTE &&t != TIPO_PROFESSOR) {ISOException.throwIt(SW_TIPO_USUARIO_INVALIDO);}tipo = t;}public byte getTipo() {return tipo;}public void adicionarLocal(byte codigo_local) throws ISOException {if (indiceLocal >= QUANTIDADE_MAXIMA_LOCAIS) {ISOException.throwIt(SW_QUANTIDADE_MAXIMA_LOCAIS_EXCEDIDA);}else if (!this.temAcessoLocal(codigo_local)) {locais[indiceLocal] = codigo_local;indiceLocal++;}}public void removerLocal(byte codigo_local) throws ISOException {for (byte b = 0; b < indiceLocal; b++) {if (locais[b] == codigo_local) {for (byte c = b; c < indiceLocal - 1; c++) {locais[c] = locais[c + 1];}indiceLocal--;return;}}ISOException.throwIt(SW_LOCAL_INEXISTENTE);}public boolean temAcessoLocal(byte codigo_local) {for (byte b = 0; b < indiceLocal; b++) {if (locais[b] == codigo_local) {return true;}}return false;}