module nit

nitc :: nit

A naive Nit interpreter

Redefined classes

redef class Sys

nitc :: nit $ Sys

The main class of the program.

All class definitions

redef class Sys

nitc :: nit $ Sys

The main class of the program.
package_diagram nitc::nit nit nitc\>interpreter\> interpreter nitc::nit->nitc\>interpreter\> nitc::code_gen code_gen nitc::nit->nitc::code_gen nitc\>vm\> vm nitc::nit->nitc\>vm\> nitc\>interpreter\>dynamic_loading_ffi\> dynamic_loading_ffi nitc\>interpreter\>->nitc\>interpreter\>dynamic_loading_ffi\> nitc\>semantize\> semantize nitc\>interpreter\>->nitc\>semantize\> nitc nitc nitc\>interpreter\>->nitc nitc\>model\> model nitc\>interpreter\>->nitc\>model\> nitc\>frontend\> frontend nitc\>interpreter\>->nitc\>frontend\> nitc::code_gen->nitc\>frontend\> nitc::actors_generation_phase actors_generation_phase nitc::code_gen->nitc::actors_generation_phase nitc::serialization_code_gen_phase serialization_code_gen_phase nitc::code_gen->nitc::serialization_code_gen_phase nitc::explain_assert explain_assert nitc::code_gen->nitc::explain_assert nitc::contracts contracts nitc::code_gen->nitc::contracts nitc\>vm\>->nitc\>interpreter\> nitc\>vm\>->nitc perfect_hashing perfect_hashing nitc\>vm\>->perfect_hashing ...nitc\>interpreter\>dynamic_loading_ffi\> ... ...nitc\>interpreter\>dynamic_loading_ffi\>->nitc\>interpreter\>dynamic_loading_ffi\> ...nitc\>semantize\> ... ...nitc\>semantize\>->nitc\>semantize\> ...nitc ... ...nitc->nitc ...nitc\>model\> ... ...nitc\>model\>->nitc\>model\> ...nitc\>frontend\> ... ...nitc\>frontend\>->nitc\>frontend\> ...nitc::actors_generation_phase ... ...nitc::actors_generation_phase->nitc::actors_generation_phase ...nitc::serialization_code_gen_phase ... ...nitc::serialization_code_gen_phase->nitc::serialization_code_gen_phase ...nitc::explain_assert ... ...nitc::explain_assert->nitc::explain_assert ...nitc::contracts ... ...nitc::contracts->nitc::contracts ...perfect_hashing ... ...perfect_hashing->perfect_hashing nitc::test_astbuilder test_astbuilder nitc::test_astbuilder->nitc::nit a_star-m a_star-m a_star-m->nitc::test_astbuilder a_star-m... ... a_star-m...->a_star-m

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 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 annotation

nitc :: annotation

Management and utilities on annotations
module array

core :: array

This module introduces the standard array structure.
module astbuilder

nitc :: astbuilder

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

nitc :: auto_super_init

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

core :: bitset

Services to handle BitSet
module bytes

core :: bytes

Services for byte streams and arrays
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 c_tools

nitc :: c_tools

provides tools to write C .c and .h files
module caching

serialization :: caching

Services for caching serialization engines
module check_annotation

nitc :: check_annotation

Check that annotation present in the AST are either primitive or user-declared
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 compilation

nitc :: compilation

The compilation module of the VirtualMachine
module console

console :: console

Defines some ANSI Terminal Control Escape Sequences.
module contracts

nitc :: contracts

Module to build contract
module core

core :: core

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

nitc :: cpp

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

csv :: csv

CSV document handling.
module deriving

nitc :: deriving

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

graph :: digraph

Implementation of directed graphs, also called digraphs.
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 engine_tools

serialization :: engine_tools

Advanced services for serialization engines
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 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 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 flow

nitc :: flow

Intraprocedural static flow.
module frontend

nitc :: frontend

Collect and orchestration of main frontend phases
module gc

core :: gc

Access to the Nit internal garbage collection mechanism
module gen_nit

gen_nit :: gen_nit

Support to generate and otherwise manipulate Nit code
module glsl_validation

nitc :: glsl_validation

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

core :: hash_collection

Introduce HashMap and HashSet.
module header_dependency

nitc :: header_dependency

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

nitc :: i18n_phase

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

ini :: ini

Read and write INI configuration files
module inspect

serialization :: inspect

Refine Serializable::inspect to show more useful information
module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O
module java

nitc :: java

FFI support for the Java language
module kernel

core :: kernel

Most basic classes and methods.
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_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 list

core :: list

This module handle double linked lists
module literal

nitc :: literal

Parsing of literal values in the abstract syntax tree.
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 location

nitc :: location

Nit source-file and locations in source-file
module math

core :: math

Mathematical operations
module mdoc

nitc :: mdoc

Documentation of model entities
module meta

meta :: meta

Simple user-defined meta-level to manipulate types of instances as object.
module mixin

nitc :: mixin

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

nitc :: mmodule

modules and module hierarchies in the metamodel
module mmodule_data

nitc :: mmodule_data

Define and retrieve data in modules
module model

nitc :: model

Classes, types and properties
module model_base

nitc :: model_base

The abstract concept of model and related common things
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 more_collections

more_collections :: more_collections

Highly specific, but useful, collections-related classes.
module mpackage

nitc :: mpackage

Modelisation of a Nit package
module naive_interpreter

nitc :: naive_interpreter

