1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/* methods_postconditions_temp_variables.c generated by valac, the Vala compiler
* generated from methods_postconditions_temp_variables.vala, do not modify */
#include <stdlib.h>
#include <string.h>
#include <glib.h>
#if !defined(VALA_EXTERN)
#if defined(_MSC_VER)
#define VALA_EXTERN __declspec(dllexport) extern
#elif __GNUC__ >= 4
#define VALA_EXTERN __attribute__((visibility("default"))) extern
#else
#define VALA_EXTERN extern
#endif
#endif
#define _g_free0(var) (var = (g_free (var), NULL))
#define _vala_assert(expr, msg) if G_LIKELY (expr) ; else g_assertion_message_expr (G_LOG_DOMAIN, __FILE__, __LINE__, G_STRFUNC, msg);
#define _vala_return_if_fail(expr, msg) if G_LIKELY (expr) ; else { g_return_if_fail_warning (G_LOG_DOMAIN, G_STRFUNC, msg); return; }
#define _vala_return_val_if_fail(expr, msg, val) if G_LIKELY (expr) ; else { g_return_if_fail_warning (G_LOG_DOMAIN, G_STRFUNC, msg); return val; }
#define _vala_warn_if_fail(expr, msg) if G_LIKELY (expr) ; else g_warn_message (G_LOG_DOMAIN, __FILE__, __LINE__, G_STRFUNC, msg);
VALA_EXTERN gchar* foo (void);
VALA_EXTERN gchar* bar (gboolean b);
static void _vala_main (void);
static const gchar*
string_to_string (const gchar* self)
{
const gchar* result;
g_return_val_if_fail (self != NULL, NULL);
result = self;
return result;
}
gchar*
foo (void)
{
gchar* _tmp0_;
const gchar* _tmp1_;
gchar* result;
_tmp0_ = g_strdup_printf ("%i", 4711);
result = _tmp0_;
_tmp1_ = string_to_string (result);
_vala_warn_if_fail (g_strcmp0 (_tmp1_, "23") != 0, "result.to_string () != \"23\"");
return result;
}
gchar*
bar (gboolean b)
{
gchar* result;
if (b) {
gchar* _tmp0_;
const gchar* _tmp1_;
const gchar* _tmp2_;
_tmp0_ = g_strdup_printf ("%i", 23);
result = _tmp0_;
_tmp1_ = result;
_tmp2_ = string_to_string (_tmp1_);
_vala_warn_if_fail (g_strcmp0 (_tmp2_, "4711") != 0, "result.to_string () != \"4711\"");
return result;
} else {
gchar* _tmp3_;
const gchar* _tmp4_;
const gchar* _tmp5_;
_tmp3_ = g_strdup_printf ("%i", 42);
result = _tmp3_;
_tmp4_ = result;
_tmp5_ = string_to_string (_tmp4_);
_vala_warn_if_fail (g_strcmp0 (_tmp5_, "4711") != 0, "result.to_string () != \"4711\"");
return result;
}
}
static void
_vala_main (void)
{
gchar* _tmp0_;
gchar* _tmp1_;
gchar* _tmp2_;
gchar* _tmp3_;
gchar* _tmp4_;
gchar* _tmp5_;
_tmp0_ = foo ();
_tmp1_ = _tmp0_;
_vala_assert (g_strcmp0 (_tmp1_, "4711") == 0, "foo () == \"4711\"");
_g_free0 (_tmp1_);
_tmp2_ = bar (TRUE);
_tmp3_ = _tmp2_;
_vala_assert (g_strcmp0 (_tmp3_, "23") == 0, "bar (true) == \"23\"");
_g_free0 (_tmp3_);
_tmp4_ = bar (FALSE);
_tmp5_ = _tmp4_;
_vala_assert (g_strcmp0 (_tmp5_, "42") == 0, "bar (false) == \"42\"");
_g_free0 (_tmp5_);
}
int
main (int argc,
char ** argv)
{
_vala_main ();
return 0;
}
|
