Defines some ANSI Terminal Control Escape Sequences.

The color methods (e.g. Text::green) format the text to appear colored in a ANSI/VT100 terminal. By default, this coloring is skipped if stdout is not a TTY, but it can be forced by setting force_console_colors = true.

Introduced classes

class TermCharFormat

console :: TermCharFormat

ANSI/VT100 code to change character look (SGR).
class TermClearDisplay

console :: TermClearDisplay

ANSI/VT100 code to clear the entire display and move the cursor to the top left of screen (ED 2).
class TermClearLine

console :: TermClearLine

ANSI/VT100 code to clear everything in the current line (EL 2).
abstract class TermDirectionalMove

console :: TermDirectionalMove

Abstract class of the ANSI/VT100 escape sequences for directional moves.
class TermEraseDisplayDown

console :: TermEraseDisplayDown

ANSI/VT100 code to clear from the cursor to the end of the screen (ED 0).
class TermEraseDisplayUp

console :: TermEraseDisplayUp

ANSI/VT100 code to clear from the cursor to the beginning of the screen (ED 1).
class TermEraseLineBackward

console :: TermEraseLineBackward

ANSI/VT100 code to erase anything before the cursor in the line (EL 1).
class TermEraseLineFoward

console :: TermEraseLineFoward

ANSI/VT100 code to erase anything after the cursor in the line (EL 0).
abstract class TermEscape

console :: TermEscape

A ANSI/VT100 escape sequence.
class TermMove

console :: TermMove

ANSI/VT100 code to move the cursor at the specified position (CUP).
class TermMoveBackward

console :: TermMoveBackward

ANSI/VT100 code to move the cursor backward by magnitude columns (CUB).
class TermMoveDown

console :: TermMoveDown

ANSI/VT100 code to move the cursor down by magnitude rows (CUD).
class TermMoveFoward

console :: TermMoveFoward

ANSI/VT100 code to move the cursor forward by magnitude columns (CUF).
class TermMoveUp

console :: TermMoveUp

ANSI/VT100 code to move the cursor up by magnitude rows (CUU).
class TermProgress

console :: TermProgress

A dynamic progress bar displayable in console.
class TermRestoreCursor

console :: TermRestoreCursor

ANSI/VT100 code to restore the current cursor position (RCP).
class TermSaveCursor

console :: TermSaveCursor

ANSI/VT100 code to save the current cursor position (SCP).

Redefined classes

redef class Sys

console :: console $ Sys

The main class of the program.
redef abstract class Text

console :: console $ Text

Services to color terminal output

All class definitions

redef class Sys

console :: console $ Sys

The main class of the program.
class TermCharFormat

console $ TermCharFormat

ANSI/VT100 code to change character look (SGR).
class TermClearDisplay

console $ TermClearDisplay

ANSI/VT100 code to clear the entire display and move the cursor to the top left of screen (ED 2).
class TermClearLine

console $ TermClearLine

ANSI/VT100 code to clear everything in the current line (EL 2).
abstract class TermDirectionalMove

console $ TermDirectionalMove

Abstract class of the ANSI/VT100 escape sequences for directional moves.
class TermEraseDisplayDown

console $ TermEraseDisplayDown

ANSI/VT100 code to clear from the cursor to the end of the screen (ED 0).
class TermEraseDisplayUp

console $ TermEraseDisplayUp

ANSI/VT100 code to clear from the cursor to the beginning of the screen (ED 1).
class TermEraseLineBackward

console $ TermEraseLineBackward

ANSI/VT100 code to erase anything before the cursor in the line (EL 1).
class TermEraseLineFoward

console $ TermEraseLineFoward

ANSI/VT100 code to erase anything after the cursor in the line (EL 0).
abstract class TermEscape

console $ TermEscape

A ANSI/VT100 escape sequence.
class TermMove

console $ TermMove

ANSI/VT100 code to move the cursor at the specified position (CUP).
class TermMoveBackward

console $ TermMoveBackward

ANSI/VT100 code to move the cursor backward by magnitude columns (CUB).
class TermMoveDown

console $ TermMoveDown

ANSI/VT100 code to move the cursor down by magnitude rows (CUD).
class TermMoveFoward

console $ TermMoveFoward

ANSI/VT100 code to move the cursor forward by magnitude columns (CUF).
class TermMoveUp

