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;
        }