Spring Design by Contract: Where to Start?

Question

I am trying to put a "Contract" on a method call. My web application is in Spring 3.

Write custom annotations the right way. If so, then any pointers (I didn't find anything in the Spring help docs).

Should I use tools like Modern Jass, JML ...? Again, any pointers would be helpful.

thank

Answer 1

Modern Jass-based Java contracts are one way to contract.

http://code.google.com/p/cofoja/

According to the writing of this answer, it is quite simple. Hope this improves as we continue.

Answer 2

Spring EL Spring security . Spring security @PreAuthorize, < Spring 3, :

@PreAuthorize("#customerId > 0")
public Customer getCustomer(int customerId) { .. }

, , , ADMIN.

@PreAuthorize("#user.role != T(com.company.Role).ADMIN)")
public void saveUser(User user) { .. }

@Value

public Customer getCustomer(@Value("#{434}") int customerId) { .. }

.

Spring , UserDetailsService, . Spring, SpelExpressionParser .

Answer 3

- Java Groovy ( Spring) GContracts.

GContracts Design by Contract (tm), Java, - , , - .

Answer 4

, , Spring ( 2.0 ):

http://jira.springframework.org/browse/SPR-2698

, JSR 303 bean. AFAIK :

• Agimatec
• Hibernate Validator

Spring, , :

http://blog.jteam.nl/2009/08/04/bean-validation-integrating-jsr-303-with-spring/

Answer 5

C4J :

• Eclipse, .
• , .

C4J