mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-11 08:32:03 +00:00
Code Activity

Fix .NET build error - rename params to parameters

Browse source 
The 'params' keyword is reserved in C#, causing compilation errors.
Renamed parameter from 'params' to 'parameters' in MkDatatypeSortRef methods.

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-10-11 22:53:06 +00:00
parent 1fe1e417e8
commit 10a1cf48bf
1 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

18
src/api/dotnet/Context.cs
View file

@ -479,16 +479,16 @@ namespace Microsoft.Z3
/// This is useful for creating recursive datatypes or parametric datatypes. /// This is useful for creating recursive datatypes or parametric datatypes.
/// </summary> /// </summary>
/// <param name="name">name of the datatype sort</param> /// <param name="name">name of the datatype sort</param>
/// <param name="params">optional array of sort parameters for parametric datatypes</param> /// <param name="parameters">optional array of sort parameters for parametric datatypes</param>
public DatatypeSort MkDatatypeSortRef(Symbol name, Sort[] params = null) public DatatypeSort MkDatatypeSortRef(Symbol name, Sort[] parameters = null)
{ {
Debug.Assert(name != null); Debug.Assert(name != null);
CheckContextMatch(name); CheckContextMatch(name);
if (params != null) if (parameters != null)
CheckContextMatch<Sort>(params); CheckContextMatch<Sort>(parameters);
var numParams = (params == null) ? 0 : (uint)params.Length; var numParams = (parameters == null) ? 0 : (uint)parameters.Length;
var paramsNative = (params == null) ? null : AST.ArrayToNative(params); var paramsNative = (parameters == null) ? null : AST.ArrayToNative(parameters);
return new DatatypeSort(this, Native.Z3_mk_datatype_sort(nCtx, name.NativeObject, numParams, paramsNative)); return new DatatypeSort(this, Native.Z3_mk_datatype_sort(nCtx, name.NativeObject, numParams, paramsNative));
} }
@ -497,11 +497,11 @@ namespace Microsoft.Z3
/// This is useful for creating recursive datatypes or parametric datatypes. /// This is useful for creating recursive datatypes or parametric datatypes.
/// </summary> /// </summary>
/// <param name="name">name of the datatype sort</param> /// <param name="name">name of the datatype sort</param>
/// <param name="params">optional array of sort parameters for parametric datatypes</param> /// <param name="parameters">optional array of sort parameters for parametric datatypes</param>
public DatatypeSort MkDatatypeSortRef(string name, Sort[] params = null) public DatatypeSort MkDatatypeSortRef(string name, Sort[] parameters = null)
{ {
using var symbol = MkSymbol(name); using var symbol = MkSymbol(name);
return MkDatatypeSortRef(symbol, params); return MkDatatypeSortRef(symbol, parameters);
} }
/// <summary> /// <summary>