1 files changed, 97 insertions, 0 deletions
diff --git a/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/Semantics.scala b/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/Semantics.scala
new file mode 100644
index 0000000..9d17b06
--- /dev/null
+++ b/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/Semantics.scala
@@ -0,0 +1,97 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___      __ ____  Scala.js tools             **
+**    / __/ __// _ | / /  / _ | __ / // __/  (c) 2014, LAMP/EPFL        **
+**  __\ \/ /__/ __ |/ /__/ __ |/_// /_\ \    http://scala-js.org/       **
+** /____/\___/_/ |_/____/_/ | |__/ /____/                               **
+**                          |/____/                                     **
+\*                                                                      */
+
+
+package scala.scalajs.tools.sem
+
+import scala.collection.immutable.Traversable
+
+final class Semantics private (
+    val asInstanceOfs: CheckedBehavior,
+    val strictFloats: Boolean) {
+
+  import Semantics._
+
+  def withAsInstanceOfs(behavior: CheckedBehavior): Semantics =
+    copy(asInstanceOfs = behavior)
+
+  def withStrictFloats(strictFloats: Boolean): Semantics =
+    copy(strictFloats = strictFloats)
+
+  def optimized: Semantics =
+    copy(asInstanceOfs = this.asInstanceOfs.optimized)
+
+  override def equals(that: Any): Boolean = that match {
+    case that: Semantics =>
+      this.asInstanceOfs == that.asInstanceOfs &&
+      this.strictFloats  == that.strictFloats
+    case _ =>
+      false
+  }
+
+  override def hashCode(): Int = {
+    import scala.util.hashing.MurmurHash3._
+    var acc = HashSeed
+    acc = mix(acc, asInstanceOfs.hashCode)
+    acc = mixLast(acc, strictFloats.##)
+    finalizeHash(acc, 1)
+  }
+
+  override def toString(): String = {
+    s"""Semantics(
+       |  asInstanceOfs = $asInstanceOfs,
+       |  strictFloats  = $strictFloats
+       |)""".stripMargin
+  }
+
+  /** Checks whether the given semantics setting is Java compliant */
+  def isCompliant(name: String): Boolean = name match {
+    case "asInstanceOfs" => asInstanceOfs == CheckedBehavior.Compliant
+    case "strictFloats"  => strictFloats
+    case _               => false
+  }
+
+  /** Retrieve a list of semantics which are set to compliant */
+  def compliants: List[String] = {
+    def cl(name: String, cond: Boolean) = if (cond) List(name) else Nil
+
+    cl("asInstanceOfs", asInstanceOfs == CheckedBehavior.Compliant) ++
+    cl("strictFloats",  strictFloats)
+  }
+
+  private def copy(
+      asInstanceOfs: CheckedBehavior = this.asInstanceOfs,
+      strictFloats: Boolean = this.strictFloats): Semantics = {
+    new Semantics(
+        asInstanceOfs = asInstanceOfs,
+        strictFloats  = strictFloats)
+  }
+}
+
+object Semantics {
+  private val HashSeed =
+    scala.util.hashing.MurmurHash3.stringHash(classOf[Semantics].getName)
+
+  val Defaults: Semantics = new Semantics(
+      asInstanceOfs = CheckedBehavior.Fatal,
+      strictFloats  = false)
+
+  def compliantTo(semantics: Traversable[String]): Semantics = {
+    import Defaults._
+    import CheckedBehavior._
+
+    val semsSet = semantics.toSet
+
+    def sw[T](name: String, compliant: T, default: T): T =
+      if (semsSet.contains(name)) compliant else default
+
+    new Semantics(
+        asInstanceOfs = sw("asInstanceOfs", Compliant, asInstanceOfs),
+        strictFloats  = sw("strictFloats",  true,      strictFloats))
+  }
+}