- 274 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 22:23:57 ]
- >>267
現状と比べて、ソースがXMLになるという意味が分からんね。
ソースやコメント記法自体は変わらんわけだし、そこからの
ドキュメント生成ってのもなにか目新しい話じゃないし…？
>>268
indexとitemsの間に成り立つ条件のはずが
indexの条件になっちゃってることに違和感が
void nonNull(T)(T o){ assert(o is null); } /// Contract: $(B $0) は null でない
Class get(Class[] items, size_t index)
in(items) : nonNull
in(index, items){
assert(index < items.length);
} /// Contract: $(B $0) は $(B $1).length より小さい
out(o) : nonNull
out(items){ ...itemsに関わる条件... } /// ...Contractセクション...
body{ return items[index]; }
とかそんな感じの方が好みだなあ。
|
 |
