From 4e5f9c8793fb4fb1fb0c33d4478497583cf6a8ef Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Fri, 5 Jan 2018 18:51:26 +0700
Subject: [PATCH] Url#isInLocalFileSystem marked as pure

---
 platform/platform-api/src/com/intellij/util/Url.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/platform/platform-api/src/com/intellij/util/Url.java b/platform/platform-api/src/com/intellij/util/Url.java
index 81b824fbb568..dc776a096d58 100644
--- a/platform/platform-api/src/com/intellij/util/Url.java
+++ b/platform/platform-api/src/com/intellij/util/Url.java
@@ -15,6 +15,7 @@
  */
 package com.intellij.util;
 
+import org.jetbrains.annotations.Contract;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
@@ -28,6 +29,7 @@ public interface Url {
   @NotNull
   String getPath();
 
+  @Contract(pure = true)
   boolean isInLocalFileSystem();
 
   String toDecodedForm();