//------------------------------------------------------------------------------
// <auto-generated>
//     Codice generato da un modello.
//
//     Le modifiche manuali a questo file potrebbero causare un comportamento imprevisto dell'applicazione.
//     Se il codice viene rigenerato, le modifiche manuali al file verranno sovrascritte.
// </auto-generated>
//------------------------------------------------------------------------------

namespace MP_MON.Models
{
    using System;
    using System.Data.Entity;
    using System.Data.Entity.Infrastructure;
    using System.Data.Entity.Core.Objects;
    using System.Linq;
    
    public partial class MapoMonEntities : DbContext
    {
        public MapoMonEntities()
            : base("name=MapoMonEntities")
        {
        }
    
        protected override void OnModelCreating(DbModelBuilder modelBuilder)
        {
            throw new UnintentionalCodeFirstException();
        }
    
        public virtual DbSet<MappaStatoExpl> MappaStatoExpl { get; set; }
    
        public virtual int stp_MSE_refresh(string idxMacchina)
        {
            var idxMacchinaParameter = idxMacchina != null ?
                new ObjectParameter("IdxMacchina", idxMacchina) :
                new ObjectParameter("IdxMacchina", typeof(string));
    
            return ((IObjectContextAdapter)this).ObjectContext.ExecuteFunction("stp_MSE_refresh", idxMacchinaParameter);
        }
    
        public virtual ObjectResult<MappaStatoExpl> stp_MSE_getData(Nullable<int> maxAgeSec)
        {
            var maxAgeSecParameter = maxAgeSec.HasValue ?
                new ObjectParameter("maxAgeSec", maxAgeSec) :
                new ObjectParameter("maxAgeSec", typeof(int));
    
            return ((IObjectContextAdapter)this).ObjectContext.ExecuteFunction<MappaStatoExpl>("stp_MSE_getData", maxAgeSecParameter);
        }
    
        public virtual ObjectResult<MappaStatoExpl> stp_MSE_getData(Nullable<int> maxAgeSec, MergeOption mergeOption)
        {
            var maxAgeSecParameter = maxAgeSec.HasValue ?
                new ObjectParameter("maxAgeSec", maxAgeSec) :
                new ObjectParameter("maxAgeSec", typeof(int));
    
            return ((IObjectContextAdapter)this).ObjectContext.ExecuteFunction<MappaStatoExpl>("stp_MSE_getData", mergeOption, maxAgeSecParameter);
        }
    
        public virtual ObjectResult<MappaStatoExpl> stp_MSE_getOffline(Nullable<int> keepAliveMin)
        {
            var keepAliveMinParameter = keepAliveMin.HasValue ?
                new ObjectParameter("keepAliveMin", keepAliveMin) :
                new ObjectParameter("keepAliveMin", typeof(int));
    
            return ((IObjectContextAdapter)this).ObjectContext.ExecuteFunction<MappaStatoExpl>("stp_MSE_getOffline", keepAliveMinParameter);
        }
    
        public virtual ObjectResult<MappaStatoExpl> stp_MSE_getOffline(Nullable<int> keepAliveMin, MergeOption mergeOption)
        {
            var keepAliveMinParameter = keepAliveMin.HasValue ?
                new ObjectParameter("keepAliveMin", keepAliveMin) :
                new ObjectParameter("keepAliveMin", typeof(int));
    
            return ((IObjectContextAdapter)this).ObjectContext.ExecuteFunction<MappaStatoExpl>("stp_MSE_getOffline", mergeOption, keepAliveMinParameter);
        }
    }
}