Create a model from nit source files

Redefined classes

redef class ModelBuilder

nitc :: modelize $ ModelBuilder

A model builder knows how to load nit source files and build the associated model

All class definitions

redef class ModelBuilder

nitc :: modelize $ ModelBuilder

A model builder knows how to load nit source files and build the associated model

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 annotation

nitc :: annotation

Management and utilities on annotations

module array

This module introduces the standard array structure.

module bitset

Services to handle BitSet

module bytes

Services for byte streams and arrays

module caching

serialization :: caching

Services for caching serialization engines

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 digraph

graph :: digraph

Implementation of directed graphs, also called digraphs.

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

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

nitc :: literal

Parsing of literal values in the abstract syntax tree.

module loader

Loading of Nit source files

module location

nitc :: location

Nit source-file and locations in source-file

module math

Mathematical operations

module mdoc

Documentation of model entities

module meta

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

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

Classes, types and properties

module model_base

nitc :: model_base

The abstract concept of model and related common things

module modelbuilder

nitc :: modelbuilder

module modelbuilder_base

nitc :: modelbuilder_base

Load nit source files and build the associated model

module modelize_class

nitc :: modelize_class

Analysis and verification of class 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 native

Native structures for text and bytes

module nitpm_shared

nitc :: nitpm_shared

Services related to the Nit package manager

module numeric

core :: numeric

Advanced services for Numeric types

module opts

Management of options on the command line

module ordered_tree

ordered_tree :: ordered_tree

Manipulation and presentation of ordered trees.

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

nitc :: parser_work

Internal algorithm and data structures for the Nit parser

module phase

Phases of the processing of nit programs

module poset

Pre order sets and partial order set (ie hierarchies)

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 serialization

serialization :: serialization

General serialization services

module serialization_core

serialization :: serialization_core

Abstract services to serialize Nit objects to different formats

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 template

template :: template

Basic template system

module text

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

module time

Management of time and dates

module toolcontext

nitc :: toolcontext

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

module union_find

core :: union_find

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

module utf8

Codec for UTF-8 I/O

module version

nitc :: version

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

Parents

module modelize_property

nitc :: modelize_property

Analysis and verification of property definitions to instantiate model element

Children

module actors_generation_phase

nitc :: actors_generation_phase

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

module catalog

nitc :: catalog

Basic catalog generator for Nit packages

module commands_model

nitc :: commands_model

Doc commands about a Model or a MEntity

module deriving

nitc :: deriving

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

module extern_classes

nitc :: extern_classes

Manages all extern classes and their associated foreign type.

module mendel_metrics

nitc :: mendel_metrics

The Mendel model helps to understand class hierarchies.

module platform

nitc :: platform

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

module regex_phase

nitc :: regex_phase

Check for error in regular expressions from string literals

module serialization_model_phase

nitc :: serialization_model_phase

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

module static_types_metrics

nitc :: static_types_metrics

Metrics on the usage of explicit static types.

module testing_base

nitc :: testing_base

Base options for testing tools.

module typing

Intraprocedural resolution of static types and OO-services

Descendants

module a_star-m

module abstract_compiler

nitc :: abstract_compiler

Abstract compiler

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

nitc :: api_metrics

module api_model

nitc :: api_model

module app_annotations

nitc :: app_annotations

Annotations to gather metadata on app.nit projects

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

nitc :: codesmells_metrics

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_ini

nitc :: commands_ini

module commands_main

nitc :: commands_main

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

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

module detect_covariance

nitc :: detect_covariance

Detect the static usage of covariance in the code.

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 explain_assert

nitc :: explain_assert

Explain failed assert to the console by modifying the AST.

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 frontend

nitc :: frontend

Collect and orchestration of main frontend phases

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

nitc :: json_commands

Translate command results to json

module json_model

nitc :: json_model

Make model entities Serializable.

module light

Light FFI support for the compiler

module light_ffi

nitc :: light_ffi

Light FFI support, independent of the compiler

module light_only

nitc :: light_only

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

module mclassdef_collect

nitc :: mclassdef_collect

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 method_analyze_metrics

nitc :: method_analyze_metrics

module metrics

nitc :: metrics

Various statistics about Nit models and programs

module naive_interpreter

nitc :: naive_interpreter

Interpretation of a Nit program directly on the AST

module nit

A naive Nit interpreter

module nitc

A Nit compiler

module nitcatalog

nitc :: nitcatalog

Basic catalog generator for Nit packages

module nitdoc

Generator of static API documentation for the Nit language

module nith

A ligHt Nit compiler

module nitj

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

module nitlight

nitc :: nitlight

Tool that produces highlighting for Nit programs

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 nitpackage

nitc :: nitpackage

Helpful features about packages

module nitpick

nitc :: nitpick

A program that collect potential style and code issues

module nitrestful

nitc :: nitrestful

Tool generating boilerplate code linking RESTful actions to Nit methods

module 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

UML generator in dot format.

module nitunit

nitc :: nitunit

Testing tool.

module nitvm

The Nit virtual machine launcher

module nitweb

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

module nitx

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

module nullables_metrics

nitc :: nullables_metrics

Statistics about the usage of nullables

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 parallelization_phase

nitc :: parallelization_phase

Phase generating threads for functions annotated with threaded annotation

module pkgconfig

nitc :: pkgconfig

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

module rapid_type_analysis

nitc :: rapid_type_analysis

Rapid type analysis on the AST

module rta_metrics

nitc :: rta_metrics

Metrics from RTA

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 ssa

Single-Static Assignment algorithm from an AST

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

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_index

nitc :: test_model_index

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

# Create a model from nit source files
module modelize

import modelize_property

redef class ModelBuilder
	# Retrieve the associated AST node of a mentity.
	# This method is used to associate model entity with syntactic entities.
	#
	# If the mentity is not associated with a node, returns null.
	# This is always the case for MPackage, Mgroup, MClass and MProperty.
	# MModule, MClassDef and MPropDef can also have no node associated
	# (like fictive modules of generated attributes/methods).
	fun mentity2node(mentity: MEntity): nullable ANode
	do
		if mentity isa MModule then
			return mmodule2node(mentity)
		else if mentity isa MClassDef then
			return mclassdef2node(mentity)
		else if mentity isa MPropDef then
			return mpropdef2node(mentity)
		end
		return null
	end
end

src/modelize/modelize.nit:15,1--39,3