Last change
on this file since 99 was 96, checked in by Bart Vastenhouw, 2 years ago |
Fixed small issues in domaineditor.
|
File size:
1.2 KB
|
Line | |
---|
1 | from pyson.JsonGetter import JsonGetter
|
---|
2 | from pyson.JsonValue import JsonValue
|
---|
3 | from uri.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 | # EXTRA: we check that the URI is not completely empty.
|
---|
21 | # This to get similar behaviour as Java
|
---|
22 | if uri == None or (uri.getHost() == None and uri.getPath() == None):
|
---|
23 | raise ValueError("profile=null")
|
---|
24 | self._profile = uri
|
---|
25 |
|
---|
26 | @JsonValue()
|
---|
27 | def getURI(self) -> URI:
|
---|
28 | return self._profile
|
---|
29 |
|
---|
30 | def __repr__(self):
|
---|
31 | return "ProfileRef[" + str(self._profile) + "]"
|
---|
32 |
|
---|
33 | def __eq__(self, other):
|
---|
34 | return isinstance(other, self.__class__) and \
|
---|
35 | self._profile == other._profile
|
---|
36 |
|
---|
37 | def __hash__(self):
|
---|
38 | '''
|
---|
39 | support for using this in dict etc
|
---|
40 | '''
|
---|
41 | return hash(str(self._profile))
|
---|
Note:
See
TracBrowser
for help on using the repository browser.