iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 17:41:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Added other features: assertions & contract programming & error handling

Browse Source
This commit is contained in:
Milo Gilad 2017-08-26 11:11:22 -04:00
parent 07431ea0d2
commit 374ce84fe9
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
vala.html.markdown
View File

@ -425,7 +425,38 @@ class Computer<OperatingSystem> : GLib.Object {
var new_computer = new Computer<Linux>(); var new_computer = new Computer<Linux>();
/* Other Features */
// Assertions: crash if a statement is not true (at runtime)
bool is_true = true;
assert(is_true);
// Contract Programming
int contract_demo(int arg1, int arg2) {
requires(arg1 > 0 && arg1 < 10) // Notice the lack of semicolon
requires(arg2 >= 12)
ensures(result >= 0)
}
// Error Handling
void error_demo(int int_ex) throws GError {
if (int_ex != 1) {
throw new GError("TEST MESSAGE");
}
}
void error_demo2() {
try {
error_demo(0);
} catch (GError ge) {
stdout.printf("%s\n", ge.message);
}
}
``` ```
* More Vala documentation can be found [here](https://valadoc.org/). * More Vala documentation can be found [here](https://valadoc.org/).
* [Alternate construction syntax](https://wiki.gnome.org/Projects/Vala/Tutorial#GObject-Style_Construction) similar to GObject * [Alternate construction syntax](https://wiki.gnome.org/Projects/Vala/Tutorial#GObject-Style_Construction) similar to GObject
* More on contract programming [here](http://en.wikipedia.org/wiki/Contract_programming)
* Read about building GUIs with GTK+ and Vala [here](http://archive.is/7C7bw). * Read about building GUIs with GTK+ and Vala [here](http://archive.is/7C7bw).