Package avail

Types

class AvailDebuggerModel(val runtime: AvailRuntime)

AvailDebuggerModel controls the execution of a set of fibers, allowing exploration of the fibers' state. A separate user interface should drive this model.

AvailRuntime

class AvailRuntime(val moduleNameResolver: ModuleNameResolver, fileManager: FileManager)

An AvailRuntime comprises the modules, methods, and special objects that define an Avail system. It also manages global resources, such as file connections.

AvailRuntimeConfiguration

object AvailRuntimeConfiguration

This class contains static state and methods related to the current running configuration.

AvailRuntimeSupport

object AvailRuntimeSupport

A static class for common Avail utility operations.

AvailTask

class AvailTask(val priority: Int, body: () -> Unit) : Comparable<AvailTask> , Runnable

An AvailTask extends Runnable with a priority. Instances are intended to be executed only by Avail threads.

AvailThread

class AvailThread : Thread

An AvailThread is a thread managed by a particular Avail runtime. Instances may obtain the managing runtime through the static accessor AvailRuntime.currentRuntime. New instances will be created as necessary by an Avail runtime's executor.

CallbackSystem

class CallbackSystem

A mechanism for adapting a Java Function into an Avail A_Function. The Java function must take an A_Tuple and return an AvailObject. The Avail function's signature is provided, and will pack its arguments into a tuple for the Java function. The Java function's returned value will be checked at runtime before being returned into Avail.

ImmutableList

data class ImmutableList<Item>(val first: Item, val rest: ImmutableList<Item>?)

A trivial immutable linked list of AvailTasks.