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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CAPÍTULO 3. JML - JAVA MODELING LANGUAGE 5001 /*@ requires weight + kgs >= 0;02 @ ensures kgs >= 003 @ && weight == \old(weight + kgs);04 @ assignable weight;05 @ signals_only IllegalArgumentException;06 @ signals (IllegalArgumentException)07 @ kgs < 0;08 @*/09 public void addKgs(int kgs);Figura 3.8: Exemplo de Cláusula Assignable.01 (\sum int a; 0