Method getTypeOf

src/main/java/pascal/taie/frontend/soot/VarManager.java:151–153

Shortcut: obtains Jimple Value's Type and convert to Tai-e Type.

(Value value)

     * Shortcut: obtains Jimple Value's Type and convert to Tai-e Type.
     */
    private Type getTypeOf(Value value) {
        return converter.convertType(value.getType());
    }
}