Render

io.eezo.db.cli.Render
object Render

The text front end's rendering: result values in, String out, printing left to the caller.

This is example/Cli.scala's output, moved. It stays a separate object from Commands because it is one front end among several (the JSON renderer is the same shape over the same values), and because layer 1's rule is that nothing in it decides what a user sees.

Attributes

Source
Render.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Render.type

Members list

Value members

Concrete methods

def change(c: Change): String

One change with its classification: the line every listing prints, exposed for front ends that lay their own page around it; the dev server's drift page is one.

One change with its classification: the line every listing prints, exposed for front ends that lay their own page around it; the dev server's drift page is one.

Attributes

Source
Render.scala
def freeze(r: FreezeResult): String

Attributes

Source
Render.scala
def migrate(r: MigrateResult): String

Attributes

Source
Render.scala
def status(r: StatusResult): String

Attributes

Source
Render.scala
def sync(r: SyncResult, applyRequested: Boolean): String

applyRequested is the flag the caller passed, which the result deliberately does not carry: it is what distinguishes "refused" from "preview" when nothing was applied.

applyRequested is the flag the caller passed, which the result deliberately does not carry: it is what distinguishes "refused" from "preview" when nothing was applied.

Attributes

Source
Render.scala