add generation of get_xxx with DB_id as argument

totoro
1 parent 80c9c10d
Showing 1 changed file with 13 additions and 1 deletions Show diff stats
src/generation/types.anubis
@@ -285,7 +285,19 @@ public define Maybe(One)
      "    SQLite3DataBase  db,\n"+
      "    Int              idx\n"+
      "  )=\n"+
-     "  get_"+name+"(db, to_decimal(idx))."      
+     "  get_"+name+"(db, to_decimal(idx)).\n\n"+
+     "public define Maybe("+type_name+")\n"+
+     "  get_"+name+"\n"+
+     "  (\n"+
+     "    SQLite3DataBase  db,\n"+
+     "    DB_id            idx\n"+
+     "  )=\n"+
+     "  if idx is\n"+
+     "  {\n"+
+     "    none        then failure,\n"+
+     "    db_id(_idx) then get_"+name+"(db, to_decimal(_idx))\n"+
+     "  }"+
+     ".\n\n"
      ) is                                                           //end of the function
   {
     failure     then  println("can't write generate_get_one "+type_name); failure,