console $ TermMoveUp

ANSI/VT100 code to move the cursor up by magnitude rows (CUU).
class TermProgress

console $ TermProgress

A dynamic progress bar displayable in console.
class TermRestoreCursor

console $ TermRestoreCursor

ANSI/VT100 code to restore the current cursor position (RCP).
class TermSaveCursor

console $ TermSaveCursor

ANSI/VT100 code to save the current cursor position (SCP).
redef abstract class Text

console :: console $ Text

Services to color terminal output
package_diagram console::console console core core console::console->core logger::logger logger logger::logger->console::console rubix::rubix rubix rubix::rubix->console::console saxophonit::testing testing saxophonit::testing->console::console nitc::parser_nodes parser_nodes nitc::parser_nodes->console::console github::wallet wallet github::wallet->logger::logger popcorn::pop_logging pop_logging popcorn::pop_logging->logger::logger github::wallet... ... github::wallet...->github::wallet popcorn::pop_logging... ... popcorn::pop_logging...->popcorn::pop_logging a_star-m a_star-m a_star-m->rubix::rubix a_star-m... ... a_star-m...->a_star-m nitc::lexer_work lexer_work nitc::lexer_work->nitc::parser_nodes nitc::lexer_work... ... nitc::lexer_work...->nitc::lexer_work

Ancestors

module abstract_collection

core :: abstract_collection

Abstract collection classes and services.
module abstract_text

core :: abstract_text

Abstract class for manipulation of sequences of characters
module array

core :: array

This module introduces the standard array structure.
module bitset

core :: bitset

Services to handle BitSet
module bytes

core :: bytes

Services for byte streams and arrays
module circular_array

core :: circular_array

Efficient data structure to access both end of the sequence.
module codec_base

core :: codec_base

Base for codecs to use with streams
module codecs

core :: codecs

Group module for all codec-related manipulations
module collection

core :: collection

This module define several collection classes.
module environ

core :: environ

Access to the environment variables of the process
module error

core :: error

Standard error-management infrastructure.
module exec

core :: exec

Invocation and management of operating system sub-processes.
module file

core :: file

File manipulations (create, read, write, etc.)
module fixed_ints

core :: fixed_ints

Basic integers of fixed-precision
module fixed_ints_text

core :: fixed_ints_text

Text services to complement fixed_ints
module flat

core :: flat

All the array-based text representations
module gc

core :: gc

Access to the Nit internal garbage collection mechanism
module hash_collection

core :: hash_collection

Introduce HashMap and HashSet.
module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O
module kernel

core :: kernel

Most basic classes and methods.
module list

core :: list

This module handle double linked lists
module math

core :: math

Mathematical operations
module native

core :: native

Native structures for text and bytes
module numeric

core :: numeric

Advanced services for Numeric types
module protocol

core :: protocol

module queue

core :: queue

Queuing data structures and wrappers
module range

core :: range

Module for range of discrete objects.
module re

core :: re

Regular expression support for all services based on Pattern
module ropes

core :: ropes

Tree-based representation of a String.
module sorter

core :: sorter

This module contains classes used to compare things and sorts arrays.
module stream

core :: stream

Input and output streams of characters
module text

core :: text

All the classes and methods related to the manipulation of text entities
module time

core :: time

Management of time and dates
module union_find

core :: union_find

union–find algorithm using an efficient disjoint-set data structure
module utf8

core :: utf8

Codec for UTF-8 I/O

Parents

module core

core :: core

Standard classes and methods used by default by Nit programs and libraries.

Children

module logger

logger :: logger

A simple logger for Nit
module parser_nodes

nitc :: parser_nodes

AST nodes of the Nit language
module rubix

rubix :: rubix

Rubix-cube modelization library
module testing

saxophonit :: testing

Various utilities to help testing SAXophoNit (and SAX parsers in general).

Descendants

module a_star-m

a_star-m

module abstract_compiler

nitc :: abstract_compiler

Abstract compiler
module actors_generation_phase

nitc :: actors_generation_phase

Generate a support module for each module that contain a class annotated with is actor
module actors_injection_phase

nitc :: actors_injection_phase

Injects model for the classes annotated with "is actor" so
module android

nitc :: android

Compile program for the Android platform
module android_annotations

nitc :: android_annotations

Additionnal annotations to gather metadata on Android projects
module annotation

