// ------------------------------------------------------------------- // // sqlite3_read.fs // // Feb/08/2016 // // ------------------------------------------------------------------- open System open System.Data open Mono.Data.Sqlite // ------------------------------------------------------------------- [] let main (args : string[] ) = printfn "*** 開始 ***" let file_sqlite3 = args.[0] Console.WriteLine ("file_sqlite3 = " + file_sqlite3) let string_connect = "Data Source = " + file_sqlite3 + ";UTF8Encoding=True;Version=3" let conn = new SqliteConnection (string_connect) conn.Open() let cmd = new SqliteCommand( "SELECT * FROM cities", conn ) let reader = cmd.ExecuteReader() while reader.Read() do System.Console.Write (reader.GetString 0 ) System.Console.Write ("\t") System.Console.Write (reader.GetString 1 ) System.Console.Write ("\t") System.Console.Write (reader.GetInt32 2 ) System.Console.Write ("\t") System.Console.WriteLine (reader.GetString 3 ) done reader.Close() printfn "*** 終了 ***" 0 // -------------------------------------------------------------------