AbstractStringBuilder spec is not OS-neutral

[atiti]

On 22 Oct 2010, at 14:36, Vladimir Klebanov wrote:

Hi Joe,

On Tue, Oct 19, 2010 at 2:55 PM, Joseph Kiniry [email protected] wrote:
I just tried this example in my Eclipse and I see no error. Appended is my log. I tried with JDK 1.4 and 1.5 specs.
I am running in Eclipse 3.5 on Apple's Java 1.5 VM. What is your config?

We use openJDK-1.6.0 on Linux and Eclipse 3.6. Is it possible that
Apple has the static final int[] sizeTable; in their version of
AbstractStringBuilder (for whatever reason)?

We also have a different issue concerning CVC3, which I'll send you in
a separate email.

This class has bit us twice before. What a PITA.

https://mobius.ucd.ie/trac/ticket/464
https://mobius.ucd.ie/trac/ticket/690

The Apple VM does indeed have this field:

javap java.lang.AbstractStringBuilder | grep sizeTable
static final int[] sizeTable;

We'll have to revise the specs to eliminate this system bias.

Joe