nitc :: annotation

Management and utilities on annotations
module api

nitc :: api

Components required to build a web server about the nit model.
module api_auth

nitc :: api_auth

module api_base

nitc :: api_base

Base classes used by nitweb.
module api_docdown

nitc :: api_docdown

Nitdoc specific Markdown format handling for Nitweb
module api_feedback

nitc :: api_feedback

Feedback related features
module api_light

nitc :: api_light

Highlight and collect messages from a piece of code
module api_model

nitc :: api_model

module app_annotations

nitc :: app_annotations

Annotations to gather metadata on app.nit projects
module ast_metrics

nitc :: ast_metrics

Metrics about the nodes and identifiers in the AST
module astbuilder

nitc :: astbuilder

Instantiation and transformation of semantic nodes in the AST of expressions and statements
module astutil

nitc :: astutil

Additional features on Nit AST
module auto_super_init

nitc :: auto_super_init

Computing of super-constructors that must be implicitly called at the begin of constructors.
module c

nitc :: c

Support for nesting C code within a Nit program using its FFI
module c_compiler_options

nitc :: c_compiler_options

Offers the annotations cflags and ldflags to specify
module catalog

nitc :: catalog

Basic catalog generator for Nit packages
module check_annotation

nitc :: check_annotation

Check that annotation present in the AST are either primitive or user-declared
module code_gen

nitc :: code_gen

Main frontend phases plus code generation phases
module commands_base

nitc :: commands_base

Documentation commands
module commands_catalog

nitc :: commands_catalog

Commands to retrieve Catalog related data
module commands_docdown

nitc :: commands_docdown

Doc down related queries
module commands_graph

nitc :: commands_graph

Graph commands
module commands_http

nitc :: commands_http

Initialize commands from HTTP requests
module commands_model

nitc :: commands_model

Doc commands about a Model or a MEntity
module commands_parser

nitc :: commands_parser

A parser that create DocCommand from a string
module commands_usage

nitc :: commands_usage

Commands about how mentities are used
module compilation

nitc :: compilation

The compilation module of the VirtualMachine
module compiler

nitc :: compiler

Compilation to C
module compiler_ffi

nitc :: compiler_ffi

Full FFI support for the compiler
module compiler_serialization

nitc :: compiler_serialization

Serialization support for the compiler
module contracts

nitc :: contracts

Module to build contract
module cpp

nitc :: cpp

Supports the use of the C++ language through the FFI
module deriving

nitc :: deriving

Injection of automatic method definitions for standard methods, based on the attributes of the classes
module detect_covariance

nitc :: detect_covariance

Detect the static usage of covariance in the code.
module detect_variance_constraints

nitc :: detect_variance_constraints

Collect metrics about detected variances constraints on formal types.
module div_by_zero

nitc :: div_by_zero

Detection of divisions by zero in obvious cases
module dynamic_loading_ffi

nitc :: dynamic_loading_ffi

Execute FFI code by creating and loading shared libraries
module emscripten

nitc :: emscripten

Compile to JavaScript using the Emscripten SDK
module example_angular

popcorn :: example_angular

This is an example of how to use angular.js with popcorn
module explain_assert

nitc :: explain_assert

Explain failed assert to the console by modifying the AST.
module explain_assert_api

nitc :: explain_assert_api

Explain failed assert to the console (service declaration only)
module extern_classes

nitc :: extern_classes

Manages all extern classes and their associated foreign type.
module extra_java_files

nitc :: extra_java_files

Intro the annotation extra_java_files to compile extra java files
module ffi

nitc :: ffi

Full FFI support, independent of the compiler
module ffi_base

nitc :: ffi_base

Tools and utilities for implement FFI with different languages
module flow

nitc :: flow

Intraprocedural static flow.
module frontend

nitc :: frontend

Collect and orchestration of main frontend phases
module generate_hierarchies

nitc :: generate_hierarchies

Create dot files for various hierarchies of a model.
module global_compiler

nitc :: global_compiler

Global compilation of a Nit program
module glsl_validation

nitc :: glsl_validation

Check shader code within Nit modules using the tool glslangValidator
module header_dependency

nitc :: header_dependency

Tracks which modules has public header code that must be imported
module highlight

nitc :: highlight

Highlighting of Nit AST
module html_commands

nitc :: html_commands

