tests: Fix tests
[nit.git] / tests / sav / test_neo_args1.res
1 # mpackages:
2 excluded test_prog
3 ------------------------------------
4 excluded test_prog
5
6 # mmodules:
7 careers character combat excluded game game_examples platform races rpg test_game test_prog
8 ------------------------------------
9 careers character combat excluded game game_examples platform races rpg test_game test_prog
10
11 # mclasses:
12 Alcoholic Bool Career Character Combatable Dwarf Elf Float Game Human Int List Magician Object Race Starter String Sys Warrior Weapon
13 ------------------------------------
14 Alcoholic Bool Career Character Combatable Dwarf Elf Float Game Human Int List Magician Object Race Starter String Sys Warrior Weapon
15
16 # mproperties:
17 != * * + + - - / / == > > OTHER _age _base_endurance _base_intelligence _base_strength _career _endurance_bonus _health _intelligence_bonus _name _race _sex _strength_bonus age age= attack base_endurance base_endurance= base_intelligence base_intelligence= base_strength base_strength= career career= computer_characters defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defend direct_attack dps endurance_bonus endurance_bonus= health health= hit_points init intelligence_bonus intelligence_bonus= is_dead main max_health name name= pause_game player_characters quit race race= sex sex= start start_game stop_game strength_bonus strength_bonus= to_f total_endurance total_intelligence total_strengh unary -
18 ------------------------------------
19 != * * + + - - / / == > > OTHER _age _base_endurance _base_intelligence _base_strength _career _endurance_bonus _health _intelligence_bonus _name _race _sex _strength_bonus age age= attack base_endurance base_endurance= base_intelligence base_intelligence= base_strength base_strength= career career= computer_characters defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defaultinit defend direct_attack dps endurance_bonus endurance_bonus= health health= hit_points init intelligence_bonus intelligence_bonus= is_dead main max_health name name= pause_game player_characters quit race race= sex sex= start start_game stop_game strength_bonus strength_bonus= to_f total_endurance total_intelligence total_strengh unary -
20
21 # msignatures:
22 !=(other: OTHER): Bool
23 *(i: Int): Int
24 *(f: Float): Float
25 +(f: Float): Float
26 +(i: Int): Int
27 -(i: Int): Int
28 -(f: Float): Float
29 /(i: Int): Int
30 /(f: Float): Float
31 ==(other: OTHER): Bool
32 >(i: Int): Bool
33 >(f: Float): Bool
34 age: Int
35 age=(age: Int)
36 attack(target: Combatable, weapon: Weapon): Int
37 base_endurance: Int
38 base_endurance=(base_endurance: Int)
39 base_intelligence: Int
40 base_intelligence=(base_intelligence: Int)
41 base_strength: Int
42 base_strength=(base_strength: Int)
43 career: nullable Career
44 career=(career: nullable Career)
45 computer_characters: List[Character]
46 defaultinit
47 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
48 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
49 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
50 defaultinit
51 defaultinit
52 defaultinit
53 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
54 defaultinit(base_strength, base_endurance, base_intelligence: Int)
55 defaultinit(base_strength, base_endurance, base_intelligence: Int)
56 defaultinit(base_strength, base_endurance, base_intelligence: Int)
57 defaultinit(base_strength, base_endurance, base_intelligence: Int)
58 defaultinit
59 defaultinit
60 defaultinit
61 defaultinit
62 defaultinit
63 defaultinit(race: Race, name: String, age: Int, sex: Bool)
64 defaultinit
65 defaultinit
66 defend(hit: Int): Int
67 direct_attack(target: Combatable, weapon: Weapon): Int
68 dps: Float
69 endurance_bonus: Int
70 endurance_bonus=(endurance_bonus: Int)
71 health: Int
72 health=(health: Int)
73 hit_points: Int
74 init
75 intelligence_bonus: Int
76 intelligence_bonus=(intelligence_bonus: Int)
77 is_dead: Bool
78 main
79 max_health: Int
80 name: String
81 name=(name: String)
82 pause_game
83 player_characters: List[Character]
84 quit
85 race: Race
86 race=(race: Race)
87 sex: Bool
88 sex=(sex: Bool)
89 start
90 start_game
91 stop_game
92 strength_bonus: Int
93 strength_bonus=(strength_bonus: Int)
94 to_f: Float
95 total_endurance: Int
96 total_intelligence: Int
97 total_strengh: Int
98 unary -: Int
99 ------------------------------------
100 !=(other: OTHER): Bool
101 *(i: Int): Int
102 *(f: Float): Float
103 +(f: Float): Float
104 +(i: Int): Int
105 -(i: Int): Int
106 -(f: Float): Float
107 /(i: Int): Int
108 /(f: Float): Float
109 ==(other: OTHER): Bool
110 >(i: Int): Bool
111 >(f: Float): Bool
112 age: Int
113 age=(age: Int)
114 attack(target: Combatable, weapon: Weapon): Int
115 base_endurance: Int
116 base_endurance=(base_endurance: Int)
117 base_intelligence: Int
118 base_intelligence=(base_intelligence: Int)
119 base_strength: Int
120 base_strength=(base_strength: Int)
121 career: nullable Career
122 career=(career: nullable Career)
123 computer_characters: List[Character]
124 defaultinit(base_strength, base_endurance, base_intelligence: Int)
125 defaultinit(base_strength, base_endurance, base_intelligence: Int)
126 defaultinit
127 defaultinit
128 defaultinit(base_strength, base_endurance, base_intelligence: Int)
129 defaultinit
130 defaultinit
131 defaultinit(base_strength, base_endurance, base_intelligence: Int)
132 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
133 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
134 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
135 defaultinit(strength_bonus, endurance_bonus, intelligence_bonus: Int)
136 defaultinit
137 defaultinit
138 defaultinit
139 defaultinit
140 defaultinit
141 defaultinit(race: Race, name: String, age: Int, sex: Bool)
142 defaultinit
143 defaultinit
144 defend(hit: Int): Int
145 direct_attack(target: Combatable, weapon: Weapon): Int
146 dps: Float
147 endurance_bonus: Int
148 endurance_bonus=(endurance_bonus: Int)
149 health: Int
150 health=(health: Int)
151 hit_points: Int
152 init
153 intelligence_bonus: Int
154 intelligence_bonus=(intelligence_bonus: Int)
155 is_dead: Bool
156 main
157 max_health: Int
158 name: String
159 name=(name: String)
160 pause_game
161 player_characters: List[Character]
162 quit
163 race: Race
164 race=(race: Race)
165 sex: Bool
166 sex=(sex: Bool)
167 start
168 start_game
169 stop_game
170 strength_bonus: Int
171 strength_bonus=(strength_bonus: Int)
172 to_f: Float
173 total_endurance: Int
174 total_intelligence: Int
175 total_strengh: Int
176 unary -: Int