Method getAccessorDecls

src/api/java/Constructor.java:77–87

The function declarations of the accessors @throws Z3Exception @throws Z3Exception on error

()

     * @throws Z3Exception on error
     **/
    public FuncDecl<?>[] getAccessorDecls()
    {
        Native.LongPtr constructor = new Native.LongPtr();
        Native.LongPtr tester = new Native.LongPtr();
        long[] accessors = new long[n];
        Native.queryConstructor(getContext().nCtx(), getNativeObject(), n, constructor, tester, accessors);
        FuncDecl<?>[] t = new FuncDecl[n];
        for (int i = 0; i < n; i++)
            t[i] = new FuncDecl<>(getContext(), accessors[i]);
        return t;
    }

    @Override
    void incRef() {