- 修复 Xugu 表达式树函数有关解析;

This commit is contained in:
2881099 2023-10-27 21:25:08 +08:00
parent 98c761ee77
commit 7c74b0e5be

View File

@ -33,22 +33,25 @@ namespace FreeSql.Xugu
{ {
switch (exp.Type.NullableTypeOrThis().ToString()) switch (exp.Type.NullableTypeOrThis().ToString())
{ {
case "System.Boolean": return $"(({getExp(operandExp)})::varchar not in ('0','false','f','no'))"; case "System.Boolean": return $"(cast({getExp(operandExp)} as varchar) not in ('0','false'))";
case "System.Byte": return $"({getExp(operandExp)})::int2"; case "System.Byte": return $"cast({getExp(operandExp)} as tinyint)";
case "System.Char": return $"substr(({getExp(operandExp)})::char, 1, 1)"; case "System.Char": return $"substring(cast({getExp(operandExp)} as varchar),1,1)";
case "System.DateTime": return ExpressionConstDateTime(operandExp) ?? $"({getExp(operandExp)})::timestamp"; case "System.DateTime": return ExpressionConstDateTime(operandExp) ?? $"cast({getExp(operandExp)} as datetime)";
case "System.Decimal": return $"({getExp(operandExp)})::numeric"; case "System.Decimal": return $"cast({getExp(operandExp)} as numeric(36,18))";
case "System.Double": return $"({getExp(operandExp)})::float8"; case "System.Double": return $"cast({getExp(operandExp)} as numeric(32,16))";
case "System.Int16": return $"({getExp(operandExp)})::int2"; case "System.Int16": return $"cast({getExp(operandExp)} as smallint)";
case "System.Int32": return $"({getExp(operandExp)})::int4"; case "System.Int32": return $"cast({getExp(operandExp)} as int)";
case "System.Int64": return $"({getExp(operandExp)})::int8"; case "System.Int64": return $"cast({getExp(operandExp)} as bigint)";
case "System.SByte": return $"({getExp(operandExp)})::int2"; case "System.SByte": return $"cast({getExp(operandExp)} as tinyint)";
case "System.Single": return $"({getExp(operandExp)})::float4"; case "System.Single": return $"cast({getExp(operandExp)} as numeric(14,7))";
case "System.String": return $"({getExp(operandExp)})::text"; case "System.String":
case "System.UInt16": return $"({getExp(operandExp)})::int2"; return gentype == typeof(Guid) ?
case "System.UInt32": return $"({getExp(operandExp)})::int4"; $"cast({getExp(operandExp)} as char(36))" :
case "System.UInt64": return $"({getExp(operandExp)})::int8"; $"cast({getExp(operandExp)} as {(gentype.IsNumberType() || gentype.IsEnum ? "varchar(100)" : "text")})";
case "System.Guid": return $"({getExp(operandExp)})::uuid"; case "System.UInt16": return $"cast({getExp(operandExp)} as smallint)";
case "System.UInt32": return $"cast({getExp(operandExp)} as int)";
case "System.UInt64": return $"cast({getExp(operandExp)} as numeric(20,0))";
case "System.Guid": return $"cast({getExp(operandExp)} as char(36))";
} }
} }
break; break;
@ -61,27 +64,27 @@ namespace FreeSql.Xugu
case "TryParse": case "TryParse":
switch (callExp.Method.DeclaringType.NullableTypeOrThis().ToString()) switch (callExp.Method.DeclaringType.NullableTypeOrThis().ToString())
{ {
case "System.Boolean": return $"(({getExp(callExp.Arguments[0])})::varchar not in ('0','false','f','no'))"; case "System.Boolean": return $"(cast({getExp(callExp.Arguments[0])} as varchar) not in ('0','false'))";
case "System.Byte": return $"({getExp(callExp.Arguments[0])})::int2"; case "System.Byte": return $"cast({getExp(callExp.Arguments[0])} as tinyint)";
case "System.Char": return $"substr(({getExp(callExp.Arguments[0])})::char, 1, 1)"; case "System.Char": return $"substring(cast({getExp(callExp.Arguments[0])} as varchar),1,1)";
case "System.DateTime": return ExpressionConstDateTime(callExp.Arguments[0]) ?? $"({getExp(callExp.Arguments[0])})::timestamp"; case "System.DateTime": return ExpressionConstDateTime(callExp.Arguments[0]) ?? $"cast({getExp(callExp.Arguments[0])} as datetime)";
case "System.Decimal": return $"({getExp(callExp.Arguments[0])})::numeric"; case "System.Decimal": return $"cast({getExp(callExp.Arguments[0])} as numeric(36,18))";
case "System.Double": return $"({getExp(callExp.Arguments[0])})::float8"; case "System.Double": return $"cast({getExp(callExp.Arguments[0])} as numeric(32,16))";
case "System.Int16": return $"({getExp(callExp.Arguments[0])})::int2"; case "System.Int16": return $"cast({getExp(callExp.Arguments[0])} as smallint)";
case "System.Int32": return $"({getExp(callExp.Arguments[0])})::int4"; case "System.Int32": return $"cast({getExp(callExp.Arguments[0])} as int)";
case "System.Int64": return $"({getExp(callExp.Arguments[0])})::int8"; case "System.Int64": return $"cast({getExp(callExp.Arguments[0])} as bigint)";
case "System.SByte": return $"({getExp(callExp.Arguments[0])})::int2"; case "System.SByte": return $"cast({getExp(callExp.Arguments[0])} as tinyint)";
case "System.Single": return $"({getExp(callExp.Arguments[0])})::float4"; case "System.Single": return $"cast({getExp(callExp.Arguments[0])} as numeric(14,7))";
case "System.UInt16": return $"({getExp(callExp.Arguments[0])})::int2"; case "System.UInt16": return $"cast({getExp(callExp.Arguments[0])} as smallint)";
case "System.UInt32": return $"({getExp(callExp.Arguments[0])})::int4"; case "System.UInt32": return $"cast({getExp(callExp.Arguments[0])} as int)";
case "System.UInt64": return $"({getExp(callExp.Arguments[0])})::int8"; case "System.UInt64": return $"cast({getExp(callExp.Arguments[0])} as numeric(20,0))";
case "System.Guid": return $"({getExp(callExp.Arguments[0])})::uuid"; case "System.Guid": return $"cast({getExp(callExp.Arguments[0])} as char(36))";
} }
break; break;
case "NewGuid": case "NewGuid":
return null; return null;
case "Next": case "Next":
if (callExp.Object?.Type == typeof(Random)) return "(random()*1000000000)::int4"; if (callExp.Object?.Type == typeof(Random)) return "cast(random()*1000000000 as int)";
return null; return null;
case "NextDouble": case "NextDouble":
if (callExp.Object?.Type == typeof(Random)) return "random()"; if (callExp.Object?.Type == typeof(Random)) return "random()";
@ -100,7 +103,7 @@ namespace FreeSql.Xugu
tsc.SetMapColumnTmp(null).SetMapTypeReturnOld(oldMapType); tsc.SetMapColumnTmp(null).SetMapTypeReturnOld(oldMapType);
return enumStr; return enumStr;
} }
return callExp.Arguments.Count == 0 ? $"({getExp(callExp.Object)})::text" : null; return callExp.Arguments.Count == 0 ? $"cast({getExp(callExp.Object)} as text)" : null;
} }
return null; return null;
} }
@ -129,97 +132,21 @@ namespace FreeSql.Xugu
if (objType == null) objType = callExp.Method.DeclaringType; if (objType == null) objType = callExp.Method.DeclaringType;
if (objType != null || objType.IsArrayOrList()) if (objType != null || objType.IsArrayOrList())
{ {
string left = null; if (argIndex >= callExp.Arguments.Count) break;
switch (objType.FullName)
{
case "Newtonsoft.Json.Linq.JToken":
case "Newtonsoft.Json.Linq.JObject":
case "Newtonsoft.Json.Linq.JArray":
left = objExp == null ? null : getExp(objExp);
switch (callExp.Method.Name)
{
case "get_Item": return $"{left}->{getExp(callExp.Arguments[argIndex])}";
case "Any": return $"(jsonb_array_length(coalesce({left},'[]')) > 0)";
case "Contains":
var json = getExp(callExp.Arguments[argIndex]);
if (objType == typeof(JArray))
return $"(coalesce({left},'[]') ? ({json})::text)";
if (json.StartsWith("'") && json.EndsWith("'"))
return $"(coalesce({left},'{{}}') @> {_common.FormatSql("{0}", JToken.Parse(json.Trim('\'')))})";
return $"(coalesce({left},'{{}}') @> ({json})::jsonb)";
case "ContainsKey": return $"(coalesce({left},'{{}}') ? {getExp(callExp.Arguments[argIndex])})";
case "Concat":
var right2 = getExp(callExp.Arguments[argIndex]);
return $"(coalesce({left},'{{}}') || {right2})";
case "LongCount":
case "Count": return $"jsonb_array_length(coalesce({left},'[]'))";
case "Parse":
var json2 = getExp(callExp.Arguments[argIndex]);
if (json2.StartsWith("'") && json2.EndsWith("'")) return _common.FormatSql("{0}", JToken.Parse(json2.Trim('\'')));
return $"({json2})::jsonb";
}
break;
}
if (objType == typeof(Dictionary<string, string>))
{
left = objExp == null ? null : getExp(objExp);
switch (callExp.Method.Name)
{
case "get_Item": return $"{left}->{getExp(callExp.Arguments[argIndex])}";
case "Contains":
var right = getExp(callExp.Arguments[argIndex]);
return $"({left} @> ({right}))";
case "ContainsKey": return $"({left} ? {getExp(callExp.Arguments[argIndex])})";
case "Concat": return $"({left} || {getExp(callExp.Arguments[argIndex])})";
case "GetLength":
case "GetLongLength":
case "Count": return $"case when {left} is null then 0 else array_length(akeys({left}),1) end";
case "Keys": return $"akeys({left})";
case "Values": return $"avals({left})";
}
}
switch (callExp.Method.Name)
{
case "Any":
left = objExp == null ? null : getExp(objExp);
if (left.StartsWith("(") || left.EndsWith(")")) left = $"array[{left.TrimStart('(').TrimEnd(')')}]";
return $"(case when {left} is null then 0 else array_length({left},1) end > 0)";
case "Contains":
tsc.SetMapColumnTmp(null); tsc.SetMapColumnTmp(null);
var args1 = getExp(callExp.Arguments[argIndex]); var args1 = getExp(callExp.Arguments[argIndex]);
var oldMapType = tsc.SetMapTypeReturnOld(tsc.mapTypeTmp); var oldMapType = tsc.SetMapTypeReturnOld(tsc.mapTypeTmp);
var oldDbParams = objExp?.NodeType == ExpressionType.MemberAccess ? tsc.SetDbParamsReturnOld(null) : null; //#900 UseGenerateCommandParameterWithLambda(true) 子查询 bug、以及 #1173 参数化 bug var oldDbParams = objExp?.NodeType == ExpressionType.MemberAccess ? tsc.SetDbParamsReturnOld(null) : null; //#900 UseGenerateCommandParameterWithLambda(true) 子查询 bug、以及 #1173 参数化 bug
tsc.isNotSetMapColumnTmp = true; tsc.isNotSetMapColumnTmp = true;
left = objExp == null ? null : getExp(objExp); var left = objExp == null ? null : getExp(objExp);
tsc.isNotSetMapColumnTmp = false; tsc.isNotSetMapColumnTmp = false;
tsc.SetMapColumnTmp(null).SetMapTypeReturnOld(oldMapType); tsc.SetMapColumnTmp(null).SetMapTypeReturnOld(oldMapType);
if (oldDbParams != null) tsc.SetDbParamsReturnOld(oldDbParams); if (oldDbParams != null) tsc.SetDbParamsReturnOld(oldDbParams);
//判断 in 或 array @> array switch (callExp.Method.Name)
if (left.StartsWith("array[") || left.EndsWith("]"))
return $"({args1}) in ({left.Substring(6, left.Length - 7)})";
if (left.StartsWith("(") || left.EndsWith(")")) //在各大 Provider AdoProvider 中已约定500元素分割, 3空格\r\n4空格
return $"(({args1}) in {left.Replace(", \r\n \r\n", $") \r\n OR ({args1}) in (")})";
if (args1.StartsWith("(") || args1.EndsWith(")")) args1 = $"array[{args1.TrimStart('(').TrimEnd(')')}]";
args1 = $"array[{args1}]";
if (objExp != null)
{ {
var dbinfo = _common._orm.CodeFirst.GetDbInfo(objExp.Type); case "Contains":
if (dbinfo != null) args1 = $"{args1}::{dbinfo.dbtype}"; //判断 in //在各大 Provider AdoProvider 中已约定500元素分割, 3空格\r\n4空格
} return $"(({args1}) in {left.Replace(", \r\n \r\n", $") \r\n OR ({args1}) in (")})";
return $"({left} @> {args1})";
case "Concat":
left = objExp == null ? null : getExp(objExp);
if (left.StartsWith("(") || left.EndsWith(")")) left = $"array[{left.TrimStart('(').TrimEnd(')')}]";
var right2 = getExp(callExp.Arguments[argIndex]);
if (right2.StartsWith("(") || right2.EndsWith(")")) right2 = $"array[{right2.TrimStart('(').TrimEnd(')')}]";
return $"({left} || {right2})";
case "GetLength":
case "GetLongLength":
case "Length":
case "Count":
left = objExp == null ? null : getExp(objExp);
if (left.StartsWith("(") || left.EndsWith(")")) left = $"array[{left.TrimStart('(').TrimEnd(')')}]";
return $"case when {left} is null then 0 else array_length({left},1) end";
} }
} }
break; break;
@ -324,27 +251,27 @@ namespace FreeSql.Xugu
{ {
case "Now": return _common.Now; case "Now": return _common.Now;
case "UtcNow": return _common.NowUtc; case "UtcNow": return _common.NowUtc;
case "Today": return "current_date"; case "Today": return "convert(char(10),getdate(),120)";
case "MinValue": return "'0001/1/1 0:00:00'::timestamp"; case "MinValue": return "'1753/1/1 0:00:00'";
case "MaxValue": return "'9999/12/31 23:59:59'::timestamp"; case "MaxValue": return "'9999/12/31 23:59:59'";
} }
return null; return null;
} }
var left = ExpressionLambdaToSql(exp.Expression, tsc); var left = ExpressionLambdaToSql(exp.Expression, tsc);
switch (exp.Member.Name) switch (exp.Member.Name)
{ {
case "Date": return $"({left})::date"; case "Date": return $"convert(char(10),{left},120)";
case "TimeOfDay": return $"(extract(epoch from ({left})::time)*1000000)"; case "TimeOfDay": return $"datediff(second, convert(char(10),{left},120), {left})";
case "DayOfWeek": return $"extract(dow from ({left})::timestamp)"; case "DayOfWeek": return $"(datepart(weekday, {left})-1)";
case "Day": return $"extract(day from ({left})::timestamp)"; case "Day": return $"datepart(day, {left})";
case "DayOfYear": return $"extract(doy from ({left})::timestamp)"; case "DayOfYear": return $"datepart(dayofyear, {left})";
case "Month": return $"extract(month from ({left})::timestamp)"; case "Month": return $"datepart(month, {left})";
case "Year": return $"extract(year from ({left})::timestamp)"; case "Year": return $"datepart(year, {left})";
case "Hour": return $"extract(hour from ({left})::timestamp)"; case "Hour": return $"datepart(hour, {left})";
case "Minute": return $"extract(minute from ({left})::timestamp)"; case "Minute": return $"datepart(minute, {left})";
case "Second": return $"extract(second from ({left})::timestamp)"; case "Second": return $"datepart(second, {left})";
case "Millisecond": return $"(extract(milliseconds from ({left})::timestamp)-extract(second from ({left})::timestamp)*1000)"; case "Millisecond": return $"(datepart(millisecond, {left})/1000)";
case "Ticks": return $"(extract(epoch from ({left})::timestamp)*10000000+621355968000000000)"; case "Ticks": return $"(cast(datediff(second, '1970-1-1', {left}) as bigint)*10000000+621355968000000000)";
} }
return null; return null;
} }
@ -363,17 +290,17 @@ namespace FreeSql.Xugu
var left = ExpressionLambdaToSql(exp.Expression, tsc); var left = ExpressionLambdaToSql(exp.Expression, tsc);
switch (exp.Member.Name) switch (exp.Member.Name)
{ {
case "Days": return $"floor(({left})/{(long)1000000 * 60 * 60 * 24})"; case "Days": return $"floor(({left})/{60 * 60 * 24})";
case "Hours": return $"floor(({left})/{(long)1000000 * 60 * 60}%24)"; case "Hours": return $"floor(({left})/{60 * 60}%24)";
case "Milliseconds": return $"(floor(({left})/1000)::int8%1000)"; case "Milliseconds": return $"(cast({left} as bigint)*1000)";
case "Minutes": return $"(floor(({left})/{(long)1000000 * 60})::int8%60)"; case "Minutes": return $"floor(({left})/60%60)";
case "Seconds": return $"(floor(({left})/1000000)::int8%60)"; case "Seconds": return $"(({left})%60)";
case "Ticks": return $"(({left})*10)"; case "Ticks": return $"(cast({left} as bigint)*10000000)";
case "TotalDays": return $"(({left})/{(long)1000000 * 60 * 60 * 24})"; case "TotalDays": return $"(({left})/{60 * 60 * 24})";
case "TotalHours": return $"(({left})/{(long)1000000 * 60 * 60})"; case "TotalHours": return $"(({left})/{60 * 60})";
case "TotalMilliseconds": return $"(({left})/1000)"; case "TotalMilliseconds": return $"(cast({left} as bigint)*1000)";
case "TotalMinutes": return $"(({left})/{(long)1000000 * 60})"; case "TotalMinutes": return $"(({left})/60)";
case "TotalSeconds": return $"(({left})/1000000)"; case "TotalSeconds": return $"({left})";
} }
return null; return null;
} }
@ -403,7 +330,7 @@ namespace FreeSql.Xugu
{ {
var atype = (a as UnaryExpression)?.Operand.Type.NullableTypeOrThis() ?? a.Type.NullableTypeOrThis(); var atype = (a as UnaryExpression)?.Operand.Type.NullableTypeOrThis() ?? a.Type.NullableTypeOrThis();
if (atype == typeof(string)) return $"'||{_common.IsNull(ExpressionLambdaToSql(a, tsc), "''")}||'"; if (atype == typeof(string)) return $"'||{_common.IsNull(ExpressionLambdaToSql(a, tsc), "''")}||'";
return $"'||{_common.IsNull($"({ExpressionLambdaToSql(a, tsc)})::text", "''")}||'"; return $"'||{_common.IsNull($"cast({ExpressionLambdaToSql(a, tsc)} text)", "''")}||'";
}).ToArray(); }).ToArray();
return string.Format(ExpressionLambdaToSql(exp.Arguments[0], tsc), expArgs); return string.Format(ExpressionLambdaToSql(exp.Arguments[0], tsc), expArgs);
case "Join": case "Join":
@ -444,10 +371,10 @@ namespace FreeSql.Xugu
if (exp.Arguments[1].Type == typeof(bool) || if (exp.Arguments[1].Type == typeof(bool) ||
exp.Arguments[1].Type == typeof(StringComparison)) likeOpt = "ILIKE"; exp.Arguments[1].Type == typeof(StringComparison)) likeOpt = "ILIKE";
} }
if (exp.Method.Name == "StartsWith") return $"({left}) {likeOpt} {(args0Value.EndsWith("'") ? args0Value.Insert(args0Value.Length - 1, "%") : $"(({args0Value})::text || '%')")}"; if (exp.Method.Name == "StartsWith") return $"({left}) {likeOpt} {(args0Value.EndsWith("'") ? args0Value.Insert(args0Value.Length - 1, "%") : $"(cast({args0Value} as text) || '%')")}";
if (exp.Method.Name == "EndsWith") return $"({left}) {likeOpt} {(args0Value.StartsWith("'") ? args0Value.Insert(1, "%") : $"('%' || ({args0Value})::text)")}"; if (exp.Method.Name == "EndsWith") return $"({left}) {likeOpt} {(args0Value.StartsWith("'") ? args0Value.Insert(1, "%") : $"('%' || cast({args0Value} as text))")}";
if (args0Value.StartsWith("'") && args0Value.EndsWith("'")) return $"({left}) {likeOpt} {args0Value.Insert(1, "%").Insert(args0Value.Length, "%")}"; if (args0Value.StartsWith("'") && args0Value.EndsWith("'")) return $"({left}) {likeOpt} {args0Value.Insert(1, "%").Insert(args0Value.Length, "%")}";
return $"({left}) {likeOpt} ('%' || ({args0Value})::text || '%')"; return $"({left}) {likeOpt} ('%' || cast({args0Value} as text) || '%')";
case "ToLower": return $"lower({left})"; case "ToLower": return $"lower({left})";
case "ToUpper": return $"upper({left})"; case "ToUpper": return $"upper({left})";
case "Substring": case "Substring":
@ -495,7 +422,7 @@ namespace FreeSql.Xugu
return left; return left;
case "Replace": return $"replace({left}, {getExp(exp.Arguments[0])}, {getExp(exp.Arguments[1])})"; case "Replace": return $"replace({left}, {getExp(exp.Arguments[0])}, {getExp(exp.Arguments[1])})";
case "CompareTo": return $"case when {left} = {getExp(exp.Arguments[0])} then 0 when {left} > {getExp(exp.Arguments[0])} then 1 else -1 end"; case "CompareTo": return $"case when {left} = {getExp(exp.Arguments[0])} then 0 when {left} > {getExp(exp.Arguments[0])} then 1 else -1 end";
case "Equals": return $"({left} = ({getExp(exp.Arguments[0])})::text)"; case "Equals": return $"({left} = cast({getExp(exp.Arguments[0])} text))";
} }
} }
return null; return null;
@ -535,18 +462,18 @@ namespace FreeSql.Xugu
{ {
switch (exp.Method.Name) switch (exp.Method.Name)
{ {
case "Compare": return $"extract(epoch from ({getExp(exp.Arguments[0])})::timestamp-({getExp(exp.Arguments[1])})::timestamp)"; case "Compare": return $"({getExp(exp.Arguments[0])} - ({getExp(exp.Arguments[1])}))";
case "DaysInMonth": return $"extract(day from ({getExp(exp.Arguments[0])} || '-' || {getExp(exp.Arguments[1])} || '-01')::timestamp+'1 month'::interval-'1 day'::interval)"; case "DaysInMonth": return $"datepart(day, dateadd(day, -1, dateadd(month, 1, cast({getExp(exp.Arguments[0])} as varchar(100)) + '-' + cast({getExp(exp.Arguments[1])} as varchar(100)) + '-1')))";
case "Equals": return $"(({getExp(exp.Arguments[0])})::timestamp = ({getExp(exp.Arguments[1])})::timestamp)"; case "Equals": return $"({getExp(exp.Arguments[0])} = {getExp(exp.Arguments[1])})";
case "IsLeapYear": case "IsLeapYear":
var isLeapYearArgs1 = getExp(exp.Arguments[0]); var isLeapYearArgs1 = getExp(exp.Arguments[0]);
return $"(({isLeapYearArgs1})::int8%4=0 AND ({isLeapYearArgs1})::int8%100<>0 OR ({isLeapYearArgs1})::int8%400=0)"; return $"(({isLeapYearArgs1})%4=0 AND ({isLeapYearArgs1})%100<>0 OR ({isLeapYearArgs1})%400=0)";
case "Parse": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"({getExp(exp.Arguments[0])})::timestamp"; case "Parse": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"cast({getExp(exp.Arguments[0])} as datetime)";
case "ParseExact": case "ParseExact":
case "TryParse": case "TryParse":
case "TryParseExact": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"({getExp(exp.Arguments[0])})::timestamp"; case "TryParseExact": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"cast({getExp(exp.Arguments[0])} as datetime)";
} }
} }
else else
@ -555,81 +482,70 @@ namespace FreeSql.Xugu
var args1 = exp.Arguments.Count == 0 ? null : getExp(exp.Arguments[0]); var args1 = exp.Arguments.Count == 0 ? null : getExp(exp.Arguments[0]);
switch (exp.Method.Name) switch (exp.Method.Name)
{ {
case "Add": return $"(({left})::timestamp+((({args1})/1000)||' milliseconds')::interval)"; case "Add": return $"dateadd(second, {args1}, {left})";
case "AddDays": return $"(({left})::timestamp+(({args1})||' day')::interval)"; case "AddDays": return $"dateadd(day, {args1}, {left})";
case "AddHours": return $"(({left})::timestamp+(({args1})||' hour')::interval)"; case "AddHours": return $"dateadd(hour, {args1}, {left})";
case "AddMilliseconds": return $"(({left})::timestamp+(({args1})||' milliseconds')::interval)"; case "AddMilliseconds": return $"dateadd(second, ({args1})/1000, {left})";
case "AddMinutes": return $"(({left})::timestamp+(({args1})||' minute')::interval)"; case "AddMinutes": return $"dateadd(minute, {args1}, {left})";
case "AddMonths": return $"(({left})::timestamp+(({args1})||' month')::interval)"; case "AddMonths": return $"dateadd(month, {args1}, {left})";
case "AddSeconds": return $"(({left})::timestamp+(({args1})||' second')::interval)"; case "AddSeconds": return $"dateadd(second, {args1}, {left})";
case "AddTicks": return $"(({left})::timestamp+(({args1})/10||' microseconds')::interval)"; case "AddTicks": return $"dateadd(second, ({args1})/10000000, {left})";
case "AddYears": return $"(({left})::timestamp+(({args1})||' year')::interval)"; case "AddYears": return $"dateadd(year, {args1}, {left})";
case "Subtract": case "Subtract":
switch ((exp.Arguments[0].Type.IsNullableType() ? exp.Arguments[0].Type.GetGenericArguments().FirstOrDefault() : exp.Arguments[0].Type).FullName) switch ((exp.Arguments[0].Type.IsNullableType() ? exp.Arguments[0].Type.GetGenericArguments().FirstOrDefault() : exp.Arguments[0].Type).FullName)
{ {
case "System.DateTime": return $"(extract(epoch from ({left})::timestamp-({args1})::timestamp)*1000000)"; case "System.DateTime": return $"datediff(second, {args1}, {left})";
case "System.TimeSpan": return $"(({left})::timestamp-((({args1})/1000)||' milliseconds')::interval)"; case "System.TimeSpan": return $"dateadd(second, ({args1})*-1, {left})";
} }
break; break;
case "Equals": return $"({left} = ({args1})::timestamp)"; case "Equals": return $"({left} = {args1})";
case "CompareTo": return $"extract(epoch from ({left})::timestamp-({args1})::timestamp)"; case "CompareTo": return $"datediff(second,{args1},{left})";
case "ToString": case "ToString":
if (left.EndsWith("::timestamp") == false) left = $"({left})::timestamp"; if (left.EndsWith(" as datetime)") == false) left = $"cast({left} as datetime)";
if (exp.Arguments.Count == 0) return $"to_char({left},'YYYY-MM-DD HH24:MI:SS.US')"; if (exp.Arguments.Count == 0) return $"convert(varchar, {left}, 121)";
switch (args1) switch (args1.TrimStart('N'))
{ {
case "'yyyy-MM-dd HH:mm:ss'": return $"to_char({left},'YYYY-MM-DD HH24:MI:SS')"; case "'yyyy-MM-dd HH:mm:ss'": return $"convert(char(19), {left}, 120)";
case "'yyyy-MM-dd HH:mm'": return $"to_char({left},'YYYY-MM-DD HH24:MI')"; case "'yyyy-MM-dd HH:mm'": return $"substring(convert(char(19), {left}, 120), 1, 16)";
case "'yyyy-MM-dd HH'": return $"to_char({left},'YYYY-MM-DD HH24')"; case "'yyyy-MM-dd HH'": return $"substring(convert(char(19), {left}, 120), 1, 13)";
case "'yyyy-MM-dd'": return $"to_char({left},'YYYY-MM-DD')"; case "'yyyy-MM-dd'": return $"convert(char(10), {left}, 23)";
case "'yyyy-MM'": return $"to_char({left},'YYYY-MM')"; case "'yyyy-MM'": return $"substring(convert(char(10), {left}, 23), 1, 7)";
case "'yyyyMMddHHmmss'": return $"to_char({left},'YYYYMMDDHH24MISS')"; case "'yyyyMMdd'": return $"convert(char(8), {left}, 112)";
case "'yyyyMMddHHmm'": return $"to_char({left},'YYYYMMDDHH24MI')"; case "'yyyyMM'": return $"substring(convert(char(8), {left}, 112), 1, 6)";
case "'yyyyMMddHH'": return $"to_char({left},'YYYYMMDDHH24')"; case "'yyyy'": return $"substring(convert(char(8), {left}, 112), 1, 4)";
case "'yyyyMMdd'": return $"to_char({left},'YYYYMMDD')"; case "'HH:mm:ss'": return $"convert(char(8), {left}, 24)";
case "'yyyyMM'": return $"to_char({left},'YYYYMM')";
case "'yyyy'": return $"to_char({left},'YYYY')";
case "'HH:mm:ss'": return $"to_char({left},'HH24:MI:SS')";
} }
args1 = Regex.Replace(args1, "(yyyy|yy|MM|dd|HH|hh|mm|ss|tt)", m => var isMatched = false;
var nchar = args1.StartsWith("N'") ? "N" : "";
args1 = Regex.Replace(args1, "(yyyy|yy|MM|M|dd|d|HH|H|hh|h|mm|m|ss|s|tt|t)", m =>
{ {
isMatched = true;
switch (m.Groups[1].Value) switch (m.Groups[1].Value)
{ {
case "yyyy": return $"YYYY"; case "yyyy": return $"' + substring(convert(char(8), {left}, 112), 1, 4) + {nchar}'";
case "yy": return $"YY"; case "yy": return $"' + substring(convert(char(6), {left}, 12), 1, 2) + {nchar}'";
case "MM": return $"%_a1"; case "MM": return $"' + substring(convert(char(6), {left}, 12), 3, 2) + {nchar}'";
case "dd": return $"%_a2"; case "M": return $"' + case when substring(convert(char(6), {left}, 12), 3, 1) = '0' then substring(convert(char(6), {left}, 12), 4, 1) else substring(convert(char(6), {left}, 12), 3, 2) end + {nchar}'";
case "HH": return $"%_a3"; case "dd": return $"' + substring(convert(char(6), {left}, 12), 5, 2) + {nchar}'";
case "hh": return $"%_a4"; case "d": return $"' + case when substring(convert(char(6), {left}, 12), 5, 1) = '0' then substring(convert(char(6), {left}, 12), 6, 1) else substring(convert(char(6), {left}, 12), 5, 2) end + {nchar}'";
case "mm": return $"%_a5"; case "HH": return $"' + substring(convert(char(8), {left}, 24), 1, 2) + {nchar}'";
case "ss": return $"SS"; case "H": return $"' + case when substring(convert(char(8), {left}, 24), 1, 1) = '0' then substring(convert(char(8), {left}, 24), 2, 1) else substring(convert(char(8), {left}, 24), 1, 2) end + {nchar}'";
case "tt": return $"%_a6"; case "hh":
return $"' + case cast(case when substring(convert(char(8), {left}, 24), 1, 1) = '0' then substring(convert(char(8), {left}, 24), 2, 1) else substring(convert(char(8), {left}, 24), 1, 2) end as int) % 12" +
$"when 0 then '12' when 1 then '01' when 2 then '02' when 3 then '03' when 4 then '04' when 5 then '05' when 6 then '06' when 7 then '07' when 8 then '08' when 9 then '09' when 10 then '10' when 11 then '11' end + {nchar}'";
case "h":
return $"' + case cast(case when substring(convert(char(8), {left}, 24), 1, 1) = '0' then substring(convert(char(8), {left}, 24), 2, 1) else substring(convert(char(8), {left}, 24), 1, 2) end as int) % 12" +
$"when 0 then '12' when 1 then '1' when 2 then '2' when 3 then '3' when 4 then '4' when 5 then '5' when 6 then '6' when 7 then '7' when 8 then '8' when 9 then '9' when 10 then '10' when 11 then '11' end + {nchar}'";
case "mm": return $"' + substring(convert(char(8), {left}, 24), 4, 2) + {nchar}'";
case "m": return $"' + case when substring(convert(char(8), {left}, 24), 4, 1) = '0' then substring(convert(char(8), {left}, 24), 5, 1) else substring(convert(char(8), {left}, 24), 4, 2) end + {nchar}'";
case "ss": return $"' + substring(convert(char(8), {left}, 24), 7, 2) + {nchar}'";
case "s": return $"' + case when substring(convert(char(8), {left}, 24), 7, 1) = '0' then substring(convert(char(8), {left}, 24), 8, 1) else substring(convert(char(8), {left}, 24), 7, 2) end + {nchar}'";
case "tt": return $"' + case when cast(case when substring(convert(char(8), {left}, 24), 1, 1) = '0' then substring(convert(char(8), {left}, 24), 2, 1) else substring(convert(char(8), {left}, 24), 1, 2) end as int) >= 12 then 'PM' else 'AM' end + {nchar}'";
case "t": return $"' + case when cast(case when substring(convert(char(8), {left}, 24), 1, 1) = '0' then substring(convert(char(8), {left}, 24), 2, 1) else substring(convert(char(8), {left}, 24), 1, 2) end as int) >= 12 then 'P' else 'A' end + {nchar}'";
} }
return m.Groups[0].Value; return m.Groups[0].Value;
}); });
var argsFinds = new[] { "YYYY", "YY", "%_a1", "%_a2", "%_a3", "%_a4", "%_a5", "SS", "%_a6" }; return isMatched == false ? args1 : $"({args1})";
var argsSpts = Regex.Split(args1, "(M|d|H|h|m|s|t)");
for (var a = 0; a < argsSpts.Length; a++)
{
switch (argsSpts[a])
{
case "M": argsSpts[a] = $"ltrim(to_char({left},'MM'),'0')"; break;
case "d": argsSpts[a] = $"case when substr(to_char({left},'DD'),1,1) = '0' then substr(to_char({left},'DD'),2,1) else to_char({left},'DD') end"; break;
case "H": argsSpts[a] = $"case when substr(to_char({left},'HH24'),1,1) = '0' then substr(to_char({left},'HH24'),2,1) else to_char({left},'HH24') end"; break;
case "h": argsSpts[a] = $"case when substr(to_char({left},'HH12'),1,1) = '0' then substr(to_char({left},'HH12'),2,1) else to_char({left},'HH12') end"; break;
case "m": argsSpts[a] = $"case when substr(to_char({left},'MI'),1,1) = '0' then substr(to_char({left},'MI'),2,1) else to_char({left},'MI') end"; break;
case "s": argsSpts[a] = $"case when substr(to_char({left},'SS'),1,1) = '0' then substr(to_char({left},'SS'),2,1) else to_char({left},'SS') end"; break;
case "t": argsSpts[a] = $"rtrim(to_char({left},'AM'),'M')"; break;
default:
var argsSptsA = argsSpts[a];
if (argsSptsA.StartsWith("'")) argsSptsA = argsSptsA.Substring(1);
if (argsSptsA.EndsWith("'")) argsSptsA = argsSptsA.Remove(argsSptsA.Length - 1);
argsSpts[a] = argsFinds.Any(m => argsSptsA.Contains(m)) ? $"to_char({left},'{argsSptsA}')" : $"'{argsSptsA}'";
break;
}
}
if (argsSpts.Length > 0) args1 = $"({string.Join(" || ", argsSpts.Where(a => a != "''"))})";
return args1.Replace("%_a1", "MM").Replace("%_a2", "DD").Replace("%_a3", "HH24").Replace("%_a4", "HH12").Replace("%_a5", "MI").Replace("%_a6", "AM");
} }
} }
return null; return null;
@ -643,16 +559,16 @@ namespace FreeSql.Xugu
{ {
case "Compare": return $"({getExp(exp.Arguments[0])}-({getExp(exp.Arguments[1])}))"; case "Compare": return $"({getExp(exp.Arguments[0])}-({getExp(exp.Arguments[1])}))";
case "Equals": return $"({getExp(exp.Arguments[0])} = {getExp(exp.Arguments[1])})"; case "Equals": return $"({getExp(exp.Arguments[0])} = {getExp(exp.Arguments[1])})";
case "FromDays": return $"(({getExp(exp.Arguments[0])})*{(long)1000000 * 60 * 60 * 24})"; case "FromDays": return $"(({getExp(exp.Arguments[0])})*{60 * 60 * 24})";
case "FromHours": return $"(({getExp(exp.Arguments[0])})*{(long)1000000 * 60 * 60})"; case "FromHours": return $"(({getExp(exp.Arguments[0])})*{60 * 60})";
case "FromMilliseconds": return $"(({getExp(exp.Arguments[0])})*1000)"; case "FromMilliseconds": return $"(({getExp(exp.Arguments[0])})/1000)";
case "FromMinutes": return $"(({getExp(exp.Arguments[0])})*{(long)1000000 * 60})"; case "FromMinutes": return $"(({getExp(exp.Arguments[0])})*60)";
case "FromSeconds": return $"(({getExp(exp.Arguments[0])})*1000000)"; case "FromSeconds": return $"({getExp(exp.Arguments[0])})";
case "FromTicks": return $"(({getExp(exp.Arguments[0])})/10)"; case "FromTicks": return $"(({getExp(exp.Arguments[0])})/10000000)";
case "Parse": return $"({getExp(exp.Arguments[0])})::int8"; case "Parse": return $"cast({getExp(exp.Arguments[0])} as bigint)";
case "ParseExact": case "ParseExact":
case "TryParse": case "TryParse":
case "TryParseExact": return $"({getExp(exp.Arguments[0])})::int8"; case "TryParseExact": return $"cast({getExp(exp.Arguments[0])} as bigint)";
} }
} }
else else
@ -665,7 +581,7 @@ namespace FreeSql.Xugu
case "Subtract": return $"({left}-({args1}))"; case "Subtract": return $"({left}-({args1}))";
case "Equals": return $"({left} = {args1})"; case "Equals": return $"({left} = {args1})";
case "CompareTo": return $"({left}-({args1}))"; case "CompareTo": return $"({left}-({args1}))";
case "ToString": return $"({left})::varchar"; case "ToString": return $"cast({left} as varchar(100))";
} }
} }
return null; return null;
@ -677,21 +593,25 @@ namespace FreeSql.Xugu
{ {
switch (exp.Method.Name) switch (exp.Method.Name)
{ {
case "ToBoolean": return $"(({getExp(exp.Arguments[0])})::varchar not in ('0','false','f','no'))"; case "ToBoolean": return $"(cast({getExp(exp.Arguments[0])} as varchar) not in ('0','false'))";
case "ToByte": return $"({getExp(exp.Arguments[0])})::int2"; case "ToByte": return $"cast({getExp(exp.Arguments[0])} as tinyint)";
case "ToChar": return $"substr(({getExp(exp.Arguments[0])})::char, 1, 1)"; case "ToChar": return $"substring(cast({getExp(exp.Arguments[0])} as varchar),1,1)";
case "ToDateTime": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"({getExp(exp.Arguments[0])})::timestamp"; case "ToDateTime": return ExpressionConstDateTime(exp.Arguments[0]) ?? $"cast({getExp(exp.Arguments[0])} as datetime)";
case "ToDecimal": return $"({getExp(exp.Arguments[0])})::numeric"; case "ToDecimal": return $"cast({getExp(exp.Arguments[0])} as numeric(36,18))";
case "ToDouble": return $"({getExp(exp.Arguments[0])})::float8"; case "ToDouble": return $"cast({getExp(exp.Arguments[0])} as numeric(32,16))";
case "ToInt16": return $"({getExp(exp.Arguments[0])})::int2"; case "ToInt16": return $"cast({getExp(exp.Arguments[0])} as smallint)";
case "ToInt32": return $"({getExp(exp.Arguments[0])})::int4"; case "ToInt32": return $"cast({getExp(exp.Arguments[0])} as int)";
case "ToInt64": return $"({getExp(exp.Arguments[0])})::int8"; case "ToInt64": return $"cast({getExp(exp.Arguments[0])} as bigint)";
case "ToSByte": return $"({getExp(exp.Arguments[0])})::int2"; case "ToSByte": return $"cast({getExp(exp.Arguments[0])} as tinyint)";
case "ToSingle": return $"({getExp(exp.Arguments[0])})::float4"; case "ToSingle": return $"cast({getExp(exp.Arguments[0])} as numeric(14,7))";
case "ToString": return $"({getExp(exp.Arguments[0])})::text"; case "ToString":
case "ToUInt16": return $"({getExp(exp.Arguments[0])})::int2"; var gentype = exp.Arguments[0].Type.NullableTypeOrThis();
case "ToUInt32": return $"({getExp(exp.Arguments[0])})::int4"; return gentype == typeof(Guid) ?
case "ToUInt64": return $"({getExp(exp.Arguments[0])})::int8"; $"cast({getExp(exp.Arguments[0])} as char(36))" :
$"cast({getExp(exp.Arguments[0])} as {(gentype.IsNumberType() || gentype.IsEnum ? "varchar(100)" : "text")})";
case "ToUInt16": return $"cast({getExp(exp.Arguments[0])} as smallint)";
case "ToUInt32": return $"cast({getExp(exp.Arguments[0])} as int)";
case "ToUInt64": return $"cast({getExp(exp.Arguments[0])} as numeric(20,0))";
} }
} }
return null; return null;