SSH

Type Members

type Attrs = SftpATTRS
class Context extends AnyRef
sealed case class Dir_Entry(name: Path, attrs: Attrs) extends Product with Serializable
class Exec extends AnyRef
class Port_Forwarding extends AnyRef
class Session extends System
trait System extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Local extends System
object No_User_Info extends UserInfo
object Port_Forwarding
object Target
def alive_count_max(options: Options): Int
def alive_interval(options: Options): Int
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def connect_timeout(options: Options): Int
val default_port: Int
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def init_context(options: Options): Context
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def logging(verbose: Boolean = true, debug: Boolean = false): Unit
def make_port(port: Int): Int
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def open_session(options: Options, host: String, user: String = "", port: Int = 0, proxy_host: String = "", proxy_user: String = "", proxy_port: Int = 0, permissive: Boolean = false): Session
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package isabelle

object SSH

Type Members

type Attrs = SftpATTRS

class Context extends AnyRef

sealed case class Dir_Entry(name: Path, attrs: Attrs) extends Product with Serializable

class Exec extends AnyRef

class Port_Forwarding extends AnyRef

class Session extends System

trait System extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Local extends System

object No_User_Info extends UserInfo

object Port_Forwarding

object Target

def alive_count_max(options: Options): Int

def alive_interval(options: Options): Int

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def connect_timeout(options: Options): Int

val default_port: Int

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def init_context(options: Options): Context

final def isInstanceOf[T0]: Boolean

def logging(verbose: Boolean = true, debug: Boolean = false): Unit

def make_port(port: Int): Int

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def open_session(options: Options, host: String, user: String = "", port: Int = 0, proxy_host: String = "", proxy_user: String = "", proxy_port: Int = 0, permissive: Boolean = false): Session

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped