TemporaryInputPhase.scala

/* Copyright 2009-2014 EPFL, Lausanne */

package leon
package utils

import java.io.{File, BufferedWriter, FileWriter}

object TemporaryInputPhase extends LeonPhase[(String, List[String]), List[String]] {

  val name = "Temporary Input"
  val description = "Create source files from string content"

  def run(ctx: LeonContext)(data: (String, List[String])): List[String] = {
    val (content, opts) = data

    val file : File = File.createTempFile("leon", ".scala")
    file.deleteOnExit
    val out = new BufferedWriter(new FileWriter(file))
    out.write(content)
    out.close


    (file.getAbsolutePath() :: opts)
  }
}