Hi, When I make use of JBoss AOP DBC feature, I found that the feature not provide the following functionality: DBC can not record the object's state, So the postcondition can not validate the state transition, like Contract4J's feature: $this.count==$old($this.count)+1. I want to know whether the next release would provide this feature or not? Thanks!
View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3948285#3948285 Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=3948285 ------------------------------------------------------- All the advantages of Linux Managed Hosting--Without the Cost and Risk! Fully trained technicians. The highest number of Red Hat certifications in the hosting industry. Fanatical Support. Click to learn more http://sel.as-us.falkag.net/sel?cmd=lnk&kid=107521&bid=248729&dat=121642 _______________________________________________ JBoss-user mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jboss-user
