Method toString

src/main/java/pascal/taie/analysis/pta/core/heap/NewObj.java:65–70

()

    }

    @Override
    public String toString() {
        return String.format("NewObj{%s[%d@L%d] %s}",
                allocSite.getContainer(), allocSite.getIndex(),
                allocSite.getLineNumber(), allocSite.getRValue());
    }
}