Last change
on this file since 65 was 59, checked in by Wouter Pasman, 3 years ago |
#44 manual commit of first public release, because this will cause the dist directory to move
|
File size:
1.0 KB
|
Line | |
---|
1 | from pyson.JsonGetter import JsonGetter
|
---|
2 | from pyson.JsonValue import JsonValue
|
---|
3 | from uri import URI # type: ignore
|
---|
4 |
|
---|
5 | from geniusweb.references.Reference import Reference
|
---|
6 |
|
---|
7 |
|
---|
8 | class ProfileRef (Reference):
|
---|
9 | '''
|
---|
10 | A URI reference to get a copy of a profile. This usually is a "ws://"
|
---|
11 | (websocket) URI, allowing users (parties) to get notifications if the profile
|
---|
12 | is changed.
|
---|
13 | <p>
|
---|
14 | In debugging scenarios, this is usually a "file://" URI, in which case the
|
---|
15 | profile is assumed to be static during the run. Parties that support
|
---|
16 | debugging eg with the simplerunner should support the file: protocol.
|
---|
17 | '''
|
---|
18 |
|
---|
19 | def __init__(self, uri:URI):
|
---|
20 | if uri == None:
|
---|
21 | raise ValueError("profile=null")
|
---|
22 | self._profile = uri
|
---|
23 |
|
---|
24 | @JsonValue()
|
---|
25 | def getURI(self) -> URI :
|
---|
26 | return self._profile
|
---|
27 |
|
---|
28 | def __repr__(self):
|
---|
29 | return "ProfileRef[" + str(self._profile) + "]"
|
---|
30 |
|
---|
31 | def __eq__(self, other):
|
---|
32 | return isinstance(other, self.__class__) and \
|
---|
33 | self._profile==other._profile
|
---|
34 |
|
---|
35 | def __hash__(self):
|
---|
36 | '''
|
---|
37 | support for using this in dict etc
|
---|
38 | '''
|
---|
39 | return hash(str(self._profile))
|
---|
Note:
See
TracBrowser
for help on using the repository browser.