src/Pure/Thy/sessions.scala

   ) extends AutoCloseable {
     def cache: Term.Cache = store.cache
 
     def close(): Unit = database_server.foreach(_.close())
 
-    def output_database[A](session: String)(f: SQL.Database => A): A =
+    def database_output[A](session: String)(f: SQL.Database => A): A =
       database_server match {
         case Some(db) => f(db)
         case None => using(store.open_database(session, output = true))(f)
       }
 
-    def input_database[A](session: String)(f: SQL.Database => Option[A]): Option[A] =
+    def database[A](session: String)(f: SQL.Database => Option[A]): Option[A] =
       database_server match {
         case Some(db) => f(db)
         case None =>
           store.try_open_database(session) match {
             case Some(db) => using(db)(f)

     {
       (for {
         name <- structure.build_requirements(List(session))
         patterns = structure(name).export_classpath if patterns.nonEmpty
       } yield {
-        input_database(name) { db =>
+        database(name) { db =>
           db.transaction {
             val matcher = Export.make_matcher(patterns)
             val res =
               for {
                 entry_name <- Export.read_entry_names(db, name) if matcher(entry_name)