1. An Aspect-Oriented Infrastructure for Design by Contract in Java Sérgio Agostinho  sagostinho@viatecla.pt www.viatecla.com 13Jan08  ViaTecla Software Ou mais uma Tese de Mestrado

4. A programação orientada por aspectos pode ser usada para implementar a verificação de desenho por contrato numa linguagem sem suporte nativo para o mesmo (Java). Tese

6. Classe Stack: Invariante: count() >= 0 Método pop(): Pré-condição: count() > 0 Pós-condição: new.count() = old.count() - 1 Método push(): Pós-condição: new.count() = old.count() + 1 Desenho por Contrato

8. /** * Pointcut que captura as execuções de métodos não privados nem estáticos. */ pointcut nonStaticMethodExecution(Object object): target (object) && execution (!private !static * *.*(..)); /** * Pointcut que captura a execução de métodos dentro de packages J2SE. */ pointcut systemPackageExecution(): execution (java.* *(..)) || execution (javax.* *(..)); /** * Pointcut que captura as chamadas de simpleGet* em packages ViaTecla. */ pointcut simpleGetInsideViaTeclaCode(Object object): target (object) && withincode (com.viatecla.*) && call (public String *.simpleGet*(..)); Programação Orientada a Aspectos

11. class Stack<T> { boolean invariant() { return count() >= 0; } boolean prePush() { remember(); return true; } void push(T item) { ... } boolean postPush(T item) { Stack old = (Stack) old(); return this.count() == old.count() + 1; } boolean prePop() { remember(); return count() > 0; } T pop() { ... } boolean postPop() { Stack old = (Stack) old(); return this.count() == old.count() - 1; } int count() { ... } } Protótipo

16. www.viatecla.pt | (+351) 212 723 500 Obrigado pela vossa atenção!