public INamedElementInfo TryGetElementInfo(IRuntimeElementInfoFactoryDispatcher runtimeElementInfoFactoryDispatcher, object runtimeElement) { Contract.Requires(runtimeElementInfoFactoryDispatcher != null); Contract.Requires(runtimeElement != null); return Contract.Result<INamedElementInfo>(); }
/// <summary> /// Initializes a new instance of the <see cref="DefaultRuntimeModelInfoProvider" /> class. /// </summary> /// <param name="runtimeElementInfoFactoryDispatcher">The runtime model info factory.</param> /// <param name="modelRegistries">The model registries.</param> public DefaultRuntimeModelInfoProvider( IRuntimeElementInfoFactoryDispatcher runtimeElementInfoFactoryDispatcher, ICollection<IRuntimeModelRegistry> modelRegistries) : base(runtimeElementInfoFactoryDispatcher) { Contract.Requires(runtimeElementInfoFactoryDispatcher != null); Contract.Requires(modelRegistries != null); this.modelRegistries = modelRegistries; }
/// <summary> /// Initializes a new instance of the <see cref="CoreSimpleTypesModelInfoProvider"/> class. /// </summary> /// <param name="runtimeElementInfoFactoryDispatcher"> The runtime model information factory. </param> public CoreSimpleTypesModelInfoProvider(IRuntimeElementInfoFactoryDispatcher runtimeElementInfoFactoryDispatcher) : base(runtimeElementInfoFactoryDispatcher) { Contract.Requires(runtimeElementInfoFactoryDispatcher != null); }
/// <summary> /// Initializes a new instance of the <see cref="Kephas.Model.Runtime.RuntimeModelInfoProviderBase"/> class. /// </summary> /// <param name="runtimeElementInfoFactoryDispatcher"> The runtime model information factory. </param> protected RuntimeModelInfoProviderBase(IRuntimeElementInfoFactoryDispatcher runtimeElementInfoFactoryDispatcher) { Contract.Requires(runtimeElementInfoFactoryDispatcher != null); this.RuntimeElementInfoFactoryDispatcher = runtimeElementInfoFactoryDispatcher; }