WIP

checkpoint

tests: Add another nullability test

astprinter: Fix assignment printing

astprinter: Remove unused function

astprinter: Print nullability state of binary expression

Add more nullability tests

compiler: Print ast after checking

Checking also alters the AST...

basicblock: Add names for entry() and exit() blocks

astprinter: Improve assignment output

flowanalyzer: Add helper to query visible version of variable

expression: Add get_null_state vfunc

astprinter: Don't print null initializers

astprinter: Print binary expressions

glib-2.0: unichar.to_string doesn't return null

binaryexpression: Fix is_non_null for COALESCE expressions

nullabilitychecker: Warn on invalid assignments

Assignments from nullable to non-nullable are wrong unless the right
side is guaranteed to not be null at this point.

symbolresolver: Don't assume all locals are nullable

add AstPrinter

add some nullability tests

Add nullability checker

basicblock: Save per-block null/non-null symbols

basicblock: Add per-block name

For debugging.

memberaccess: Don't check for nullability

wheter an access is nullable or not depends on the flow graph, so leave
this to the FlowAnalyzer.

method: Print encountered type if return types mismatch

If a class overrides a method of a base type, print both the encountered
return type and the return type expected by the base class.

https://bugzilla.gnome.org/show_bug.cgi?id=769501

generitype: Stop lying about nullability in to_qualified_string

Method: Keep track of return statements with nullable values

If the return type of a method is marked nullable, check that at least
one of the return statements also may return null.

subroutine: Set parent_node of body block

webkit2gtk-4.0: Update to 2.15.1

gdk-3.0: Update to 3.22.2+0ad5d51d

vapi: Update GIR-based bindings

build: Conditionally adjust VALAFLAGS in case of proper bootsrapped builds

This adds --hide-internal to VALAFLAGS to allow symbols to be marked
'internal' in Vala source files and not appear in the dynamic symbol table
of libvala.

The build system checks for minimum valac version to fullfill required
support of needed VALAFLAGS.

https://bugzilla.gnome.org/show_bug.cgi?id=771920

codegen: Only emit notify signals if the value actually changed

https://bugzilla.gnome.org/show_bug.cgi?id=631267

gdk-3.0: Update to 3.22.1+a1115c05

Add explicit copy method for arrays

https://bugzilla.gnome.org/show_bug.cgi?id=650663

vapi: Add missing type parameters for delegates

https://bugzilla.gnome.org/show_bug.cgi?id=772204

gdk-pixbuf-2.0: Use metadata instead of custom defintions for Pixbuf

glib-2.0: Some nullable arguments in GLib.Test.*

https://bugzilla.gnome.org/show_bug.cgi?id=772964

glib-2.0: Add "g_utf8_make_valid" binding

gio-unix-2.0: Add "g_unix_mounts_for" binding

gio-unix-2.0: Fix "g_unix_mount_at" binding

vapi: Update GIR-based bindings

girparser: Avoid fatal handling of nameless unions

ccode: Add missing newline after gnuc deprecations attribute

In generated C code, code wrapped by
G_GNUC_[BEGIN|END]_IGNORE_DEPRECATIONS was missing a newline after the
BEGIN attribute, which was causing compilation failures. Fix that by
adding the missing newline.

https://bugzilla.gnome.org/show_bug.cgi?id=773129

codegen: Support deprecating properties and their accessors

Use G_PARAM_DEPRECATED for properties and in addition their accessor
methods will be marked as deprecated.

Guard internal accessors calls with G_GNUC_BEGIN/END_IGNORED_DEPRECATIONS
to silence unavoidable warnings.

Based on patch by Simon Werbeck <simon.werbeck@gmail.com>

https://bugzilla.gnome.org/show_bug.cgi?id=732449

valaparser: Allow casts of pointer expressions without enclosing parens

Based on patch by Geert Jordaens <geert.jordaens@telenet.be>

https://bugzilla.gnome.org/show_bug.cgi?id=590641

Regenerate GIR-based bindings

girparser: Use type_id information from gir if not already overridden

Regenerate for GIR-based bindings including array-related metadata fixes

https://bugzilla.gnome.org/show_bug.cgi?id=772902

girparser: More complete parsing of field information

Especially to retrieve available array-length information.

https://bugzilla.gnome.org/show_bug.cgi?id=772902

Warn about mismatched parameter direction before mismatched type

https://bugzilla.gnome.org/show_bug.cgi?id=664049

Support [HasEmitter] for vala sources

https://bugzilla.gnome.org/show_bug.cgi?id=681356

codegen: Use g_signal_emit where possible

https://bugzilla.gnome.org/show_bug.cgi?id=641828

vapi: Update GIR-based bindings

genie: Add empty file check to read_token ()