Render commands results as HTML
module html_model

nitc :: html_model

Translate mentities to html blocks.
module htmlight

nitc :: htmlight

Highlighting of Nit AST with HTML
module i18n_phase

nitc :: i18n_phase

Basic support of internationalization through the generation of id-to-string tables
module inheritance_metrics

nitc :: inheritance_metrics

Collect metrics about inheritance usage
module interpreter

nitc :: interpreter

Interpretation of Nit programs
module ios

nitc :: ios

Compile programs for the iOS platform
module java

nitc :: java

FFI support for the Java language
module java_compiler

nitc :: java_compiler

Compile Nit code to Java code
module json_commands

nitc :: json_commands

Translate command results to json
module json_model

nitc :: json_model

Make model entities Serializable.
module lexer

nitc :: lexer

Lexer and its tokens.
module lexer_work

nitc :: lexer_work

Internal algorithm and data structures for the Nit lexer
module light

nitc :: light

Light FFI support for the compiler
module light_c

nitc :: light_c

Support for nesting C code within a Nit program using its FFI
module light_ffi

nitc :: light_ffi

Light FFI support, independent of the compiler
module light_ffi_base

nitc :: light_ffi_base

Tools and utilities for implement FFI with different languages
module light_only

nitc :: light_only

Compiler support for the light FFI only, detects unsupported usage of callbacks
module literal

nitc :: literal

Parsing of literal values in the abstract syntax tree.
module loader

github :: loader

module loader

nitc :: loader

Loading of Nit source files
module local_var_init

nitc :: local_var_init

Verify that local variables are initialized before their usage
module mclasses_metrics

nitc :: mclasses_metrics

Collect common metrics about mclasses
module md_commands

nitc :: md_commands

Render commands results as Markdown
module memory_logger

nitc :: memory_logger

Extension to inject memory-tracing instrumentation in code generated by nitc.
module mendel_metrics

nitc :: mendel_metrics

The Mendel model helps to understand class hierarchies.
module metrics

nitc :: metrics

Various statistics about Nit models and programs
module metrics_base

nitc :: metrics_base

Helpers for various statistics tools.
module mixin

nitc :: mixin

Loading and additional module refinements at link-time.
module mmodules_metrics

nitc :: mmodules_metrics

Collect common metrics about modules
module model_collect

nitc :: model_collect

Collect things from the model.
module model_hyperdoc

nitc :: model_hyperdoc

Dump of Nit model into hypertext human-readable format.
module model_index

nitc :: model_index

Search things from the Model
module model_visitor

nitc :: model_visitor

Simple visitor framework for Nit models.
module modelbuilder_base

nitc :: modelbuilder_base

Load nit source files and build the associated model
module modelize

nitc :: modelize

Create a model from nit source files
module modelize_class

nitc :: modelize_class

Analysis and verification of class definitions to instantiate model element
module modelize_property

nitc :: modelize_property

Analysis and verification of property definitions to instantiate model element
module naive_interpreter

nitc :: naive_interpreter

Interpretation of a Nit program directly on the AST
module nit

nitc :: nit

A naive Nit interpreter
module nitc

nitc :: nitc

A Nit compiler
module nitcatalog

nitc :: nitcatalog

Basic catalog generator for Nit packages
module nitdoc

nitc :: nitdoc

Generator of static API documentation for the Nit language
module nith

nitc :: nith

A ligHt Nit compiler
module nitj

nitc :: nitj

Compile Nit into Java code runnable on the Java Virtual Machine.
module nitlight

nitc :: nitlight

Tool that produces highlighting for Nit programs
module nitls

nitc :: nitls

Simple tool to list Nit source files
module nitmetrics

nitc :: nitmetrics

A program that collects various metrics on nit programs and libraries
module nitni

nitc :: nitni

Native interface related services (used underneath the FFI)
module nitni_base

nitc :: nitni_base

Native interface related services (used underneath the FFI)
module nitni_callbacks

nitc :: nitni_callbacks

nitni services related to callbacks (used underneath the FFI)
module nitpackage

nitc :: nitpackage

Helpful features about packages
module nitpick

nitc :: nitpick

A program that collect potential style and code issues
module nitpretty

nitc :: nitpretty

module nitrestful

nitc :: nitrestful

Tool generating boilerplate code linking RESTful actions to Nit methods
module nitsaf

