src/model/test_model_json.sav/test_modules_to_full_json.res

   1 {
   2         "name": "excluded",
   3         "class_name": "MModule",
   4         "full_name": "excluded::excluded",
   5         "mdoc": null,
   6         "visibility": "public",
   7         "modifiers": ["module"],
   8         "location": {
   9                 "column_end": 0,
  10                 "column_start": 0,
  11                 "line_end": 0,
  12                 "line_start": 0,
  13                 "file": "test_location"
  14         },
  15         "mpackage": {
  16                 "full_name": "excluded"
  17         },
  18         "mgroup": {
  19                 "full_name": "excluded>"
  20         },
  21         "intro_mclasses": [],
  22         "mclassdefs": [],
  23         "intro_mclassdefs": [],
  24         "redef_mclassdefs": [],
  25         "imports": []
  26 }
  27 {
  28         "name": "game",
  29         "class_name": "MModule",
  30         "full_name": "test_prog::game",
  31         "mdoc": {
  32                 "content": "A game abstraction for RPG.",
  33                 "location": {
  34                         "column_end": 0,
  35                         "column_start": 1,
  36                         "line_end": 16,
  37                         "line_start": 15,
  38                         "file": "test_location"
  39                 }
  40         },
  41         "visibility": "public",
  42         "modifiers": ["module"],
  43         "location": {
  44                 "column_end": 3,
  45                 "column_start": 1,
  46                 "line_end": 45,
  47                 "line_start": 15,
  48                 "file": "test_location"
  49         },
  50         "mpackage": {
  51                 "full_name": "test_prog"
  52         },
  53         "mgroup": {
  54                 "full_name": "test_prog>game>"
  55         },
  56         "intro_mclasses": [{
  57                 "full_name": "test_prog::Game"
  58         }],
  59         "mclassdefs": [{
  60                 "full_name": "test_prog$Game"
  61         }],
  62         "intro_mclassdefs": [{
  63                 "full_name": "test_prog$Game"
  64         }],
  65         "redef_mclassdefs": [],
  66         "imports": [{
  67                 "full_name": "test_prog::rpg"
  68         }]
  69 }
  70 {
  71         "name": "platform",
  72         "class_name": "MModule",
  73         "full_name": "test_prog::platform",
  74         "mdoc": {
  75                 "content": "Declares base types allowed on the platform.",
  76                 "location": {
  77                         "column_end": 0,
  78                         "column_start": 1,
  79                         "line_end": 16,
  80                         "line_start": 15,
  81                         "file": "test_location"
  82                 }
  83         },
  84         "visibility": "public",
  85         "modifiers": ["module"],
  86         "location": {
  87                 "column_end": 17,
  88                 "column_start": 1,
  89                 "line_end": 59,
  90                 "line_start": 15,
  91                 "file": "test_location"
  92         },
  93         "mpackage": {
  94                 "full_name": "test_prog"
  95         },
  96         "mgroup": {
  97                 "full_name": "test_prog>platform>"
  98         },
  99         "intro_mclasses": [{
 100                 "full_name": "test_prog::Object"
 101         }, {
 102                 "full_name": "test_prog::Int"
 103         }, {
 104                 "full_name": "test_prog::Float"
 105         }, {
 106                 "full_name": "test_prog::Bool"
 107         }, {
 108                 "full_name": "test_prog::String"
 109         }, {
 110                 "full_name": "test_prog::List"
 111         }],
 112         "mclassdefs": [{
 113                 "full_name": "test_prog$Object"
 114         }, {
 115                 "full_name": "test_prog$Int"
 116         }, {
 117                 "full_name": "test_prog$Float"
 118         }, {
 119                 "full_name": "test_prog$Bool"
 120         }, {
 121                 "full_name": "test_prog$String"
 122         }, {
 123                 "full_name": "test_prog$List"
 124         }],
 125         "intro_mclassdefs": [{
 126                 "full_name": "test_prog$Object"
 127         }, {
 128                 "full_name": "test_prog$Int"
 129         }, {
 130                 "full_name": "test_prog$Float"
 131         }, {
 132                 "full_name": "test_prog$Bool"
 133         }, {
 134                 "full_name": "test_prog$String"
 135         }, {
 136                 "full_name": "test_prog$List"
 137         }],
 138         "redef_mclassdefs": [],
 139         "imports": []
 140 }
 141 {
 142         "name": "careers",
 143         "class_name": "MModule",
 144         "full_name": "test_prog::careers",
 145         "mdoc": {
 146                 "content": "Careers of the game.\n\nAll characters can have a `Career`.\nA character can also quit its current career and start a new one.\n\nAvailable careers:\n\n * `Warrior`\n * `Magician`\n * `Alcoholic`",
 147                 "location": {
 148                         "column_end": 0,
 149                         "column_start": 1,
 150                         "line_end": 25,
 151                         "line_start": 15,
 152                         "file": "test_location"
 153                 }
 154         },
 155         "visibility": "public",
 156         "modifiers": ["module"],
 157         "location": {
 158                 "column_end": 3,
 159                 "column_start": 1,
 160                 "line_end": 69,
 161                 "line_start": 15,
 162                 "file": "test_location"
 163         },
 164         "mpackage": {
 165                 "full_name": "test_prog"
 166         },
 167         "mgroup": {
 168                 "full_name": "test_prog>rpg>"
 169         },
 170         "intro_mclasses": [{
 171                 "full_name": "test_prog::Career"
 172         }, {
 173                 "full_name": "test_prog::Warrior"
 174         }, {
 175                 "full_name": "test_prog::Magician"
 176         }, {
 177                 "full_name": "test_prog::Alcoholic"
 178         }],
 179         "mclassdefs": [{
 180                 "full_name": "test_prog$Career"
 181         }, {
 182                 "full_name": "test_prog$Warrior"
 183         }, {
 184                 "full_name": "test_prog$Magician"
 185         }, {
 186                 "full_name": "test_prog$Alcoholic"
 187         }],
 188         "intro_mclassdefs": [{
 189                 "full_name": "test_prog$Career"
 190         }, {
 191                 "full_name": "test_prog$Warrior"
 192         }, {
 193                 "full_name": "test_prog$Magician"
 194         }, {
 195                 "full_name": "test_prog$Alcoholic"
 196         }],
 197         "redef_mclassdefs": [],
 198         "imports": [{
 199                 "full_name": "test_prog::platform"
 200         }]
 201 }
 202 {
 203         "name": "character",
 204         "class_name": "MModule",
 205         "full_name": "test_prog::character",
 206         "mdoc": {
 207                 "content": "Characters are playable entity in the world.",
 208                 "location": {
 209                         "column_end": 0,
 210                         "column_start": 1,
 211                         "line_end": 16,
 212                         "line_start": 15,
 213                         "file": "test_location"
 214                 }
 215         },
 216         "visibility": "public",
 217         "modifiers": ["module"],
 218         "location": {
 219                 "column_end": 3,
 220                 "column_start": 1,
 221                 "line_end": 68,
 222                 "line_start": 15,
 223                 "file": "test_location"
 224         },
 225         "mpackage": {
 226                 "full_name": "test_prog"
 227         },
 228         "mgroup": {
 229                 "full_name": "test_prog>rpg>"
 230         },
 231         "intro_mclasses": [{
 232                 "full_name": "test_prog::Character"
 233         }],
 234         "mclassdefs": [{
 235                 "full_name": "test_prog$Character"
 236         }],
 237         "intro_mclassdefs": [{
 238                 "full_name": "test_prog$Character"
 239         }],
 240         "redef_mclassdefs": [],
 241         "imports": [{
 242                 "full_name": "test_prog::races"
 243         }, {
 244                 "full_name": "test_prog::careers"
 245         }]
 246 }
 247 {
 248         "name": "combat",
 249         "class_name": "MModule",
 250         "full_name": "test_prog::combat",
 251         "mdoc": {
 252                 "content": "COmbat interactions between characters.",
 253                 "location": {
 254                         "column_end": 0,
 255                         "column_start": 1,
 256                         "line_end": 16,
 257                         "line_start": 15,
 258                         "file": "test_location"
 259                 }
 260         },
 261         "visibility": "public",
 262         "modifiers": ["module"],
 263         "location": {
 264                 "column_end": 3,
 265                 "column_start": 1,
 266                 "line_end": 67,
 267                 "line_start": 15,
 268                 "file": "test_location"
 269         },
 270         "mpackage": {
 271                 "full_name": "test_prog"
 272         },
 273         "mgroup": {
 274                 "full_name": "test_prog>rpg>"
 275         },
 276         "intro_mclasses": [{
 277                 "full_name": "test_prog::Weapon"
 278         }, {
 279                 "full_name": "test_prog::Combatable"
 280         }],
 281         "mclassdefs": [{
 282                 "full_name": "test_prog$Weapon"
 283         }, {
 284                 "full_name": "test_prog$Combatable"
 285         }, {
 286                 "full_name": "test_prog::combat$Character"
 287         }, {
 288                 "full_name": "test_prog::combat$Dwarf"
 289         }],
 290         "intro_mclassdefs": [{
 291                 "full_name": "test_prog$Weapon"
 292         }, {
 293                 "full_name": "test_prog$Combatable"
 294         }],
 295         "redef_mclassdefs": [{
 296                 "full_name": "test_prog::combat$Character"
 297         }, {
 298                 "full_name": "test_prog::combat$Dwarf"
 299         }],
 300         "imports": [{
 301                 "full_name": "test_prog::character"
 302         }]
 303 }
 304 {
 305         "name": "races",
 306         "class_name": "MModule",
 307         "full_name": "test_prog::races",
 308         "mdoc": {
 309                 "content": "Races of the game.\n\nAll characters belong to a `Race`.\n\nAvailable races:\n\n * `Human`\n * `Dwarf`\n * `Elf`",
 310                 "location": {
 311                         "column_end": 0,
 312                         "column_start": 1,
 313                         "line_end": 24,
 314                         "line_start": 15,
 315                         "file": "test_location"
 316                 }
 317         },
 318         "visibility": "public",
 319         "modifiers": ["module"],
 320         "location": {
 321                 "column_end": 3,
 322                 "column_start": 1,
 323                 "line_end": 78,
 324                 "line_start": 15,
 325                 "file": "test_location"
 326         },
 327         "mpackage": {
 328                 "full_name": "test_prog"
 329         },
 330         "mgroup": {
 331                 "full_name": "test_prog>rpg>"
 332         },
 333         "intro_mclasses": [{
 334                 "full_name": "test_prog::Race"
 335         }, {
 336                 "full_name": "test_prog::Human"
 337         }, {
 338                 "full_name": "test_prog::Dwarf"
 339         }, {
 340                 "full_name": "test_prog::Elf"
 341         }],
 342         "mclassdefs": [{
 343                 "full_name": "test_prog$Race"
 344         }, {
 345                 "full_name": "test_prog$Human"
 346         }, {
 347                 "full_name": "test_prog$Dwarf"
 348         }, {
 349                 "full_name": "test_prog$Elf"
 350         }],
 351         "intro_mclassdefs": [{
 352                 "full_name": "test_prog$Race"
 353         }, {
 354                 "full_name": "test_prog$Human"
 355         }, {
 356                 "full_name": "test_prog$Dwarf"
 357         }, {
 358                 "full_name": "test_prog$Elf"
 359         }],
 360         "redef_mclassdefs": [],
 361         "imports": [{
 362                 "full_name": "test_prog::platform"
 363         }]
 364 }
 365 {
 366         "name": "rpg",
 367         "class_name": "MModule",
 368         "full_name": "test_prog::rpg",
 369         "mdoc": {
 370                 "content": "A worlg RPG abstraction.",
 371                 "location": {
 372                         "column_end": 0,
 373                         "column_start": 1,
 374                         "line_end": 16,
 375                         "line_start": 15,
 376                         "file": "test_location"
 377                 }
 378         },
 379         "visibility": "public",
 380         "modifiers": ["module"],
 381         "location": {
 382                 "column_end": 13,
 383                 "column_start": 1,
 384                 "line_end": 21,
 385                 "line_start": 15,
 386                 "file": "test_location"
 387         },
 388         "mpackage": {
 389                 "full_name": "test_prog"
 390         },
 391         "mgroup": {
 392                 "full_name": "test_prog>rpg>"
 393         },
 394         "intro_mclasses": [],
 395         "mclassdefs": [],
 396         "intro_mclassdefs": [],
 397         "redef_mclassdefs": [],
 398         "imports": [{
 399                 "full_name": "test_prog::combat"
 400         }]
 401 }
 402 {
 403         "name": "test_prog",
 404         "class_name": "MModule",
 405         "full_name": "test_prog::test_prog",
 406         "mdoc": {
 407                 "content": "A test program with a fake model to check model tools.",
 408                 "location": {
 409                         "column_end": 0,
 410                         "column_start": 1,
 411                         "line_end": 16,
 412                         "line_start": 15,
 413                         "file": "test_location"
 414                 }
 415         },
 416         "visibility": "public",
 417         "modifiers": ["module"],
 418         "location": {
 419                 "column_end": 13,
 420                 "column_start": 1,
 421                 "line_end": 26,
 422                 "line_start": 15,
 423                 "file": "test_location"
 424         },
 425         "mpackage": {
 426                 "full_name": "test_prog"
 427         },
 428         "mgroup": {
 429                 "full_name": "test_prog>"
 430         },
 431         "intro_mclasses": [{
 432                 "full_name": "test_prog::Starter"
 433         }, {
 434                 "full_name": "test_prog::Sys"
 435         }],
 436         "mclassdefs": [{
 437                 "full_name": "test_prog$Starter"
 438         }, {
 439                 "full_name": "test_prog$Sys"
 440         }],
 441         "intro_mclassdefs": [{
 442                 "full_name": "test_prog$Starter"
 443         }, {
 444                 "full_name": "test_prog$Sys"
 445         }],
 446         "redef_mclassdefs": [],
 447         "imports": [{
 448                 "full_name": "test_prog::game"
 449         }]
 450 }
 451 {
 452         "name": "test_prog-m",
 453         "class_name": "MModule",
 454         "full_name": "test_prog-m",
 455         "mdoc": null,
 456         "visibility": "public",
 457         "modifiers": ["module"],
 458         "location": {
 459                 "column_end": 0,
 460                 "column_start": 0,
 461                 "line_end": 0,
 462                 "line_start": 0,
 463                 "file": "test_location"
 464         },
 465         "mpackage": null,
 466         "mgroup": null,
 467         "intro_mclasses": [],
 468         "mclassdefs": [],
 469         "intro_mclassdefs": [],
 470         "redef_mclassdefs": [],
 471         "imports": [{
 472                 "full_name": "test_prog::test_prog"
 473         }]
 474 }