load_from_file (world:
WORLD, complete_file_name:
STRING)
effective procedure
require
- node /= Void
- name /= Void
require
- node /= Void and then node.name.is_equal("world")
require
- node /= Void and then node.name.is_equal("camera")
require
- node /= Void and then node.name.is_equal("light")
require
- node /= Void and then node.name.is_equal("object")
require
- node /= Void and then node.name.is_equal("fog")