1 //
2 // Copyright (c) 2010-2018 Antmicro
3 // Copyright (c) 2011-2015 Realtime Embedded
4 //
5 // This file is licensed under the MIT License.
6 // Full license text is available in 'licenses/MIT.txt'.
7 //
8 
9 using Antmicro.Renode.Peripherals;
10 
11 namespace Antmicro.Renode.Core.Structure
12 {
13 
14 	/// <summary>
15 	/// Interface representing registered device. It is covariant because registered specialised device is
16 	/// registered device.
17 	/// </summary>
18 	public interface IRegistered<out TPeripheral, TRegistrationPoint>
19         where TPeripheral : IPeripheral where TRegistrationPoint : IRegistrationPoint
20 	{
21 		TPeripheral Peripheral { get; }
22         TRegistrationPoint RegistrationPoint { get; }
23 	}
24 }
25