equal
deleted
inserted
replaced
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 { |