Add support for inline parameters as CommandFragments.

An inline parameter is one that directly carries a DbType and value, instead of
indexing into the command's parameter array.

Author: rspeele

src/Rezoom.SQL.Compiler/BackendUtilities.fs

@@ -4,8 +4,6 @@ open System.Configuration
 open System.Data
 open System.Data.Common
 open System.Text
-open System.Globalization
-open System.Collections.Generic
 open Rezoom.SQL.Mapping
 open Rezoom.SQL.Migrations
 open Rezoom.SQL.Compiler
@@ -29,6 +27,7 @@ let simplifyFragments (fragments : Fragments) =
             | Indent
             | Outdent
             | Parameter _
+            | InlineParameter _
             | LocalName _ ->
                 if builder.Length > 0 then
                     yield CommandText <| builder.ToString()

src/Rezoom.SQL.Mapping/CommandBatch.fs

@@ -20,6 +20,7 @@ type private CommandBatchBuilder(conn : DbConnection, tran : DbTransaction) =
     static let terminator i = ";--'*/;SELECT NULL AS " + terminatorColumn i
     static let parameterName i = "@RZSQL_" + string i
     static let parameterNameArray i j = "@RZSQL_" + string i + "_" + string j
+    static let dynamicParameterName i = "@RZSQL_INLINE_" + string i
     static let localName i name = "RZSQL_" + name + "_" + string i
     let commands = ResizeArray<Command>()
     let mutable parameterCount = 0
@@ -56,6 +57,10 @@ type private CommandBatchBuilder(conn : DbConnection, tran : DbTransaction) =
                             }
                         "(" + String.concat "," parNames + ")"
                     | ScalarParameter _ -> parameterName (parameterOffset + i)
+                | InlineParameter (dbType, value) ->
+                    let name = dynamicParameterName dbCommand.Parameters.Count
+                    addParam name dbType value
+                    name
                 | Indent | Outdent -> ""
                 | Whitespace -> " "
                 | LineBreak -> "\n"

src/Rezoom.SQL.Mapping/CommandParts.fs

@@ -13,6 +13,8 @@ type CommandFragment =
     | CommandText of string
     /// References parameter by index.
     | Parameter of int
+    /// Directly specifies parameter value.
+    | InlineParameter of DbType * obj
     /// At least one unit of whitespace.
     | Whitespace
     /// Whitespace, preferably a line break.
@@ -33,6 +35,7 @@ type CommandFragment =
                     | CommandText text -> Some text
                     | Whitespace -> Some " "
                     | Parameter i -> Some ("@P" + string i)
+                    | InlineParameter (_, p) -> Some ("@{" + string p + "}")
                     | LineBreak ->
                         pendingLine <- true
                         None