• Home
• info.hupel
• pide-interface_2.11
• 1.1.0-RC3
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de-interface_2.11.1.1.0-RC3.source-code.OptionKey.scala Maven / Gradle / Ivy

package info.hupel.isabelle.api

import java.lang.{String => JString}

sealed abstract class OptionKey[T] {
  def set(value: T): OptionKey.Update
}

object OptionKey {

  case class Integer(key: JString) extends OptionKey[Int] {
    def set(value: Int) = Update(key, value.toString)
  }
  case class String(key: JString) extends OptionKey[JString] {
    def set(value: JString) = Update(key, value)
  }
  case class Real(key: JString) extends OptionKey[Double] {
    def set(value: Double) = Update(key, value.toString)
  }
  case class Bool(key: JString) extends OptionKey[Boolean] {
    def set(value: Boolean) = Update(key, if (value) "true" else "false")
  }

  case class Update private[OptionKey](key: JString, value: JString)

}