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 126}tipo = t ;}catch (InvariantException invEx) {InvariantException.throwIt(InvariantException.SW_INVARIANT_ERROR);}catch (RequiresException reqEx) {RequiresException.throwIt(RequiresException.SW_REQUIRES_ERROR);}private void checkPre$setTipo$Usuario( byte t) throws RequiresException{if(!(t == TIPO_ESTUDANTE || t == TIPO_PROFESSOR ))RequiresException.throwIt(RequiresException.SW_REQUIRES_ERROR);}public byte getTipo ( ) {try{checkInv$Usuario$();return tipo ;}catch (InvariantException invEx) {InvariantException.throwIt(InvariantException.SW_INVARIANT_ERROR);return (byte)0;}}public void adicionarLocal ( byte codigo_local) throws ISOException {try{check$Invariant$Usuario();checkPre$adicionarLocal$Usuario( codigo_local) ;}if (indiceLocal >= QUANTIDADE_MAXIMA_LOCAIS ) {ISOException.throwIt (SW_QUANTIDADE_MAXIMA_LOCAIS_EXCEDIDA ) ;}else if (! this.temAcessoLocal (codigo_local ) ) {locais [indiceLocal ]= codigo_local ;indiceLocal ++ ;}}catch (InvariantException invEx) {InvariantException.throwIt(InvariantException.SW_INVARIANT_ERROR);}catch (RequiresException reqEx) {RequiresException.throwIt(RequiresException.SW_REQUIRES_ERROR);}private void checkPre$adicionarLocal$Usuario( byte codigo_local)throws RequiresException{if(!(codigo_local >= 0 ))RequiresException.throwIt(RequiresException.SW_REQUIRES_ERROR);}public void removerLocal ( byte codigo_local) throws ISOException {try{checkInv$Usuario$();checkPre$removerLocal$Usuario( codigo_local) ;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 -- ;