nitc :: nitsaf

Nit Static Analysis Framework client example.
module nitserial

nitc :: nitserial

Serialization support compiler, a tool to support deserialization of live generic types
module nitsmells

nitc :: nitsmells

module nituml

nitc :: nituml

UML generator in dot format.
module nitunit

nitc :: nitunit

Testing tool.
module nitvm

nitc :: nitvm

The Nit virtual machine launcher
module nitweb

nitc :: nitweb

Runs a webserver based on nitcorn that render things from model.
module nitx

nitc :: nitx

nitx, a command tool that displays useful data about Nit code
module no_warning

nitc :: no_warning

Fill toolcontext information about blacklisting of warnings.
module nullables_metrics

nitc :: nullables_metrics

Statistics about the usage of nullables
module objc

nitc :: objc

FFI support for Objective-C
module on_demand_compiler

nitc :: on_demand_compiler

Compiles extern code within a module to a static library, as needed
module parallelization_phase

nitc :: parallelization_phase

Phase generating threads for functions annotated with threaded annotation
module parse_annotations

nitc :: parse_annotations

Simple annotation parsing
module parser

nitc :: parser

Parser.
module parser_prod

nitc :: parser_prod

Production AST nodes full definition.
module parser_util

nitc :: parser_util

Utils and tools related to parsers and AST
module parser_work

nitc :: parser_work

Internal algorithm and data structures for the Nit parser
module phase

nitc :: phase

Phases of the processing of nit programs
module pkgconfig

nitc :: pkgconfig

Offers the PkgconfigPhase to use the external program "pkg-config" in order
module platform

nitc :: platform

Platform system, used to customize the behavior of the compiler.
module pop_tests

popcorn :: pop_tests

Popcorn testing services
module popcorn

popcorn :: popcorn

Application server abstraction on top of nitcorn.
module poset_metrics

nitc :: poset_metrics

Metrics about the various posets of the model of a Nit program
module pretty

nitc :: pretty

Library used to pretty print Nit code.
module rapid_type_analysis

nitc :: rapid_type_analysis

Rapid type analysis on the AST
module readme_metrics

nitc :: readme_metrics

Collect common metrics about README files
module refinement_metrics

nitc :: refinement_metrics

Collect metrics about refinement usage
module regex_phase

nitc :: regex_phase

Check for error in regular expressions from string literals
module rta_metrics

nitc :: rta_metrics

Metrics from RTA
module saf

nitc :: saf

Nit Static Analysis Framework.
module saf_base

nitc :: saf_base

Static Analysis Framework base
module scope

nitc :: scope

Identification and scoping of local variables and labels.
module self_metrics

nitc :: self_metrics

Metrics about the usage of explicit and implicit self
module semantize

nitc :: semantize

Process bodies of methods in regard with the model.
module separate_compiler

nitc :: separate_compiler

Separate compilation of a Nit program
module separate_erasure_compiler

nitc :: separate_erasure_compiler

Separate compilation of a Nit program with generic type erasure
module serialization_code_gen_phase

nitc :: serialization_code_gen_phase

Phase generating methods (code) to serialize Nit objects
module serialization_model_phase

nitc :: serialization_model_phase

Phase generating methods (model-only) to serialize Nit objects
module simple_misc_analysis

nitc :: simple_misc_analysis

Simple vavious processing on a AST
module ssa

nitc :: ssa

Single-Static Assignment algorithm from an AST
module static

nitc :: static

Nitdoc generation framework
module static_base

nitc :: static_base

Base entities shared by all the nitdoc code
module static_cards

nitc :: static_cards

Cards templates for the static documentation
module static_html

nitc :: static_html

Render documentation pages as HTML
module static_index

nitc :: static_index

Manage indexing of Nit model for Nitdoc QuickSearch.
module static_structure

nitc :: static_structure

Composes the pages of the static documentation
module static_types_metrics

nitc :: static_types_metrics

Metrics on the usage of explicit static types.
module tables_metrics

nitc :: tables_metrics

Metrics on table generation
module term

nitc :: term

module term_model

nitc :: term_model

Markdown templates for Nit model MEntities.
module test_astbuilder

nitc :: test_astbuilder

Program used to test the clone method of the astbuilder tool
module test_highlight

nitc :: test_highlight

Program used to test the Nit highlighter
module test_model_visitor

