# HG changeset patch
# User wenzelm
# Date 1678091822 -3600
# Node ID 3362f84a300afbb856ca5d17d7782a457cace5b1
# Parent  40ccee0fe19a8603d52e5a91e2d2ab210bb72105
tuned signature: avoid totally adhoc overriding;

diff -r 40ccee0fe19a -r 3362f84a300a src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Mon Mar 06 09:32:18 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Mon Mar 06 09:37:02 2023 +0100
@@ -610,17 +610,17 @@
 /** main process **/
 
 class Build_Process(
-  protected val build_context: Build_Process.Context,
-  protected val build_progress: Progress
+  protected final val build_context: Build_Process.Context,
+  protected final val build_progress: Progress
 )
 extends AutoCloseable {
   /* context */
 
-  protected val store: Sessions.Store = build_context.store
-  protected val build_options: Options = store.options
-  protected val build_deps: Sessions.Deps = build_context.build_deps
-  protected val build_uuid: String = build_context.build_uuid
-  protected val worker_uuid: String = UUID.random().toString
+  protected final val store: Sessions.Store = build_context.store
+  protected final val build_options: Options = store.options
+  protected final val build_deps: Sessions.Deps = build_context.build_deps
+  protected final val build_uuid: String = build_context.build_uuid
+  protected final val worker_uuid: String = UUID.random().toString
 
 
   /* global state: internal var vs. external database */
@@ -671,7 +671,7 @@
     }
   }
 
-  object progress extends Progress {
+  protected object progress extends Progress {
     override def verbose: Boolean = build_progress.verbose
 
     override def output(message: Progress.Message): Unit =
@@ -687,7 +687,7 @@
     override def stopped: Boolean = build_progress.stopped
   }
 
-  val log: Logger = Logger.make_system_log(progress, build_options)
+  protected val log: Logger = Logger.make_system_log(progress, build_options)
 
 
   /* policy operations */