1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
//
// Describe the commnucation status changes as events.
//
// These implement a mechanism equivalent to what is described in
// Section 2.2.4 Listeners, Conditions, and Wait-sets
//
// Communcation statues are detailed in Figure 2.13 and tables in Section 2.2.4.1
// in DDS Specification v1.4

use crate::dds::qos::QosPolicyId;
use mio::{Evented};
use mio_extras::channel as mio_channel;


/// This trait corresponds to set_listener() of the Entity class in DDS spec. 
/// Types implementing this trait can be registered to a poll and
/// polled for status events. 
pub trait StatusEvented<E> {
	fn as_status_evented(&mut self) -> &dyn Evented;
	fn try_recv_status(&self) -> Option<E>;
}

// Helper object for various DDS Entities
pub(crate) struct StatusReceiver<E> {
	channel_receiver: mio_channel::Receiver<E>,
	enabled: bool, // if not enabled, we should forward status to parent Entity
}

impl<E> StatusReceiver<E> {
	pub fn new(channel_receiver: mio_channel::Receiver<E>) -> StatusReceiver<E> {
		StatusReceiver::<E> {	channel_receiver, enabled: false }
	}
}

impl<E> StatusEvented<E> for StatusReceiver<E> {
	fn as_status_evented(&mut self) -> &dyn Evented {
		self.enabled = true;
		&self.channel_receiver
	}

	fn try_recv_status(&self) -> Option<E> {
		if self.enabled {
			self.channel_receiver.try_recv().ok()
		} else {
			None
		}
	}
}

#[derive(Debug, Clone)]
pub enum DomainParticipantStatus {
	PublisherStatus(PublisherStatus),
	SubscriberStatus(SubscriberStatus),
	TopicStatus(TopicStatus),
}

#[derive(Debug, Clone)]
pub enum SubscriberStatus {
	DataOnReaders,
	DataReaderStatus(DataReaderStatus),
}

pub type PublisherStatus = DataWriterStatus;

#[derive(Debug, Clone)]
pub enum TopicStatus {
	InconsistentTopic { count: CountWithChange },
}

#[derive(Debug, Clone)]
pub enum DataReaderStatus {
	/// Sample was rejected, because resource limits would have been exeeded.
	SampleRejected { 
		count: CountWithChange,
		last_reason: SampleRejectedStatusKind,
		//last_instance_key:  
	},
	/// Remote Writer has become active or inactive.
	LivelinessChanged { 
		alive_total: CountWithChange,
		not_alive_total: CountWithChange,
		//last_publication_key:  
	},
	/// Deadline requested by this DataReader was missed.
	RequestedDeadlineMissed { 
		count: CountWithChange,
		//last_instance_key:  
	},
	/// This DataReader has requested a QoS policy that is incompatibel with what is offered.
	RequestedIncompatibleQos { 
		count: CountWithChange,
		last_policy_id: QosPolicyId,
		policies: Vec<QosPolicyCount>,
	},
	// DataAvailable is not implemented, as it seems to bring little additional value, 
	// because the normal data waiting mechanism already uses the same mio::poll structure,
	// so repeating the functionality here would bring little additional value.

	/// A sample has been lost (never received).
	/// (Whtever this means?)
	SampleLost  { 
		count: CountWithChange 
	},

	/// The DataReader has found a DataWriter that matches the Topic and has
	/// compatible QoS, or has ceased to be matched with a DataWriter that was
	/// previously considered to be matched.
	SubscriptionMatched { 
		total: CountWithChange,
		current: CountWithChange,
		//last_publication_key:  
	},
}

#[derive(Debug, Clone)]
pub enum DataWriterStatus {
	LivelinessLost { 
		count: CountWithChange 
	},
	OfferedDeadlineMissed { 
		count: CountWithChange,
		//last_instance_key:  
	},
	OfferedIncompatibleQos { 
		count: CountWithChange,
		last_policy_id: QosPolicyId,
		policies: Vec<QosPolicyCount>,  
	},
	PublicationMatched { 
		total: CountWithChange,
		current: CountWithChange,
		//last_subscription_key:  
	},
}

/// Helper to contain same count actions across statuses
#[derive(Debug, Copy, Clone, PartialEq)]
pub struct CountWithChange {
	// 2.3. Platform Specific Model defines these as "long", which appears to be 32-bit signed.
  count: i32,
  count_change: i32,
}

impl CountWithChange {
  pub(crate) fn new(count: i32, count_change: i32) -> CountWithChange {
    CountWithChange { count, count_change }
  }

  // ??
  // same as "new" ?
  pub fn start_from(count: i32, count_change: i32) -> CountWithChange {
    CountWithChange { count, count_change }
  }

  pub fn count(&self) -> i32 {
    self.count
  }

  pub fn count_change(&self) -> i32 {
    self.count_change
  }

  // does this make sense?
  // pub fn increase(&mut self) {
  //   self.count += 1;
  //   self.count_change += 1;
  // }

}

// sample rejection reasons
#[derive(Debug, Clone, Copy, PartialEq)]
pub enum SampleRejectedStatusKind {
	NotRejected,
	ByInstancesLimit,
	BySamplesLimit,
	BySamplesPerInstanceLimit,
}

#[derive(Debug, Clone, Copy, PartialEq)]
pub struct QosPolicyCount {
	policy_id: QosPolicyId,
	count: i32,	
}