From c5947c5b7977c73ce2be1713e89bf9e5c5a9655b Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Tue, 11 Oct 2016 10:45:30 +0200 Subject: [PATCH] Add docblocks --- src/Project.php | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/src/Project.php b/src/Project.php index bed2676..587fcce 100644 --- a/src/Project.php +++ b/src/Project.php @@ -100,12 +100,24 @@ class Project return $document; } + /** + * Removes the document with the specified URI from the list of open documents + * + * @param string $uri + * @return void + */ public function closeDocument(string $uri) { unset($this->documents[$uri]); } - public function isDocumentOpen(string $uri) + /** + * Returns true if the document is open (and loaded) + * + * @param string $uri + * @return bool + */ + public function isDocumentOpen(string $uri): bool { return isset($this->documents[$uri]); }