|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface Principal
This is implemented in Java so that the constructor can provide default labels so that a Principal p can be labelled with {p→_; p←p}.
| Nested Class Summary | |
|---|---|
static class |
Principal._Impl
|
static class |
Principal._Proxy
|
static interface |
Principal._Static
|
| Method Summary | |
|---|---|
boolean |
delegatesTo(Principal p)
|
boolean |
equals(Principal p)
|
ActsForProof |
findProofDownto(Store store,
Principal q,
java.lang.Object searchState)
|
ActsForProof |
findProofUpto(Store store,
Principal p,
java.lang.Object searchState)
|
PrivateKeyObject |
getPrivateKeyObject()
|
java.security.PublicKey |
getPublicKey()
|
boolean |
isAuthorized(java.lang.Object authPrf,
Closure closure,
Label lb,
boolean executeNow)
|
java.lang.String |
name()
|
| Methods inherited from interface fabric.lang.Object |
|---|
$forceRenumber, $getOnum, $getProxy, $getStore, $unwrap, createStatistics, equals, fetch, get$label, idEquals |
| Method Detail |
|---|
java.lang.String name()
boolean delegatesTo(Principal p)
boolean equals(Principal p)
boolean isAuthorized(java.lang.Object authPrf,
Closure closure,
Label lb,
boolean executeNow)
ActsForProof findProofUpto(Store store,
Principal p,
java.lang.Object searchState)
ActsForProof findProofDownto(Store store,
Principal q,
java.lang.Object searchState)
java.security.PublicKey getPublicKey()
PrivateKeyObject getPrivateKeyObject()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||