nitc :: test_model_visitor

Example of model_visitor
module test_neo

nitc :: test_neo

Test for neo model saving and loading.
module test_parser

nitc :: test_parser

Program used to test the NIT parser
module test_phase

nitc :: test_phase

Stub for loading a runing phases on a bunch of modules
module test_test_phase

nitc :: test_test_phase

Example of simple module that aims to do some specific work on nit programs.
module testing

nitc :: testing

Test unit generation and execution for Nit.
module testing_base

nitc :: testing_base

Base options for testing tools.
module testing_doc

nitc :: testing_doc

Testing from code comments.
module testing_gen

nitc :: testing_gen

Test Suites generation.
module testing_suite

nitc :: testing_suite

Testing from external files.
module transform

nitc :: transform

Thansformations that simplify the AST of expressions
module typing

nitc :: typing

Intraprocedural resolution of static types and OO-services
module uml

nitc :: uml

Group head module for UML generation services
module uml_base

nitc :: uml_base

Exposes the base class for UML generation of a Model
module uml_class

nitc :: uml_class

Provides facilities of exporting a Model to a UML class diagram
module uml_module

nitc :: uml_module

Services for generation of a UML package diagram based on a Model
module variables_numbering

nitc :: variables_numbering

Handle all numbering operations related to local variables in the Nit virtual machine
module vim_autocomplete

nitc :: vim_autocomplete

Generate files used by the Vim plugin to autocomplete with doc
module virtual_machine

nitc :: virtual_machine

Implementation of the Nit virtual machine
module vm

nitc :: vm

Entry point of all vm components
module vm_optimizations

nitc :: vm_optimizations

Optimization of the nitvm
module wallet

github :: wallet

Github OAuth tokens management
module xcode_templates

nitc :: xcode_templates

Templates and other services to create XCode projects
# Defines some ANSI Terminal Control Escape Sequences.
#
# The color methods (e.g. `Text::green`) format the text to appear colored
# in a ANSI/VT100 terminal. By default, this coloring is skipped if stdout
# is not a TTY, but it can be forced by setting `force_console_colors = true`.
module console

# A ANSI/VT100 escape sequence.
abstract class TermEscape
	# The US-ASCII ESC character.
	protected fun esc: Char do return 27.code_point

	# The Control Sequence Introducer (CSI).
	protected fun csi: String do return "{esc}["
end

# Abstract class of the ANSI/VT100 escape sequences for directional moves.
abstract class TermDirectionalMove
	super TermEscape

	# The length of the move.
	var magnitude: Int = 1 is protected writable

	redef fun to_s do
		if magnitude == 1 then return "{csi}{code}"
		return "{csi}{magnitude}{code}"
	end

	# The code of the command.
	protected fun code: String is abstract
end

# ANSI/VT100 code to move the cursor up by `magnitude` rows (CUU).
class TermMoveUp
	super TermDirectionalMove

	# Move by the specified number of cells.
	init by(magnitude: Int) do self.magnitude = magnitude

	redef fun code do return "A"
end

# ANSI/VT100 code to move the cursor down by `magnitude` rows (CUD).
class TermMoveDown
	super TermDirectionalMove

	# Move by the specified number of cells.
	init by(magnitude: Int) do self.magnitude = magnitude

	redef fun code do return "B"
end

# ANSI/VT100 code to move the cursor forward by `magnitude` columns (CUF).
class TermMoveFoward
	super TermDirectionalMove

	# Move by the specified number of cells.
	init by(magnitude: Int) do self.magnitude = magnitude

	redef fun code do return "C"
end

# ANSI/VT100 code to move the cursor backward by `magnitude` columns (CUB).
class TermMoveBackward
	super TermDirectionalMove

	# Move by the specified number of cells.
	init by(magnitude: Int) do self.magnitude = magnitude

	redef fun code do return "D"
end

# ANSI/VT100 code to move the cursor at the specified position (CUP).
class TermMove
	super TermEscape

	# Vertical position.
	#
	# 1 is the top.
	var row: Int = 1

	# Horizontal position.
	#
	# 1 is the left.
	var column: Int = 1

	# Move at the specified position.
	#
	# (1, 1) is the top-left corner of the display.
	init at(row: Int, column: Int) do
		self.row = row
		self.column = column
	end

	redef fun to_s do
		if row == 1 then
			if column == 1 then return "{csi}H"
			return "{csi};{column}H"
		else
			if column == 1 then return "{csi}{row}H"
			return "{csi}{row};{column}H"
		end
	end
