Problem in specification.

On formal definitions spec we found these lines:

reply ::= r x01 x00 header* object z
       ::= r x01 x00 fault z

fault ::= f (object object)*

But in your java implementation the fault contains an trailing "z" too.

One of them is wrong. I think that is the spec.

Then the spec of "fault" will be rewritten to.

fault ::= f (object object)* z
Received on Sun 02 Apr 2006 18:14:59 -0700