2017-03-02 14:37:32 +00:00
|
|
|
using Gee;
|
|
|
|
|
2018-01-12 20:03:09 +00:00
|
|
|
using Xmpp;
|
2017-03-02 14:37:32 +00:00
|
|
|
|
2017-03-12 01:49:53 +00:00
|
|
|
namespace Dino.Plugins.OpenPgp {
|
2017-03-02 14:37:32 +00:00
|
|
|
|
|
|
|
public class Flag : XmppStreamFlag {
|
2017-03-19 11:55:36 +00:00
|
|
|
public static FlagIdentity<Flag> IDENTITY = new FlagIdentity<Flag>(NS_URI, "pgp");
|
|
|
|
|
2018-01-12 20:03:09 +00:00
|
|
|
public HashMap<Jid, string> key_ids = new HashMap<Jid, string>(Jid.hash_bare_func, Jid.equals_bare_func);
|
2017-03-02 14:37:32 +00:00
|
|
|
|
2018-01-12 20:03:09 +00:00
|
|
|
public string? get_key_id(Jid jid) { return key_ids[jid]; }
|
2017-03-02 14:37:32 +00:00
|
|
|
|
2018-01-12 20:03:09 +00:00
|
|
|
public void set_key_id(Jid jid, string key) { key_ids[jid] = key; }
|
2017-03-02 14:37:32 +00:00
|
|
|
|
|
|
|
public override string get_ns() { return NS_URI; }
|
|
|
|
|
2017-03-19 11:55:36 +00:00
|
|
|
public override string get_id() { return IDENTITY.id; }
|
2017-03-02 14:37:32 +00:00
|
|
|
}
|
|
|
|
|
2019-06-01 15:09:26 +00:00
|
|
|
}
|