annotate rathaxes_add_a_test_to_reproduce_the_pointer_to_rathaxes_bug.patch @ 92:5eb746474f0f

Add a test for the pointer to Rathaxes type/variable bug
author Louis Opter <louis@lse.epita.fr>
date Fri, 19 Oct 2012 09:00:25 +0200
parents
children 4e7107e284de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
92
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
1 # HG changeset patch
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
2 # Parent 7eec45c5cc587ee8b1839b38e9d9ec652856c45a
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
3 rathaxes: add a test for the pointer to Rathaxes type bug
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
4
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
5
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
6 diff --git a/rathaxes/compiler/tests/CMakeLists.txt b/rathaxes/compiler/tests/CMakeLists.txt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
7 --- a/rathaxes/compiler/tests/CMakeLists.txt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
8 +++ b/rathaxes/compiler/tests/CMakeLists.txt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
9 @@ -43,3 +43,5 @@
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
10
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
11 # Tests for the typing system (should not do anymore than parsing/checking typing)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
12 ADD_SUBDIRECTORY(typing)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
13 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
14 +ADD_SUBDIRECTORY(pointer_to_rathaxes_type)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
15 diff --git a/rathaxes/compiler/tests/pointer_to_rathaxes_type/CMakeLists.txt b/rathaxes/compiler/tests/pointer_to_rathaxes_type/CMakeLists.txt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
16 new file mode 100644
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
17 --- /dev/null
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
18 +++ b/rathaxes/compiler/tests/pointer_to_rathaxes_type/CMakeLists.txt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
19 @@ -0,0 +1,3 @@
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
20 +ADD_RATHAXES_SOURCES(test_pointer_to_rathaxes_type pointer_to_rathaxes_type.rtx
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
21 + RTI pointer_to_rathaxes_type.rti
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
22 + BLT pointer_to_rathaxes_type.blt)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
23 diff --git a/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.blt b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.blt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
24 new file mode 100644
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
25 --- /dev/null
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
26 +++ b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.blt
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
27 @@ -0,0 +1,32 @@
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
28 +with Test
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
29 +{
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
30 + ${pointcut Test::code()};
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
31 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
32 + template type Test::Test()
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
33 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
34 + chunk ::decl()
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
35 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
36 + int;
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
37 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
38 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
39 + map
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
40 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
41 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
42 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
43 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
44 + template sequence Test::entry_point(Test::Test)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
45 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
46 + chunk code()
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
47 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
48 + int
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
49 + main(void)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
50 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
51 + ${Test::Test} *p;
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
52 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
53 + ${pointcut ::IMPLEMENTATION(local.p)};
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
54 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
55 + return 0;
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
56 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
57 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
58 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
59 +}
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
60 diff --git a/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rti b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rti
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
61 new file mode 100644
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
62 --- /dev/null
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
63 +++ b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rti
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
64 @@ -0,0 +1,14 @@
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
65 +interface Test
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
66 +{
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
67 + provided pointcut code();
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
68 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
69 + provided type Test
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
70 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
71 + chunk ::decl();
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
72 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
73 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
74 + required sequence entry_point(Test::Test)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
75 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
76 + provided chunk code();
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
77 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
78 +}
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
79 diff --git a/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rtx b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rtx
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
80 new file mode 100644
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
81 --- /dev/null
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
82 +++ b/rathaxes/compiler/tests/pointer_to_rathaxes_type/pointer_to_rathaxes_type.rtx
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
83 @@ -0,0 +1,10 @@
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
84 +device Test use Test
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
85 +{
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
86 + Test::entry_point(Test::Test t)
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
87 + {
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
88 + }
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
89 +}
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
90 +
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
91 +configuration
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
92 +{
5eb746474f0f Add a test for the pointer to Rathaxes type/variable bug
Louis Opter <louis@lse.epita.fr>
parents:
diff changeset
93 +}