Method getString

src/api/java/Expr.java:1316–1319

Retrieve string corresponding to string constant. Remark: the expression should be a string constant, (isString() should return true). @throws Z3Exception on error @return a string

()

     * @return a string
     */
    public String getString()
    {
	return Native.getString(getContext().nCtx(), getNativeObject());
    }

    /**
     * TBD: sketch for #2522, 'Pointer' seems deprecated and instead