tests/sav/test_neo_args1.res

   1 # mpackages:
   2 test_prog
   3 ------------------------------------
   4 test_prog
   5
   6 # mmodules:
   7 careers character combat game platform races rpg test_prog
   8 ------------------------------------
   9 careers character combat game platform races rpg 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 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 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 *(f: Float): Float
  24 *(i: Int): Int
  25 +(f: Float): Float
  26 +(i: Int): Int
  27 -(i: Int): Int
  28 -(f: Float): Float
  29 /(f: Float): Float
  30 /(i: Int): Int
  31 ==(other: OTHER): Bool
  32 >(f: Float): Bool
  33 >(i: Int): 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 defend(hit: Int): Int
  47 direct_attack(target: Combatable, weapon: Weapon): Int
  48 dps: Float
  49 endurance_bonus: Int
  50 endurance_bonus=(endurance_bonus: Int)
  51 health: Int
  52 health=(health: Int)
  53 hit_points: Int
  54 init
  55 intelligence_bonus: Int
  56 intelligence_bonus=(intelligence_bonus: Int)
  57 is_dead: Bool
  58 main
  59 max_health: Int
  60 name: String
  61 name=(name: String)
  62 pause_game
  63 player_characters: List[Character]
  64 quit
  65 race: Race
  66 race=(race: Race)
  67 sex: Bool
  68 sex=(sex: Bool)
  69 start
  70 start_game
  71 stop_game
  72 strength_bonus: Int
  73 strength_bonus=(strength_bonus: Int)
  74 to_f: Float
  75 total_endurance: Int
  76 total_intelligence: Int
  77 total_strengh: Int
  78 unary -: Int
  79 ------------------------------------
  80 !=(other: OTHER): Bool
  81 *(f: Float): Float
  82 *(i: Int): Int
  83 +(f: Float): Float
  84 +(i: Int): Int
  85 -(i: Int): Int
  86 -(f: Float): Float
  87 /(f: Float): Float
  88 /(i: Int): Int
  89 ==(other: OTHER): Bool
  90 >(f: Float): Bool
  91 >(i: Int): Bool
  92 age: Int
  93 age=(age: Int)
  94 attack(target: Combatable, weapon: Weapon): Int
  95 base_endurance: Int
  96 base_endurance=(base_endurance: Int)
  97 base_intelligence: Int
  98 base_intelligence=(base_intelligence: Int)
  99 base_strength: Int
 100 base_strength=(base_strength: Int)
 101 career: nullable Career
 102 career=(career: nullable Career)
 103 computer_characters: List[Character]
 104 defend(hit: Int): Int
 105 direct_attack(target: Combatable, weapon: Weapon): Int
 106 dps: Float
 107 endurance_bonus: Int
 108 endurance_bonus=(endurance_bonus: Int)
 109 health: Int
 110 health=(health: Int)
 111 hit_points: Int
 112 init
 113 intelligence_bonus: Int
 114 intelligence_bonus=(intelligence_bonus: Int)
 115 is_dead: Bool
 116 main
 117 max_health: Int
 118 name: String
 119 name=(name: String)
 120 pause_game
 121 player_characters: List[Character]
 122 quit
 123 race: Race
 124 race=(race: Race)
 125 sex: Bool
 126 sex=(sex: Bool)
 127 start
 128 start_game
 129 stop_game
 130 strength_bonus: Int
 131 strength_bonus=(strength_bonus: Int)
 132 to_f: Float
 133 total_endurance: Int
 134 total_intelligence: Int
 135 total_strengh: Int
 136 unary -: Int