|
精华帖 (0) :: 良好帖 (0) :: 新手帖 (0) :: 隐藏帖 (0)
|
|
|---|---|
| 作者 | 正文 |
|
发表时间：2005-07-20
partech 写道 庄表伟 写道 DJ中的方法，与java中的方法，有一个最大的不同，就是他的校验机制。 除了check与test部分的校验之外，即使是没有check/test的方法，也有校验机制。 方法的返回类型自然是要符合datatype校验机制的。 方法的输入参数，如果在方法内部被修改了的，也必须符合原来的datatype校验定义。 这就是方法与datatype定义的关系。 不知道你想要知道的关系，是不是这个？ 也就是说一个方法不必归属于一个datatype?两者是多对多的关系而不是包含关系？ 是啊，你似乎在担心什么呀？ |
| 返回顶楼 | |
|
发表时间：2005-07-20
那么我如何方便的知道某个datatype被那些方法操作？
|
| 返回顶楼 | |
|
发表时间：2005-07-20
partech 写道 那么我如何方便的知道某个datatype被那些方法操作？
呵呵，在datatype和方法之后，我这个DJ还有其它的一些概念要介绍出来： channel{ } dclass{ } channel定义一组操作相同datatype的方法集。 dclass定义一个特定的datatype与channel集的绑定关系。 一步一步的来吧，我会尽快写出来的。 |
| 返回顶楼 | |
|
发表时间：2005-07-25
一种新的语言(5)
http://spaces.msn.com/members/zbw25/Blog/cns!1pA6-3FOo9yNp_4lmEHxdDqA!327.entry |
| 返回顶楼 | |
|
发表时间：2005-07-26
老庄，如此发展下去，你的关键字会不会太多了？呵
|
| 返回顶楼 | |
|
发表时间：2005-07-26
channel ExtendUserChannel<channel UserChannel ucr>{
public boolean isYoung();{
return uc.getAge();<30;
}
public boolean isOld();{
return uc.getAge();>60;
}
}
上面是ucr，下面是uc，是不是笔误？ |
| 返回顶楼 | |
|
发表时间：2005-07-26
magicgod 写道 channel ExtendUserChannel<channel UserChannel ucr>{
public boolean isYoung();{
return uc.getAge();<30;
}
public boolean isOld();{
return uc.getAge();>60;
}
}
上面是ucr，下面是uc，是不是笔误？ 应该是uc  ，谢谢指正。
|
| 返回顶楼 | |
|
发表时间：2005-07-26
一种新的语言(6)
http://spaces.msn.com/members/zbw25/Blog/cns!1pA6-3FOo9yNp_4lmEHxdDqA!339.entry |
| 返回顶楼 | |
|
发表时间：2005-07-27
1.contract（interface）如何测试阿？
2.在各个层次上都包含了测试，可以看出你对测试的关注。可是对于一个包含了N个contract的chanel,你的测试如何知道该实例化那个满足contract的chanel？ 总之，将测试放入被测试的单元中的一个主要问题就是，测试的稳定程度比被测试的单元低，将它们放在一起，整个程序最后可能就只能放在一个包中了。因为 相互引用的情况会随处可见。 |
| 返回顶楼 | |
|
发表时间：2005-07-27
测试和代码绑在了一起，难道要把测试的代码一起release吗？感觉不爽.
另外，何不学Eiffel，来一个前条件，一个后条件，这样更严谨。 |
| 返回顶楼 | |
