Method getLineNumber

src/main/java/pascal/taie/ir/stmt/Stmt.java:50–50

@return the line number of this Stmt in the original source file. If the line number is unavailable, return -1.

()

     * If the line number is unavailable, return -1.
     */
    int getLineNumber();

    void setLineNumber(int lineNumber);