Wie komme ich von einer URL zu einem Dateinamen?

Path	csiph.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Peter Müller <invalid@invalid.invalid>
Newsgroups	de.comp.lang.java
Subject	Wie komme ich von einer URL zu einem Dateinamen?
Date	Fri, 12 May 2023 20:59:17 +0200
Lines	16
Message-ID	<kc7gkbFrjknU1@mid.individual.net> (permalink)
Mime-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	8bit
X-Trace	individual.net hwSBtJntv2pL7hAWyBbAJgUzNNjARmeoiobWyDTL6DxhI1RkdO
Cancel-Lock	sha1:cV+riH0cZm1xl2fSML7uw6zQ3Qk=
X-Mozilla-News-Host	news://news.individual.de:119
User-Agent	Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0
Xref	csiph.com de.comp.lang.java:13448

Show key headers only | View raw

Der folgende Code funktioniert nicht:

URL url = MainWindow.class.getResource("InitializeAudio.mp3");
String fileName = url.toString();
audioClip = new javafx.scene.media.AudioClip(url.toString());
audioClip.play();

Ich dachte, dass ich das Problem über eine temporäre Datei umgehen 
könnte. Ich bräuchte dazu url.toURI(), was aber auch nicht funktioniert. 
Es kann eine URISyntaxException geworfen werden.
Eclipse liefert die Fehlermeldung:
"The method toURI() from the type URL refers to the missing type 
URISyntaxException".
Der import von java.net.URISyntaxException funktioniert nicht.

Was kann ich tun?

Back to de.comp.lang.java | Previous | Next — Next in thread | Find similar

Thread

Wie komme ich von einer URL zu einem Dateinamen? Peter Müller <invalid@invalid.invalid> - 2023-05-12 20:59 +0200
  Re: Wie komme ich von einer URL zu einem Dateinamen? Peter Müller <invalid@invalid.invalid> - 2023-05-14 12:00 +0200
  Re: Wie komme ich von einer URL zu einem Dateinamen? Patrick Roemer <sangamon@netcologne.de> - 2023-05-14 16:02 +0200
    Re: Wie komme ich von einer URL zu einem Dateinamen? Peter Müller <invalid@invalid.invalid> - 2023-05-15 18:36 +0200
      Re: Wie komme ich von einer URL zu einem Dateinamen? Peter Müller <invalid@invalid.invalid> - 2023-05-15 20:39 +0200
        Re: Wie komme ich von einer URL zu einem Dateinamen? Patrick Roemer <sangamon@netcologne.de> - 2023-05-16 14:49 +0200
          Re: Wie komme ich von einer URL zu einem Dateinamen? Michael Paap <feunews@mpaap.de> - 2023-05-16 15:25 +0200
          Re: Wie komme ich von einer URL zu einem Dateinamen? Peter Müller <invalid@invalid.invalid> - 2023-05-16 18:50 +0200

csiph-web