-
Philippe Suter authoredPhilippe Suter authored
LeonContext.scala 480 B
package leon
import purescala.Definitions.Program
import java.io.File
/** Everything that is part of a compilation unit, except the actual program tree.
* Contexts are immutable, and so should all there fields (with the possible
* exception of the reporter). */
case class LeonContext(
val settings: Settings = Settings(),
val options: List[LeonOption] = Nil,
val files: List[File] = Nil,
val reporter: Reporter = new DefaultReporter
)