search

nhatminhle / cofoja

Contracts for Java
GNU Lesser General Public License v3.0
151 stars 18 forks source link

Why not direct code in java #32

Closed nhatminhle closed 10 years ago

nhatminhle commented 10 years ago

From saintof...@gmail.com on August 05, 2011 07:04:24

I agree contract for simple case. But for some complicated case, why not annotation redirected a java static code?

Original issue: http://code.google.com/p/cofoja/issues/detail?id=30

nhatminhle commented 10 years ago

From leochat...@gmail.com on August 07, 2011 11:29:56

Hi, sorry, I don't think I got your point. Can you explain this better? Cheers

nhatminhle commented 10 years ago

From alexl...@gmail.com on August 13, 2011 09:16:20

I assume he means that contracts could be extracted to static method.

something like

@Requires("mycontracts.Contracts.complicatedCheck(a)")

and then

in class mycontracts.Contracts

public static boolean complicatedCheck(String a) { return ... }

nhatminhle commented 10 years ago

From nhat.min...@gmail.com on August 16, 2014 03:28:59

Status: Invalid