Vala.SourceFile uses GLib.MappedFile.get_contents () to read a source
file. This can return null if the file is empty.

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=633083

codegen: Trigger deprecation warning for NoArrayLength from a better place

Make use of Callable to replace some if-else-trees

vala: Add common Callable interface for Method, Delegate and Signal.

https://bugzilla.gnome.org/show_bug.cgi?id=639124

Ignore --thread commandline option and drop all gthread-2.0 references

With vala 0.32 there was no further support for glib < 2.32.

clutter-gst-3.0: Fix constructor which wasn't detected as such

polkit-gobject-1: Fix constructors which weren't detected as such

polkit-gobject-1: Fix constructors which weren't detected as such

gio-2.0: Fix constructor which wasn't detected as such

clutter-gst-3.0: Fix constructors which weren't detected as such

clutter-1.0: Fix constructors which weren't detected as such

codegen: Include gio/gio.h for "use_string_marshalling"

Using [DBus (use_string_marshalling = true)] requires G_DBUS_ERROR symbols
and therefore needs gio/gio.h while e.g. defining enum in dedicated file.

https://bugzilla.gnome.org/show_bug.cgi?id=768588

Deny access to protected constructors

Based on patch by Timm Bäder <mail@baedert.org>

https://bugzilla.gnome.org/show_bug.cgi?id=760031

libarchive: Add ReadDisk

https://bugzilla.gnome.org/show_bug.cgi?id=668654

gdk-3.0: Use only metadata for EventKey, Screen, Window, update Rectangle

Add missing generic-type arguments of delegates

https://bugzilla.gnome.org/show_bug.cgi?id=772204

tests: Don't rely on external delegate defintions

vala: Check accessibility of default arguments

https://bugzilla.gnome.org/show_bug.cgi?id=648030

Do not report internal error for invalid code with nested generics

Reported-by: Matthias Berndt <matthias_berndt@gmx.de>

vala: Check type arguments in DataType.equals

https://bugzilla.gnome.org/show_bug.cgi?id=641418

codegen: Fix array length of array returned by lambda

This ensures that the right default values are used for missing ccode
attributes.

https://bugzilla.gnome.org/show_bug.cgi?id=761360

codegen: Fix emission of constant array length

https://bugzilla.gnome.org/show_bug.cgi?id=756376

gio-2.0 Update SettingsBackend related bindings

gio-2.0: Use only metadata for IOStream, InputStream, OutputStream

glib-2.0: Add UCS-4 and UTF-16 related bindings

https://bugzilla.gnome.org/show_bug.cgi?id=740818

vapi: Update GIR-based bindings

tests: Add async generator example to cover an edge case

https://bugzilla.gnome.org/show_bug.cgi?id=763345

clutter-gst-2.0: Skip VideoTexture.get_audio_streams/get_subtitle_tracks

Upstream didn't implement the Player interface correctly, so the types are
not matching up.

clutter-gst-3.0: Fix Playback.audio_streams/subtitle_tracks property-type

rest-0.7: Fix some ownership problems

Add CCode finish_vfunc_name to used attrs

Fix type checking when using generics in combination with subtyping

https://bugzilla.gnome.org/show_bug.cgi?id=615830

gsl.vapi: Fix attribute typos

At the moment, the are a few CCode attributes containing typos in the
bindings for the GNU Scientific Library. This patch rectifies the ones
that valac explicitly complains about.

https://bugzilla.gnome.org/show_bug.cgi?id=772004

Fix type parameter check for overriding generic methods

https://bugzilla.gnome.org/show_bug.cgi?id=771964

Reported-by: Sebastian Reichel <sre@ring0.de>

tests: Additional test-cases taken from transform-branch

Bump version suffix

gio-2.0: Use metadata instead of custom defintions for Initable

gio-2.0: Use metadata instead of custom definitions for DBusMessage

gio-2.0: Fix async constructors of DBusConnection, DBusObjectManagerClient and DBusProxy

tests: Add async constructor test

https://bugzilla.gnome.org/show_bug.cgi?id=659886

gio-2.0: Keep GLib.Socket API compatible with gio < 2.48

https://bugzilla.gnome.org/show_bug.cgi?id=769222

gio-2.0: Fix binding of Resolver.lookup_service*()

glib-2.0: Fix binding of Markup.collect_attributes

Array parameters don't have an associcated length parameter but are
null-terminated.

https://bugzilla.gnome.org/show_bug.cgi?id=771790

glib-2.0: Update Unicode symbols

webkit2gtk: URI*.get_http_headers returns unowned Soup.MessageHeaders

Those are actually annotated "transfer none" in the webkit's source.

https://bugzilla.gnome.org/show_bug.cgi?id=741175

Add support for the \v escape charactor

https://bugzilla.gnome.org/show_bug.cgi?id=664689