Formatting

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>

src/api/dotnet/Constructor.cs

@@ -33,7 +33,11 @@ namespace Microsoft.Z3
         /// </summary>
         public uint NumFields
         {
-            get { init();  return n; }
+            get
+            {
+                init();
+                return n;
+            }
         }
 
         /// <summary>
@@ -41,9 +45,12 @@ namespace Microsoft.Z3
         /// </summary>
         public FuncDecl ConstructorDecl
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<FuncDecl>() != null);
-                init();  return m_constructorDecl; }
+                init();
+                return m_constructorDecl;
+            }
         }
 
         /// <summary>
@@ -51,9 +58,12 @@ namespace Microsoft.Z3
         /// </summary>
         public FuncDecl TesterDecl
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<FuncDecl>() != null);
-                init();  return m_testerDecl; }
+                init();
+                return m_testerDecl;
+            }
         }
 
         /// <summary>
@@ -61,9 +71,12 @@ namespace Microsoft.Z3
         /// </summary>
         public FuncDecl[] AccessorDecls
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<FuncDecl[]>() != null);
-                init();  return m_accessorDecls; }
+                init(); 
+                return m_accessorDecls;
+            }
         }
 
         /// <summary>

src/api/dotnet/Expr.cs

@@ -48,9 +48,11 @@ namespace Microsoft.Z3
         /// </summary>
         public FuncDecl FuncDecl
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<FuncDecl>() != null);
-                return new FuncDecl(Context, Native.Z3_get_app_decl(Context.nCtx, NativeObject)); }
+                return new FuncDecl(Context, Native.Z3_get_app_decl(Context.nCtx, NativeObject));
+            }
         }
 
         /// <summary>
@@ -200,9 +202,11 @@ namespace Microsoft.Z3
         /// </summary>
         public Sort Sort
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<Sort>() != null);
-                return Sort.Create(Context, Native.Z3_get_sort(Context.nCtx, NativeObject)); }
+                return Sort.Create(Context, Native.Z3_get_sort(Context.nCtx, NativeObject));
+            }
         }
 
         #region Constants
@@ -1471,9 +1475,13 @@ namespace Microsoft.Z3
         #endregion
 
         #region Internal
-        /// <summary> Constructor for Expr </summary>
+        /// <summary> 
+        /// Constructor for Expr 
+        /// </summary>
         internal protected Expr(Context ctx) : base(ctx) { Contract.Requires(ctx != null); }
-        /// <summary> Constructor for Expr </summary>
+        /// <summary> 
+        /// Constructor for Expr 
+        /// </summary>
         internal protected Expr(Context ctx, IntPtr obj) : base(ctx, obj) { Contract.Requires(ctx != null); }
 
 #if DEBUG

src/api/dotnet/Fixedpoint.cs

@@ -264,7 +264,8 @@ namespace Microsoft.Z3
         /// <summary>
         /// Retrieve set of rules added to fixedpoint context.
         /// </summary>                
-        public BoolExpr[] Rules {
+        public BoolExpr[] Rules
+        {
             get
             {
                 Contract.Ensures(Contract.Result<BoolExpr[]>() != null);
@@ -281,7 +282,8 @@ namespace Microsoft.Z3
         /// <summary>
         /// Retrieve set of assertions added to fixedpoint context.
         /// </summary>                
-        public BoolExpr[] Assertions {
+        public BoolExpr[] Assertions
+        {
             get
             {
                 Contract.Ensures(Contract.Result<BoolExpr[]>() != null);

src/api/dotnet/FuncDecl.cs

@@ -124,9 +124,11 @@ namespace Microsoft.Z3
         /// </summary>
         public Sort Range
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<Sort>() != null);
-                return Sort.Create(Context, Native.Z3_get_range(Context.nCtx, NativeObject)); }
+                return Sort.Create(Context, Native.Z3_get_range(Context.nCtx, NativeObject));
+            }
         }
 
         /// <summary>
@@ -142,9 +144,11 @@ namespace Microsoft.Z3
         /// </summary>
         public Symbol Name
         {
-            get {
+            get
+            {
                 Contract.Ensures(Contract.Result<Symbol>() != null);
-                return Symbol.Create(Context, Native.Z3_get_decl_name(Context.nCtx, NativeObject)); }
+                return Symbol.Create(Context, Native.Z3_get_decl_name(Context.nCtx, NativeObject));
+            }
         }
 
         /// <summary>
@@ -280,7 +284,8 @@ namespace Microsoft.Z3
         }
 
         #region Internal
-        internal FuncDecl(Context ctx, IntPtr obj) : base(ctx, obj) 
+        internal FuncDecl(Context ctx, IntPtr obj)
+            : base(ctx, obj)
         {
             Contract.Requires(ctx != null);
         }
@@ -319,8 +324,10 @@ namespace Microsoft.Z3
         /// </summary>
         /// <param name="args"></param>
         /// <returns></returns>
-        public Expr this[params Expr[] args] { 
-            get {
+        public Expr this[params Expr[] args]
+        {
+            get
+            {
                 Contract.Requires(args == null || Contract.ForAll(args, a => a != null));
 
                 return Apply(args);