From 0edb2b7b6e67acedcc44efccf784909f4b243681 Mon Sep 17 00:00:00 2001
From: Torsten Grote <t@grobox.de>
Date: Tue, 10 Dec 2019 09:02:43 -0300
Subject: [PATCH] [core] Add JavaDoc for MessageRetreiver of
 IntroductionManager

for message deletion
---
 .../briar/introduction/IntroductionManagerImpl.java           | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java b/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
index b4f33c4ad..2ee085969 100644
--- a/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
+++ b/briar-core/src/main/java/org/briarproject/briar/introduction/IntroductionManagerImpl.java
@@ -562,6 +562,10 @@ class IntroductionManagerImpl extends ConversationClientImpl
 
 	@FunctionalInterface
 	private interface MessageRetriever {
+		/**
+		 * Returns a set of messages that should be deleted.
+		 * These must be a subset of the given set of all messages.
+		 */
 		Set<MessageId> getMessages(Set<MessageId> allMessages);
 	}