Remove usage of procedure syntax

Author: romac

src/main/scala/z3/scala/Z3ASTVector.scala

@@ -4,19 +4,19 @@ import com.microsoft.z3.Native
 
 final class Z3ASTVector private[z3](val ptr: Long, val context: Z3Context) extends Z3Object {
 
-  def incRef() {
+  def incRef(): Unit = {
     Native.astVectorIncRef(context.ptr, this.ptr)
   }
 
-  def decRef() {
+  def decRef(): Unit = {
     Native.astVectorDecRef(context.ptr, this.ptr)
   }
 
   def get(i: Int): Z3AST = {
     new Z3AST(Native.astVectorGet(context.ptr, this.ptr, i), context)
   }
 
-  def set(i: Int, v: Z3AST) {
+  def set(i: Int, v: Z3AST): Unit = {
     Native.astVectorSet(context.ptr, this.ptr, i, v.ptr)
   }
 

src/main/scala/z3/scala/Z3FuncInterp.scala

@@ -18,11 +18,11 @@ private[scala] class Z3FuncInterp (val ptr: Long, val context: Z3Context) extend
     args.mkString("(", ", ", ")") + " -> " + value
   }.mkString(", ") + ", else -> " + default + "]"
 
-  final protected[z3] def incRef() {
+  final protected[z3] def incRef(): Unit = {
     Native.funcInterpIncRef(context.ptr, ptr)
   }
 
-  final protected[z3] def decRef() {
+  final protected[z3] def decRef(): Unit = {
     Native.funcInterpDecRef(context.ptr, ptr)
   }
 

src/main/scala/z3/scala/Z3FuncInterpEntry.scala

@@ -13,11 +13,11 @@ private[scala] class Z3FuncInterpEntry(val ptr: Long, val context: Z3Context) ex
     }
   }
 
-  final protected[z3] def incRef() {
+  final protected[z3] def incRef(): Unit = {
     Native.funcEntryIncRef(context.ptr, ptr)
   }
 
-  final protected[z3] def decRef() {
+  final protected[z3] def decRef(): Unit = {
     Native.funcEntryDecRef(context.ptr, ptr)
   }
 

src/main/scala/z3/scala/Z3Model.scala

@@ -31,11 +31,11 @@ object Z3Model {
 sealed class Z3Model private[z3](val ptr: Long, val context: Z3Context) extends Z3Object {
   override def toString : String = context.modelToString(this)
 
-  def incRef() {
+  def incRef(): Unit = {
     Native.modelIncRef(context.ptr, this.ptr)
   }
 
-  def decRef() {
+  def decRef(): Unit = {
     Native.modelDecRef(context.ptr, this.ptr)
   }
 

src/main/scala/z3/scala/Z3Object.scala

@@ -6,16 +6,16 @@ trait Z3Object extends Z3Pointer {
   val ptr: Long
   val context: Z3Context
 
-  protected[z3] def incRef()
-  protected[z3] def decRef()
+  protected[z3] def incRef(): Unit
+  protected[z3] def decRef(): Unit
 }
 
 trait Z3ASTLike extends Z3Object {
-  final protected[z3] def incRef() {
+  final protected[z3] def incRef(): Unit = {
     Native.incRef(context.ptr, ptr)
   }
 
-  final protected[z3] def decRef() {
+  final protected[z3] def decRef(): Unit = {
     Native.decRef(context.ptr, ptr)
   }
 }

src/main/scala/z3/scala/Z3Params.scala

@@ -12,11 +12,11 @@ private[scala] class Z3Params(val ptr: Long, val context: Z3Context) extends Z3O
     case _ => throw new Z3Exception("Can't set value " + value + " of type " + value.getClass)
   }
 
-  final protected[z3] def incRef() {
+  final protected[z3] def incRef(): Unit = {
     Native.paramsIncRef(context.ptr, ptr)
   }
 
-  final protected[z3] def decRef() {
+  final protected[z3] def decRef(): Unit = {
     Native.paramsDecRef(context.ptr, ptr)
   }
 

src/main/scala/z3/scala/Z3RefCountQueue.scala

@@ -3,14 +3,14 @@ package z3.scala
 class Z3RefCountQueue[T <: Z3Object] {
   private val drQueue = collection.mutable.Queue[T]()
 
-  protected[z3] def track(t: T) {
+  protected[z3] def track(t: T): Unit = {
     t.incRef()
     synchronized {
       drQueue += t
     }
   }
 
-  protected[z3] def clearQueue() {
+  protected[z3] def clearQueue(): Unit = {
     synchronized {
       for (t <- drQueue) {
         t.decRef()

src/main/scala/z3/scala/Z3Solver.scala

@@ -69,11 +69,11 @@ class Z3Solver private[z3](val ptr: Long, val context: Z3Context) extends Z3Obje
     Native.solverGetNumScopes(context.ptr, this.ptr)  
   }
 
-  def incRef() {
+  def incRef(): Unit = {
     Native.solverIncRef(context.ptr, this.ptr)
   }
 
-  def decRef() {
+  def decRef(): Unit = {
     Native.solverDecRef(context.ptr, this.ptr)
   }
 

src/main/scala/z3/scala/Z3Tactic.scala

@@ -11,11 +11,11 @@ class Z3Tactic private[z3](val ptr : Long, val context : Z3Context) extends Z3Ob
     }
   }
 
-  def incRef() {
+  def incRef(): Unit = {
     Native.tacticIncRef(context.ptr, this.ptr)
   }
 
-  def decRef() {
+  def decRef(): Unit = {
     Native.tacticDecRef(context.ptr, this.ptr)
   }