[Clang] add full_expr_get_sub_expr

Author: bongjunj

src/clang.ml

@@ -542,6 +542,15 @@ and StmtExpr : (Sig.STMT_EXPR with type t = Stmt.t) = struct
   let pp fmt s = F.fprintf fmt "(%a)" Stmt.pp (get_sub_stmt s)
 end
 
+(** https://clang.llvm.org/doxygen/classclang_1_1FullExpr.html *)
+and FullExpr : (Sig.FULL_EXPR with type t = Stmt.t) = struct
+  include Expr
+
+  external get_sub_expr : t -> t = "clang_full_expr_get_sub_expr"
+
+  let pp fmt s = F.fprintf fmt "(%a)" Stmt.pp (get_sub_expr s)
+end
+
 and StringLiteral : (Sig.STRING_LITERAL with type t = Stmt.t) = struct
   include Expr
 

src/clang_ocaml.cpp

@@ -470,6 +470,8 @@ WRAPPER_PTR(clang_constant_expr_get_sub_expr, Stmt, ConstantExpr, Expr,
 WRAPPER_PTR(clang_stmt_expr_get_sub_stmt, Stmt, StmtExpr, CompoundStmt,
             getSubStmt)
 
+WRAPPER_PTR(clang_full_expr_get_sub_expr, Expr, FullExpr, Expr, getSubExpr)
+
 WRAPPER_INT(clang_cast_expr_get_kind, CastExpr, getCastKind)
 
 WRAPPER_INT(clang_cast_expr_get_kind_enum, CastExpr, getCastKind)

src/sig.ml

@@ -267,6 +267,12 @@ module type STMT_EXPR = sig
   val get_sub_stmt : t -> t
 end
 
+module type FULL_EXPR = sig
+  include EXPR
+
+  val get_sub_expr : t -> t
+end
+
 module type STRING_LITERAL = sig
   include EXPR