end

# ANSI/VT100 code to clear from the cursor to the end of the screen (ED 0).
class TermEraseDisplayDown
	super TermEscape
	redef fun to_s do return "{csi}J"
end

# ANSI/VT100 code to clear from the cursor to the beginning of the screen (ED 1).
class TermEraseDisplayUp
	super TermEscape
	redef fun to_s do return "{csi}1J"
end

# ANSI/VT100 code to clear the entire display and move the cursor to the top left of screen (ED 2).
#
# Note: Some terminals always move the cursor when the screen is cleared. So we
# force this behaviour to ensure interoperability of the code.
class TermClearDisplay
	super TermEscape
	redef fun to_s do return "{csi}2J{csi}H"
end

# ANSI/VT100 code to erase anything after the cursor in the line (EL 0).
class TermEraseLineFoward
	super TermEscape
	redef fun to_s do return "{csi}K"
end

# ANSI/VT100 code to erase anything before the cursor in the line (EL 1).
class TermEraseLineBackward
	super TermEscape
	redef fun to_s do return "{csi}1K"
end

# ANSI/VT100 code to clear everything in the current line (EL 2).
class TermClearLine
	super TermEscape
	redef fun to_s do return "{csi}2K"
end

# ANSI/VT100 code to save the current cursor position (SCP).
class TermSaveCursor
	super TermEscape
	redef fun to_s do return "{csi}s"
end

# ANSI/VT100 code to restore the current cursor position (RCP).
class TermRestoreCursor
	super TermEscape
	redef fun to_s do return "{csi}u"
end

# ANSI/VT100 code to change character look (SGR).
#
# By default, resets everything to the terminal’s defaults.
#
# Note:
#
# The escape sequence inserted at the end of the string by terminal-related
# methods of `String` resets all character attributes to the terminal’s
# defaults. So, when combining format `a` and `b`, something like
# `("foo".a + " bar").b` will not work as expected, but `"foo".a.b + " bar".b`
# will. You may also use `TermCharFormat` (this class).
#
# Usage example:
#
#     print "{(new TermCharFormat).yellow_fg.bold}a{(new TermCharFormat).yellow_fg}b{new TermCharFormat}"
class TermCharFormat
	super TermEscape

	private var attributes: Array[String] = new Array[String]

	# Copies the attributes from the specified format.
	init from(format: TermCharFormat) do
		attributes.add_all(format.attributes)
	end

	redef fun to_s do return "{csi}{attributes.join(";")}m"

	# Apply the specified SGR and return `self`.
	private fun apply(sgr: String): TermCharFormat do
		attributes.add(sgr)
		return self
	end

	# Apply normal (default) format and return `self`.
	fun default: TermCharFormat do return apply("0")

	# Apply bold weight and return `self`.
	fun bold: TermCharFormat do return apply("1")

	# Apply underlining and return `self`.
	fun underline: TermCharFormat do return apply("4")

	# Apply blinking or bold weight and return `self`.
	fun blink: TermCharFormat do return apply("5")

	# Apply reverse video and return `self`.
	fun inverse: TermCharFormat do return apply("7")

	# Apply normal weight and return `self`.
	fun normal_weight: TermCharFormat do return apply("22")

	# Add the attribute that disable underlining and return `self`.
	fun not_underlined: TermCharFormat do return apply("24")

	# Add the attribute that disable blinking and return `self`.
	fun steady: TermCharFormat do return apply("25")

	# Add the attribute that disable reverse video and return `self`.
	fun positive: TermCharFormat do return apply("27")

	# Apply a black foreground and return `self`.
	fun black_fg: TermCharFormat do return apply("30")

	# Apply a red foreground and return `self`.
	fun red_fg: TermCharFormat do return apply("31")

	# Apply a green foreground and return `self`.
	fun green_fg: TermCharFormat do return apply("32")

	# Apply a yellow foreground and return `self`.
	fun yellow_fg: TermCharFormat do return apply("33")

	# Apply a blue foreground and return `self`.
	fun blue_fg: TermCharFormat do return apply("34")

	# Apply a magenta foreground and return `self`.
	fun magenta_fg: TermCharFormat do return apply("35")

	# Apply a cyan foreground and return `self`.
	fun cyan_fg: TermCharFormat do return apply("36")

	# Apply a white foreground and return `self`.
	fun white_fg: TermCharFormat do return apply("37")

	# Apply the default foreground and return `self`.
	fun default_fg: TermCharFormat do return apply("39")

	# Apply a black background and return `self`.
	fun black_bg: TermCharFormat do return apply("40")

	# Apply a red background and return `self`.
	fun red_bg: TermCharFormat do return apply("41")

	# Apply a green background and return `self`.
	fun green_bg: TermCharFormat do return apply("42")

	# Apply a yellow background and return `self`.
	fun yellow_bg: TermCharFormat do return apply("43")

	# Apply a blue background and return `self`.
	fun blue_bg: TermCharFormat do return apply("44")

	# Apply a magenta background and return `self`.
	fun magenta_bg: TermCharFormat do return apply("45")

	# Apply a cyan background and return `self`.
	fun cyan_bg: TermCharFormat do return apply("46")

	# Apply a white background and return `self`.
	fun white_bg: TermCharFormat do return apply("47")

	# Apply the default background and return `self`.
	fun default_bg: TermCharFormat do return apply("49")
