|
Lines 6377-6383
Link Here
|
| 6377 |
String[] expected= new String[1]; |
6377 |
String[] expected= new String[1]; |
| 6378 |
buf= new StringBuffer(); |
6378 |
buf= new StringBuffer(); |
| 6379 |
buf.append("package e;\n"); |
6379 |
buf.append("package e;\n"); |
| 6380 |
buf.append("@Requires1(value=\"\")\n"); |
6380 |
buf.append("@Requires1(value = \"\")\n"); |
| 6381 |
buf.append("@interface Requires1 {\n"); |
6381 |
buf.append("@interface Requires1 {\n"); |
| 6382 |
buf.append(" String value();\n"); |
6382 |
buf.append(" String value();\n"); |
| 6383 |
buf.append("}\n"); |
6383 |
buf.append("}\n"); |
