Builder

class Builder

Fluent builder for App, provided primarily for Java callers. Any property left unset falls back to the same default as the constructor.

Constructors

Link copied to clipboard
constructor()

Functions

Link copied to clipboard
fun appName(appName: String): App.Builder
Link copied to clipboard
fun build(): App
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
fun plugins(plugins: List<Plugin>): App.Builder
fun plugins(vararg plugins: Plugin): App.Builder
Link copied to clipboard
Link copied to clipboard
fun rootAgent(rootAgent: BaseAgent?): App.Builder

Sets the root agent; null derives it from the root node, as the node constructor does.

Link copied to clipboard
fun rootNode(rootNode: Node?): App.Builder

Sets the root node. Like copy, this keeps the root agent already set; to re-root on another node, also call rootAgent(null) to derive the root agent from this node.