Method isFunctional

src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java:61–63

An object is functional means that it can hold fields (or array indexes). @return true if this is a function Obj.

()

     * @return {@code true} if this is a function {@link Obj}.
     */
    public boolean isFunctional() {
        return true;
    }

    /**
     * @return the type of the object.