var class_open_file_parameter =
[
    [ "file", "class_open_file_parameter.html#a5f100eade7ad49e79dbbec054ff7cac1", null ],
    [ "options", "class_open_file_parameter.html#a7964f72db09c5f8322da4532c394c4e7", null ],
    [ "type", "class_open_file_parameter.html#a1984f054e8de3236ca28260fcdc67aa1", null ]
];