I solve the problem by getting the field as a String and implementing
a simple parser for the result.
All the ways I test the choice of cast the field as a int8[] and get
this exception:
java.sql.SQLException: ERROR: cannot cast type oidvector to bigint[]
at org.postgresql.core.v3.QueryExecutorImpl.receiveErrorResponse(QueryExecutorImpl.java:1482)
at org.postgresql.core.v3.QueryExecutorImpl.processResults(QueryExecutorImpl.java:1267)
at org.postgresql.core.v3.QueryExecutorImpl.execute(QueryExecutorImpl.java:186)
at org.postgresql.jdbc2.AbstractJdbc2Statement.execute(AbstractJdbc2Statement.java:392)
at org.postgresql.jdbc2.AbstractJdbc2Statement.executeWithFlags(AbstractJdbc2Statement.java:314)
at org.postgresql.jdbc2.AbstractJdbc2Statement.executeQuery(AbstractJdbc2Statement.java:221)
at pgObjects.PgServer.executeQuery(PgServer.java:372)
at pgObjects.PgDatabase.loadFunctionsFromDatabase(PgDatabase.java:864)
at test.Test.showFunctions(Test.java:134)
at test.Test.main(Test.java:166)
Thanks a lot for all of you,
Takeichi.