load_from_file (complete_file_name:
STRING): E_
effective function
require
- node /= Void
- name /= Void
require
- node /= Void and then node.name.is_equal("object")
require
- node /= Void and then node.name.is_equal("facet")
require
- node /= Void and then node.name.is_equal("vertex")
ensure