isabelle

class Isabelle_System

[source: isabelle/Isabelle_System.scala]

class Isabelle_System
extends AnyRef
Value Summary
val symbols : Interpretation
Method Summary
def components : scala.List[java.lang.String]
def execute (redirect : Boolean, args : java.lang.String*) : java.lang.Process
def expand_path (isabelle_path : java.lang.String) : java.lang.String
def fifo_reader (fifo : java.lang.String) : java.io.BufferedReader
def find_logics : scala.List[java.lang.String]
def getenv (name : java.lang.String) : java.lang.String
def getenv_strict (name : java.lang.String) : java.lang.String
def id : java.lang.String
def isabelle_path (platform_path : java.lang.String) : java.lang.String
def isabelle_tool (name : java.lang.String, args : java.lang.String*) : (java.lang.String, Int)
def mk_fifo : java.lang.String
def platform_file (path : java.lang.String) : java.io.File
def platform_path (isabelle_path : java.lang.String) : java.lang.String
def rm_fifo (fifo : java.lang.String) : Unit
def source_file (path : java.lang.String) : scala.Option[java.io.File]
override def toString : java.lang.String
Returns a string representation of the object.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val symbols : Interpretation

Method Details
def id : java.lang.String

def getenv(name : java.lang.String) : java.lang.String

def getenv_strict(name : java.lang.String) : java.lang.String

override def toString : java.lang.String
Returns a string representation of the object.

The default representation is platform dependent.

Returns
a string representation of the object.


def expand_path(isabelle_path : java.lang.String) : java.lang.String

def platform_path(isabelle_path : java.lang.String) : java.lang.String

def platform_file(path : java.lang.String) : java.io.File

def isabelle_path(platform_path : java.lang.String) : java.lang.String

def source_file(path : java.lang.String) : scala.Option[java.io.File]

def execute(redirect : Boolean, args : java.lang.String*) : java.lang.Process

def isabelle_tool(name : java.lang.String, args : java.lang.String*) : (java.lang.String, Int)

def mk_fifo : java.lang.String

def rm_fifo(fifo : java.lang.String) : Unit

def fifo_reader(fifo : java.lang.String) : java.io.BufferedReader

def components : scala.List[java.lang.String]

def find_logics : scala.List[java.lang.String]