FilesExpand file tree

 master

/

Url.java

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

73 lines (61 loc) · 2.17 KB

 master

/

Url.java

Copy path

Top

File metadata and controls

• Code
• Blame

73 lines (61 loc) · 2.17 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

package io.socket.client;

import java.net.MalformedURLException;

import java.net.URI;

import java.net.URISyntaxException;

import java.net.URL;

import java.util.regex.Pattern;

public class Url {

private static Pattern PATTERN_HTTP = Pattern.compile("^http|ws$");

private static Pattern PATTERN_HTTPS = Pattern.compile("^(http|ws)s$");

private Url() {}

public static URL parse(String uri) throws URISyntaxException {

return parse(new URI(uri));

}

public static URL parse(URI uri) {

String protocol = uri.getScheme();

if (protocol == null || !protocol.matches("^https?|wss?$")) {

protocol = "https";

}

int port = uri.getPort();

if (port == -1) {

if (PATTERN_HTTP.matcher(protocol).matches()) {

port = 80;

} else if (PATTERN_HTTPS.matcher(protocol).matches()) {

port = 443;

}

}

String path = uri.getRawPath();

if (path == null || path.length() == 0) {

path = "/";

}

String userInfo = uri.getRawUserInfo();

String query = uri.getRawQuery();

String fragment = uri.getRawFragment();

try {

return new URL(protocol + "://"

+ (userInfo != null ? userInfo + "@" : "")

+ uri.getHost()

+ (port != -1 ? ":" + port : "")

+ path

+ (query != null ? "?" + query : "")

+ (fragment != null ? "#" + fragment : ""));

} catch (MalformedURLException e) {

throw new RuntimeException(e);

}

}

public static String extractId(String url) throws MalformedURLException {

return extractId(new URL(url));

}

public static String extractId(URL url) {

String protocol = url.getProtocol();

int port = url.getPort();

if (port == -1) {

if (PATTERN_HTTP.matcher(protocol).matches()) {

port = 80;

} else if (PATTERN_HTTPS.matcher(protocol).matches()) {

port = 443;

}

}

return protocol + "://" + url.getHost() + ":" + port;

}

}