Re: DatabaseMetaData.getExtraNameCharacters

Il giorno mer, 25-05-2005 alle 13:25 -0500, Kris Jurka ha scritto:
[...]
> ident_start             [A-Za-z\200-\377_]
> ident_cont              [A-Za-z\200-\377_0-9\$]
> identifier              {ident_start}{ident_cont}*
>
> So \200-\377 is octal for any character with the high bit set.  The list
> of what characters this could map to numbers in the tens of thousands for
> unicode, so it's not really feasibly to return in this method.
[...]

Thanks again Kris,
if I understand correclty, the valid charset is the one computed by the
attached class. It seems to me that this is 191 characters long.
Could you please let me know where I am wrong?

Giuseppe
class pgchars {
    public pgchars() {}
    static public void main(String[] args) {
        String x="ABCDEFGHIJKLMNOPQRSTUVWXYZ";

        x += x.toLowerCase();
        x += "0123456789";

        for (int i=2*8*8; i < 3*8*8+7*8+7; i++) {
            char[] c = { (char)i };
            x += new String(c);
        }

        x += "_$";

        System.out.println("final string size: " + x.length());
    }
}