Interpretation of a Nit program directly on the AST
module native

core :: native

Native structures for text and bytes
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 nitpm_shared

nitc :: nitpm_shared

Services related to the Nit package manager
module no_warning

nitc :: no_warning

Fill toolcontext information about blacklisting of warnings.
module numeric

core :: numeric

Advanced services for Numeric types
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 opts

opts :: opts

Management of options on the command line
module ordered_tree

ordered_tree :: ordered_tree

Manipulation and presentation of ordered trees.
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_nodes

nitc :: parser_nodes

AST nodes of the Nit language
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 perfect_hashing

perfect_hashing :: perfect_hashing

Perfect hashing and perfect numbering
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 poset

poset :: poset

Pre order sets and partial order set (ie hierarchies)
module protocol

core :: protocol

module queue

core :: queue

Queuing data structures and wrappers
module range

core :: range

Module for range of discrete objects.
module rapid_type_analysis

nitc :: rapid_type_analysis

Rapid type analysis on the AST
module re

core :: re

Regular expression support for all services based on Pattern
module regex_phase

nitc :: regex_phase

Check for error in regular expressions from string literals
module ropes

core :: ropes

Tree-based representation of a String.
module scope

nitc :: scope

Identification and scoping of local variables and labels.
module semantize

nitc :: semantize

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

serialization :: serialization

General serialization services
module serialization_code_gen_phase

nitc :: serialization_code_gen_phase

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

serialization :: serialization_core

Abstract services to serialize Nit objects to different formats
module serialization_model_phase

nitc :: serialization_model_phase

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

json :: serialization_write

Services to write Nit objects to JSON strings: serialize_to_json and JsonSerializer
module serialize_model

nitc :: serialize_model

Service to serialize POSet to JSON
module simple_misc_analysis

nitc :: simple_misc_analysis

Simple vavious processing on a AST
module sorter

core :: sorter

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

nitc :: ssa

Single-Static Assignment algorithm from an AST
module stream

core :: stream

Input and output streams of characters
module tables

nitc :: tables

Module that interfaces the parsing tables.
module template

template :: template

Basic template system
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 toolcontext

nitc :: toolcontext

Common command-line tool infrastructure than handle options and error messages
module typing

nitc :: typing

Intraprocedural resolution of static types and OO-services
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
module variables_numbering

nitc :: variables_numbering

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

nitc :: version

This file was generated by git-gen-version.sh
module virtual_machine

nitc :: virtual_machine

Implementation of the Nit virtual machine
module vm_optimizations

nitc :: vm_optimizations

Optimization of the nitvm

Parents

module code_gen

nitc :: code_gen

Main frontend phases plus code generation phases
module interpreter

nitc :: interpreter

Interpretation of Nit programs
module vm

nitc :: vm

Entry point of all vm components

Children

module test_astbuilder

nitc :: test_astbuilder

Program used to test the clone method of the astbuilder tool

Descendants

module a_star-m

a_star-m

# A naive Nit interpreter
module nit

import interpreter
import frontend::code_gen
import parser_util
import vm

# Create a tool context to handle options and paths
var toolcontext = new ToolContext
toolcontext.option_context.options_before_rest = true
toolcontext.tooldescription = "Usage: nit [OPTION]... <file.nit>...\nInterprets and debugs Nit programs."
# Add an option "-o" to enable compatibility with the tests.sh script
var opt = new OptionString("Does nothing. Used for compatibility.", "-o")
opt.hidden = true
toolcontext.option_context.add_option(opt)
var opt_eval = new OptionBool("Specifies the program from command-line", "-e")
var opt_loop = new OptionBool("Repeatedly run the program for each line in file-name arguments", "-n")
var opt_vm = new OptionBool("Run the virtual machine instead of the naive interpreter (experimental)", "--vm")
toolcontext.option_context.add_option(opt_eval, opt_loop, opt_vm)
# We do not add other options, so process them now!
toolcontext.process_options(args)

# We need a model to collect stufs
var model = new Model
# An a model builder to parse files
var modelbuilder = new ModelBuilder(model, toolcontext)

var arguments = toolcontext.option_context.rest
var progname = arguments.first

# Here we load an process all modules passed on the command line
var mmodules: Array[MModule]

if opt_eval.value then
	var amodule = toolcontext.parse_module(progname)
	toolcontext.check_errors

	var parent = null
	if opt_loop.value then
		parent = modelbuilder.get_mmodule_by_name(null, null, "niti_runtime")
		if parent == null then
			toolcontext.check_errors
			abort
		end
	end

	modelbuilder.load_rt_module(parent, amodule, "-")

	mmodules = [amodule.mmodule.as(not null)]
else if progname == "-" then
	var content = stdin.read_all
	var amodule = toolcontext.parse_module(content)
	toolcontext.check_errors
	modelbuilder.load_rt_module(null, amodule, "-")
	mmodules = [amodule.mmodule.as(not null)]
else
	mmodules = modelbuilder.parse([progname])
end

modelbuilder.run_phases

if toolcontext.opt_only_metamodel.value then toolcontext.quit

var mainmodule = toolcontext.make_main_module(mmodules)

var self_mm = mainmodule
var self_args = arguments

if opt_vm.value then
	modelbuilder.run_virtual_machine(self_mm, self_args)
else
	modelbuilder.run_naive_interpreter(self_mm, self_args)
end
src/nit.nit:17,1--90,3
Nit tools. Version v0.8-3595-g3f58b4f.