lib: Split collections into readable and writable

Map ->
  MapRead (r)
  Map (rw)
IndexedCollection ->
  IndexedCollectionRead (r)
  IndexedCollection (rw)
AbstractArray ->
  AbstractArrayRead (r)
  AbstractArray (rw)
String ->
  String (ro)
  Buffer (rw)

Signed-off-by: Jean Privat <jean@pryen.org>

new c_src

Signed-off-by: Jean Privat <jean@pryen.org>

Compile superstrings with an array.to_s

Move primitive method selection.

Move primitive method selection from compiling_methods to typing.

Remove unused macro symbols.

Some renaming and commenting for TableElts.

Group attributes and methods by local class in the module tables.

Remove now useless variables and attributes in compile_global

New method compile_macros in TableElts.

This simplify the way some C macros are generated.

Remove -attr-sim option (was broken) and related classes.

Do not use CALL macro directly.

Instead generate specific call macro for methods and use them.

Fix a Makefile dependence for rebootstrap
Allow a safe new bootstrap from a old Nit bootstrap.

Update gitignore

Update c_src to handle default closures.

Finish syntax analysis for default closure.

Distinguish no bloc vs. empty bloc
On empty bloc, a empty ABlocExpr is given instead of null.

New test suite for default blocs.

Generalize base_block in control_flow.

Generalize compilation of parameters.
Add a compile_parameters in PSignature that do the stuff.

Basic typing and compilation for default closures.

Enable default closure in syntax

Remove useless _abstract atribute

Update c_src.

Two new tests related to the BUGS file. No sav yet.

Fill BUGS file.

Finalizer for closures.
Closure calls can accept a closure defintion performed if the closure breaks or returns.

New function process_closures.
Extract closure processing from ASendExpr into a new function in AAbsSendExpr.
Add process_closures in do_typing.
Update tests since error message has changed.

Fix MMSignature::not_for_self
3 bugs:
 * return value not correctly set
 * closure badly managed
 * vararg forgoten is any

Add break closure.
Break closure must break. They are great for error management.

New class MMClosure
Closure in signature are not only signature.
This commit prepare to add more metainfo like 'break' closure or optionality.

Update results for closure tests

Compile closure.

New test suite for closures

Type and check 'break' return values.
A small inference is done in case of multiple breaks.

Type and check 'continue' return value.
Also detects closure with a missing continue.

Typing of closures

Update Nit grammar to add closures.

Add default values for some primitive type attributes.

Fix opts: forgot to assign the default value.

No more default value for local variables.
Control flow requires that a variable is assigned before used.

Remove a old exception for constructors.

New tests base_init_auto and error_init_auto.

Fix base_init_linext tests.

Do not compile unaccessible constructors.

Update get_default_constructor_for and AConcreteInitPropdef
* Use is_init_for
* No super-constructor found is now an error
* super_init_calls skips mixin classes

Promote mixin concept to the abstractmetamodel module.
Add is_mixin and mixing_of in MMGlobalClass.
Add is_init_for in MMGlobalProperty.
Update process_default_constructors in mmbuilder.

Fix some broken constructors.
Unautomatize attributes in MMAncestor class.
Explicitly call super in MMTypeFormal.

Suppress C warnings related to NEW_ functions
Declare real NEW_{class}_{meth} function prototypes in sep.h files
Remove useless NEW_{meth} functions prototypes from sep.h files

Show gcc warnings.
Also remove some trivial warnings.

Make 'self' a standard parameter (ParamVariable)
This simplify the implementation and allows isa to work on self.
A new test, base_isa_cast_self, is also added to check cast on self.

Move local variable declarations in a structure.
All local variables are created in an array declared in the top of the C functions.

Split CompilerVisitor into 3 classes.
CFunctionContext is about the C function currently written
NitMethodContext is about the Nit method currenlty compiled

Dot not try to work after parsing if --only-parse is given.

Prevent statements to be used as expressions.
Add two method check_expr and check_conform_expr that check if an
PExpr is a real expression (not a statement) and its conformity.

Update existing tests to match the possibly updated error message.
Add a new test, base_meth_call, to detect some 'stmt as expr' errors.

Simplify control flow and update tests.
attr _has_return is not needed since _unreash can do the job.
Also improve the error message if a return is missing.
Tests results are updated to reflect the new error message.

Remove specific flow analysis for params and forvardecls
Instead, consider that only variable declared with var need to be set.

Fix tests.sh to not forget some alternatives.
Negative-only alternatives are now included.

Extract get_signature from process_signature.
Rationale: blocs will require processing of a known signature.

New SignatureBuilder class.
Extract signature buildding from PropertyVerifierVisitor to the
new class SignatureBuilder.
Rationnale is that with blocs, signatures will be somewhat nested.

Specialize Variable class.
Create 3 subclasses: VarVariable, ParamVariable and AutoVariable

Generate parser prod subclasses with null assigned attributes.

Rename methods named 'with'.
Blocs will use the reserved 'with' keyword.

Add "file_delete" method in String and NativeString.
Implemented native function to delete a file.

Update SCM ignore rules.

Update c_src with new default constructor rules.

More picky 'super' in constructors.
Now super do not chose any constructor without parameter, but only those named 'init'

Automatic constructors.
Automatic constructors are implicit anonymous init that collects unassigned
attributes in their signatures.

Methods without PNodes.
Unlike explicit methods, implicit methods are not associated with a PNode.
These changes bring up the infrastructure for such inplicit methods.

New tests for inherited constructors.

Inheritance of constructors.
A class without constructors can inherit those of its superclasses.
These classes are called "Mixin" since their subclasses do not have to care about their initialisation.

The inherited constructors are all that belong to the most specific non-mixin superclass.

Customize constructor call.
Now that properties are not adapted during inheritance:
 * compile_constructor_call takes the static type of the instantiated class
 * constructors are customized according to the instantiated class

Do not crash if a constructor is not found.

Conform constructors to the strict 'redef' rule.
For some old reasons, 'redef' in front of a new constructor was ignored.
Now the standard behavior is the rule for constructors.

Prepare Nit code for inherited and automatic constructors.
All components are impacted (stdlib, compiler and tests).
Changes concern:
 * attribute default values
 * constructor namies
 * class kind
 * redef keyword

Update c_src. Enable one gcc pass bootstrap.

Only one gcc pass for initial bootstrap

Make that option -p is appenned to comdir instead of each file.

Add option --compdir to specify the compilation directory.
By the way, rename the badly named 'base_dir' attrbute to 'compdir'.

Make gccx consider filepaths independently.

Make that generated files are path independent.

Update c_src

Update tests
Fix count in tests.sh
Update various .nit and .sav

test add rterror_check.sav ####

Move test *.sav files to a sav/ subdirectory.

Do not abort when comparing signatures, just return false

Fix nitdoc since MMConcreteProperty is removed.

Move property selectors from types to local classes

Remove the now useless MMConcreteProperty class

Simplify local property inheritance.
Without implicit properties, local property inheritance is easier.

start removing implicit properties

Remove some remaining PRM references

Fix nitdoc

remove putenv, setenv and unsetenv

Remove non portable -C option in makefiles

Fix 64 bits: use long int in class tables

Automatically enable Bohem's GC if available.
On Debian based system, just run
# aptitude install libgc-dev

Remark: it is only a trade off until we have our own GC.

Unset variable control flow

Prepare unset variable control flow

As keyword (for casts)

Fix bug: select incompatible default constructor

Prepare infrastructure for default constructor