src/Pure/General/sqlite.scala
changeset 64142 954451356017
parent 63996 3f47fec9edfc
child 65002 0c44e3e9126f
equal deleted inserted replaced
64141:79cd4be708fb 64142:954451356017
    25 
    25 
    26   class Database private[SQLite](path: Path, val connection: Connection)
    26   class Database private[SQLite](path: Path, val connection: Connection)
    27   {
    27   {
    28     override def toString: String = path.toString
    28     override def toString: String = path.toString
    29 
    29 
    30     def close { connection.close }
    30     def close() { connection.close }
    31 
    31 
    32     def rebuild { using(statement("VACUUM"))(_.execute()) }
    32     def rebuild { using(statement("VACUUM"))(_.execute()) }
    33 
    33 
    34     def transaction[A](body: => A): A =
    34     def transaction[A](body: => A): A =
    35     {
    35     {