• Home
• info.hupel
• libisabelle_2.11
• 0.3.4
• 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.

bisabelle_2.11.0.3.4.source-code.CancellableFuture.scala Maven / Gradle / Ivy

package edu.tum.cs.isabelle

import scala.concurrent._

import acyclic.file

class CancellableFuture[T](private[isabelle] val promise: Promise[T], private[isabelle] val doCancel: () => Unit) {
  val future: Future[T] = promise.future

  def cancel(): Unit = {
    doCancel()
    promise.tryFailure(new CancellationException())
    ()
  }
}