コード例 #1
0
ファイル: c_interface.cpp プロジェクト: columbia/woodpecker 
/* C pointer support: C interface to support C memory arrays in CVCL */
Expr vc_bvCreateMemoryArray(VC vc, char * arrayName) {
  Type bv8  = vc_bvType(vc,8);
  Type bv32 = vc_bvType(vc,32);
  
  Type malloced_mem0 = vc_arrayType(vc,bv32,bv8);
  return vc_varExpr(vc, arrayName, malloced_mem0);
}
コード例 #2
0
ファイル: cvcl_ocaml_wrappers.c プロジェクト: spl/ivy 
// Create an array type
value caml_vc_arrayType(value vc, value it, value dt)
{
  CAMLparam3(vc,it,dt);
  CAMLreturn(alloc_Type(vc_arrayType(VC_val(vc),Type_val(it),Type_val(dt))));
}