end

# Services to color terminal output
redef class Text
	private fun apply_format(f: TermCharFormat): String do
		if stdout_isatty or force_console_colors then
			return "{f}{self}{normal}"
		else return to_s
	end

	private fun normal: TermCharFormat do return new TermCharFormat

	# Make the text appear in dark gray (or black) in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun gray: String do return apply_format(normal.black_fg)

	# Make the text appear in red in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun red: String do return apply_format(normal.red_fg)

	# Make the text appear in green in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun green: String do return apply_format(normal.green_fg)

	# Make the text appear in yellow in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun yellow: String do return apply_format(normal.yellow_fg)

	# Make the text appear in blue in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun blue: String do return apply_format(normal.blue_fg)

	# Make the text appear in magenta in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun purple: String do return apply_format(normal.magenta_fg)

	# Make the text appear in cyan in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun cyan: String do return apply_format(normal.cyan_fg)

	# Make the text appear in light gray (or white) in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun light_gray: String do return apply_format(normal.white_fg)

	# Make the text appear in bold in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun bold: String do return apply_format(normal.bold)

	# Make the text underlined in a ANSI/VT100 terminal.
	#
	# SEE: `TermCharFormat`
	fun underline: String do return apply_format(normal.underline)
end

# A dynamic progress bar displayable in console.
#
# Example:
# ~~~nitish
# var max = 10
# var current = 0
# var pb = new TermProgress(max, current)
#
# pb.display
# for i in [current + 1 .. max] do
#	nanosleep(1, 0)
#	pb.update(i)
# end
#
# print "\ndone"
# ~~~
#
# Progress bar can accept metadata to display a small amount of data.
#
# Example with metadata:
# ~~~nitish
# var pb = new TermProgress(10, 0)
# for i in [0..10] do
#	pb.update(i, "Step {i}")
# end
# ~~~
class TermProgress

	# Max value of the progress bar (business value).
	var max_value: Int

	# Current value of the progress bar (business value).
	var current_value: Int

	# Number of columns used to display the progress bar.
	var max_columns = 70 is writable

	# Get the current percent value.
	fun current_percentage: Int do
		return current_value * 100 / max_value
	end

	# Display the progress bar.
	#
	# `metadata`  can be used to pass a small amount of data to display after
	# the progress bar.
	fun display(metadata: nullable String) do
		var percent = current_percentage
		var p = current_value * max_columns / max_value
		printn "\r{percent}% ["
		for i in [1..max_columns] do
			if i < p then
				printn "="
			else if i == p then
				printn ">"
			else
				printn " "
			end
		end
		printn "]"
		if metadata != null then printn " ({metadata})"
	end

	# Update and display the progress bar.
	#
	# See `display`.
	fun update(new_current: Int, metadata: nullable String) do
		current_value = new_current
		display(metadata)
	end
end

redef class Sys
	private var stdout_isatty: Bool = 1.isatty is lazy

	# Force coloring terminal output, even if stdout is not a TTY?
	#
	# Defaults to `false`.
	var force_console_colors = false is writable
end
lib/console/console.nit:15,1--426,3