Re: Problem in specification.

On Apr 2, 2006, at 6:14 PM, Carlos Alberto Costa Beppler wrote:

> 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.

Thanks.

-- Scott

>
> 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 Mon 03 Apr 2006 09:07:50 -0700