Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mypy: Account for Optional variables in addressee.py.

This commit is contained in:
neiljp (Neil Pilgrim) 2017-10-03 13:33:30 -07:00 committed by Greg Price
parent 57e7ec94a0
commit 7c819f4d90
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
zerver/lib/addressee.py
View File

@ -43,7 +43,7 @@ class Addressee:
def __init__(self, msg_type: str,
user_profiles: Optional[Sequence[UserProfile]]=None,
stream_name: Optional[Text]=None,
topic: Text=None) -> None:
topic: Optional[Text]=None) -> None:
assert(msg_type in ['stream', 'private'])
self._msg_type = msg_type
self._user_profiles = user_profiles
@ -65,10 +65,12 @@ class Addressee:
def stream_name(self) -> Text:
assert(self.is_stream())
assert(self._stream_name is not None)
return self._stream_name
def topic(self) -> Text:
assert(self.is_stream())
assert(self._topic is not None)
return self._topic
@staticmethod