fix #6458 add get options method for getting known options to the resolver