敲响OO时代的丧钟！——DJ对于数据持久化的支持(3)

你这里的方法同前面的datatype是什么关系?

datatype，是一个语言的数据类型定义的语法呀。

方法，就是操作各种数据类型的方法呀。

方法必须归属于一个datatype？
或者他们只通过方法参数关联？

一个方法定义，包含接受参数与返回参数两个部分。

这两种数据，都可以是普通的java类型，或者是使用DJ的datatype语法定义的数据类型。

赫赫，老庄逗我玩？答非说问  
我的问题是方法同datatype之间的关系，不是他们
是什么，也不是方法的参数是什么。
明白？

这种把 test case 等 放置在类里面 的方式。有些特点。不错的想法。
如果几个类的 test case的某些code需要重用呢？

test case 可以调用其他函数的呀。

DJ中的方法，与java中的方法，有一个最大的不同，就是他的校验机制。

除了check与test部分的校验之外，即使是没有check/test的方法，也有校验机制。

方法的返回类型自然是要符合datatype校验机制的。

方法的输入参数，如果在方法内部被修改了的，也必须符合原来的datatype校验定义。

这就是方法与datatype定义的关系。

不知道你想要知道的关系，是不是这个？

赫赫，这种模仿硬件，渴望把类型作为自测试的构件，固然可以理解。
但是类型同依赖它的测试稳定度并不一致，因为针对特定类型理论上可有多个测试。
实际上，随着开发的进行以及BUG的反馈还有可能增加新的测试，但是被测试的对象始终只有一个。这也是需要将发布产品的包同测试产品的包分开的原因。
一句话，两者的稳定程度不同，决定把他们放在一起是不恰当的。

也就是说一个方法不必归属于一个datatype?两者是多对多的关系而不是包含关系？