B2R2


Printer Type

Any B2R2's layers should *not* use System.Console or `printfn` to directly output strings. Instead, they should resort to the Printer to "indirectly" print out strings.

Constructors

Constructor Description

Printer()

Full Usage: Printer()

Returns: Printer
Returns: Printer

Instance members

Instance member Description

this.Flush()

Full Usage: this.Flush()

Modifiers: abstract

Flush out everything.

this.Print(arg1, args)

Full Usage: this.Print(arg1, args)

Parameters:
    arg0 : string
    args : obj[]

Modifiers: abstract

Print out the formated string.

arg0 : string
args : obj[]

this.Print(arg1)

Full Usage: this.Print(arg1)

Parameters:
Modifiers: abstract

Print out the given ColoredString.

arg0 : ColoredString

this.Print(arg1)

Full Usage: this.Print(arg1)

Parameters:
Modifiers: abstract

Print out the given OutString.

arg0 : OutString

this.PrintLine()

Full Usage: this.PrintLine()

Modifiers: abstract

Print out a newline.

this.PrintLine(fmt, args)

Full Usage: this.PrintLine(fmt, args)

Parameters:
    fmt : string
    args : obj[]

Modifiers: abstract

Print out the formated string with newline.

fmt : string
args : obj[]

this.PrintLine(s)

Full Usage: this.PrintLine(s)

Parameters:
    s : string

Modifiers: abstract

Print out the formated string with newline.

s : string

this.PrintLine(cs)

Full Usage: this.PrintLine(cs)

Parameters:
Modifiers: abstract

Print out the given ColoredString with newline.

cs : ColoredString

this.PrintLine(os)

Full Usage: this.PrintLine(os)

Parameters:
Modifiers: abstract

Print out the given OutString with newline.

os : OutString

this.PrintLineIfPrevLineWasNotEmpty()

Full Usage: this.PrintLineIfPrevLineWasNotEmpty()

Modifiers: abstract

Print out a newline only if the previous output was not empty (i.e., a line with only a newline). In other words, this function will not output anything if the previous output was an empty line. This is to make sure we output only one single empty line in some situations.

this.PrintRow(arg1, arg2, arg3)

Full Usage: this.PrintRow(arg1, arg2, arg3)

Parameters:
Modifiers: abstract

Print out table row for the given string list.

arg0 : bool
arg1 : TableConfig
arg2 : string list

this.PrintRow(arg1, arg2, arg3)

Full Usage: this.PrintRow(arg1, arg2, arg3)

Parameters:
Modifiers: abstract

Print out table row for the given ColoredString list.

arg0 : bool
arg1 : TableConfig
arg2 : ColoredString list

this.PrintSectionTitle(arg1)

Full Usage: this.PrintSectionTitle(arg1)

Parameters:
    arg0 : string

Modifiers: abstract

Print out the section title.

arg0 : string

this.PrintSubsectionTitle(arg1)

Full Usage: this.PrintSubsectionTitle(arg1)

Parameters:
    arg0 : string

Modifiers: abstract

Print out the subsection title.

arg0 : string

this.PrintSubsubsectionTitle(arg1)

Full Usage: this.PrintSubsubsectionTitle(arg1)

Parameters:
    arg0 : string

Modifiers: abstract

Print out the subsubsection title.

arg0 : string

this.PrintTwoCols(arg1) (arg2)

Full Usage: this.PrintTwoCols(arg1) (arg2)

Parameters:
    arg0 : string
    arg1 : string

Modifiers: abstract

Print out a line with two columns. Each column has a predefined width.

arg0 : string
arg1 : string

this.PrintTwoColsWithColorOnSnd(arg1) (arg2)

Full Usage: this.PrintTwoColsWithColorOnSnd(arg1) (arg2)

Parameters:
Modifiers: abstract

Print out a line with two columns. Each column has a predefined width, and the second column will be colored.

arg0 : string
arg1 : ColoredString

Static members

Static member Description

Printer.printErrorToConsole str

Full Usage: Printer.printErrorToConsole str

Parameters:
    str : string

str : string

Printer.printToConsole (s, args)

Full Usage: Printer.printToConsole (s, args)

Parameters:
    s : string
    args : obj[]

s : string
args : obj[]

Printer.printToConsole s

Full Usage: Printer.printToConsole s

Parameters:
s : ColoredString

Printer.printToConsoleLine ()

Full Usage: Printer.printToConsoleLine ()

Printer.printToConsoleLine (s, args)

Full Usage: Printer.printToConsoleLine (s, args)

Parameters:
    s : string
    args : obj[]

s : string
args : obj[]

Printer.printToConsoleLine s

Full Usage: Printer.printToConsoleLine s

Parameters:
s : ColoredSegment list