Explain failed assert to the console (service declaration only)

The only service assert_expr_str is implemented by the explain_assert module.

Redefined classes

redef class AAssertExpr

nitc :: explain_assert_api $ AAssertExpr

An assert statement

All class definitions

redef class AAssertExpr

nitc :: explain_assert_api $ AAssertExpr

An assert statement

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

This module introduces the standard array structure.

module bitset

Services to handle BitSet

module 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

Group module for all codec-related manipulations

module collection

core :: collection

This module define several collection classes.

module console

console :: console

Defines some ANSI Terminal Control Escape Sequences.

module core

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

module environ

core :: environ

Access to the environment variables of the process

module error

Standard error-management infrastructure.

module exec

Invocation and management of operating system sub-processes.

module 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

All the array-based text representations

module 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

Most basic classes and methods.

module lexer

Lexer and its tokens.

module lexer_work

nitc :: lexer_work

Internal algorithm and data structures for the Nit lexer

module list

This module handle double linked lists

module location

nitc :: location

Nit source-file and locations in source-file

module math

Mathematical operations

module native

Native structures for text and bytes

module numeric

core :: numeric

Advanced services for Numeric types

module ordered_tree

ordered_tree :: ordered_tree

Manipulation and presentation of ordered trees.

module parser_nodes

nitc :: parser_nodes

AST nodes of the Nit language

module parser_prod

nitc :: parser_prod

Production AST nodes full definition.

module parser_work

nitc :: parser_work

Internal algorithm and data structures for the Nit parser

module protocol

core :: protocol

module queue

Queuing data structures and wrappers

module range

Module for range of discrete objects.

module re

Regular expression support for all services based on Pattern

module ropes

Tree-based representation of a String.

module sorter

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

module stream

Input and output streams of characters

module string_search

core :: string_search

Basic string search, match and replace.

module tables

Module that interfaces the parsing tables.

module text

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

module time

Management of time and dates

module union_find

core :: union_find

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

module utf8

Codec for UTF-8 I/O

Parents

module parser

Parser.

Children

module explain_assert

nitc :: explain_assert

Explain failed assert to the console by modifying the AST.

module naive_interpreter

nitc :: naive_interpreter

Interpretation of a Nit program directly on the AST

module rapid_type_analysis

nitc :: rapid_type_analysis

Rapid type analysis on the AST

Descendants

module a_star-m

module abstract_compiler

nitc :: abstract_compiler

Abstract compiler

module android

nitc :: android

Compile program for the Android platform

module api

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

module api_metrics

nitc :: api_metrics

module 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 code_gen

nitc :: code_gen

Main frontend phases plus code generation phases

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 cpp

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

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 extra_java_files

nitc :: extra_java_files

Intro the annotation extra_java_files to compile extra java files

module ffi

Full FFI support, independent of the compiler

module ffi_base

nitc :: ffi_base

Tools and utilities for implement FFI with different languages

module global_compiler

nitc :: global_compiler

Global compilation of a Nit program

module header_dependency

nitc :: header_dependency

Tracks which modules has public header code that must be imported

module interpreter

nitc :: interpreter

Interpretation of Nit programs

module ios

Compile programs for the iOS platform

module java

FFI support for the Java language

module java_compiler

nitc :: java_compiler

Compile Nit code to Java code

module light

Light FFI support for the compiler

module light_only

nitc :: light_only

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

module memory_logger

nitc :: memory_logger

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

module metrics

nitc :: metrics

Various statistics about Nit models and programs

module nit

A naive Nit interpreter

module nitc

A Nit compiler

module nith

A ligHt Nit compiler

module nitj

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

module nitmetrics

nitc :: nitmetrics

A program that collects various metrics on nit programs and libraries

module nitni

Native interface related services (used underneath the FFI)

module nitni_callbacks

nitc :: nitni_callbacks

nitni services related to callbacks (used underneath the FFI)

module nitserial

nitc :: nitserial

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

module nitvm

The Nit virtual machine launcher

module nitweb

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

module 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 pkgconfig

nitc :: pkgconfig

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

module rta_metrics

nitc :: rta_metrics

Metrics from RTA

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 test_astbuilder

nitc :: test_astbuilder

Program used to test the clone method of the astbuilder tool

module variables_numbering

nitc :: variables_numbering

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

module virtual_machine

nitc :: virtual_machine

Implementation of the Nit virtual machine

module vm

Entry point of all vm components

module vm_optimizations

nitc :: vm_optimizations

Optimization of the nitvm

module xcode_templates

nitc :: xcode_templates

Templates and other services to create XCode projects

# Explain failed assert to the console (service declaration only)
#
# The only service `assert_expr_str` is implemented by the
# `explain_assert` module.
module explain_assert_api

import parser

redef class AAssertExpr
	# Superstring explaining `self` if the assert fails
	#
	# Engines should print out this superstring.
	fun explain_assert_str: nullable ASuperstringExpr do return null
end

src/frontend/explain_assert_api.nit:15,1--28,3