scala.scalanative.cli.options.SemanticsConfigOptions.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scala-native-cli_3 Show documentation

scala-native-cli

The newest version!

package scala.scalanative.cli.options

import scopt.OptionParser
import scala.scalanative.build

case class SemanticsConfigOptions(
    finalFields: Option[JVMMemoryModelCompliance] = None,
    strictExternCalls: Option[Boolean] = None
)

sealed abstract class JVMMemoryModelCompliance {
  import JVMMemoryModelCompliance._
  def convert: build.JVMMemoryModelCompliance = this match {
    case None    => build.JVMMemoryModelCompliance.None
    case Relaxed => build.JVMMemoryModelCompliance.Relaxed
    case Strict  => build.JVMMemoryModelCompliance.Strict
  }
}
object JVMMemoryModelCompliance {
  case object None extends JVMMemoryModelCompliance
  case object Relaxed extends JVMMemoryModelCompliance
  case object Strict extends JVMMemoryModelCompliance

  implicit val read: scopt.Read[JVMMemoryModelCompliance] =
    scopt.Read.reads {
      case "none"    => JVMMemoryModelCompliance.None
      case "relaxed" => JVMMemoryModelCompliance.Relaxed
      case "strict"  => JVMMemoryModelCompliance.Strict
    }
}

object SemanticsConfigOptions {
  def set(parser: OptionParser[LinkerOptions]) = {
    def update(c: LinkerOptions)(
        fn: SemanticsConfigOptions => SemanticsConfigOptions
    ) =
      c.copy(semanticsConfig = fn(c.semanticsConfig))
    parser.note("Semantics options:")
    parser
      .opt[JVMMemoryModelCompliance]("final-fields-semantics")
      .valueName(" (none, relaxed, or stricts)")
      .optional()
      .action((x, c) => update(c)(_.copy(finalFields = Some(x))))
      .text(
        "JVM memory model compliance for final, either 'none' (no special handling), 'relaxed' (default, synchronization of annotated fiedls), `strict` (synchronization of all final fields)"
      )
    parser
      .opt[Boolean]("strict-extern-call-semantics")
      .optional()
      .action((x, c) => update(c)(_.copy(strictExternCalls = Some(x))))
      .text(
        "Should runtime notify GC when entering unmanaged (foreign, native) code. When enabled every extern call would notify GC, otherwise (default) only annotated blocking methods notify GC."
      )
  }
}