public ActionResult EditTest01([PexAssumeUnderTest] MaltisController target, Malti malti) { ActionResult result = target.Edit(malti); return(result); // TODO: aggiungere asserzioni a metodo MaltisControllerTest.EditTest01(MaltisController, Malti) }
// GET: Maltis/Create /// <summary> /// Metodo invocato alla creazione di un nuovo malto /// Assegna uno user al malto con i campi da compilare nella view /// Ritorna la vista /// </summary> /// <returns></returns> public ActionResult Create() { Malti m = new Malti { UserId = User.Identity.GetUserId() }; return(View(m)); }
public ActionResult DeleteConfirmed(int id) { Malti malti = _db.Malti.Find(id); _db.Malti.Remove(malti ?? throw new InvalidOperationException()); _db.SaveChanges(); return(RedirectToAction("Index")); }
public ActionResult Edit(Malti malti) { if (ModelState.IsValid) { _db.Entry(malti).State = EntityState.Modified; _db.SaveChanges(); return(RedirectToAction("Index")); } return(View(malti)); }
public ActionResult Create(Malti malti) { if (ModelState.IsValid) { _db.Malti.Add(malti); _db.SaveChanges(); return(RedirectToAction("Index")); } return(View(malti)); }
// GET: Maltis/Edit/5 /// <summary> /// Metodo invocato alla modifica di un nuovo malto /// Se l' ID è nullo ritorna uno StatusCode di BadRequest /// Se l' ID non è presente nel database ritorna HttpNotFound /// Se è presente ritorna la vista del Maltis trovato /// </summary> /// <param name="id">Valore della chiave per il model Maltis</param> /// <returns></returns> public ActionResult Edit(int?id) { if (id == null) { return(new HttpStatusCodeResult(HttpStatusCode.BadRequest)); } Malti malti = _db.Malti.Find(id); if (malti == null) { return(HttpNotFound()); } return(View(malti)); }
// GET: Maltis/Details/5 /// <summary> /// Metodo invocato alla richiesta di dettagli su un malto /// Restituisce errore se id è nullo o non esiste /// Altrimenti restituisce l'elemento cercato alla pagina /// </summary> /// <param name="id">Valore della chiave per model Maltis</param> /// <returns></returns> public ActionResult Details(int?id) { if (id == null) { PathConfig c = new PathConfig(); return(Redirect(c.error)); } Malti malti = _db.Malti.Find(id); if (malti == null) { return(HttpNotFound()); } return(View(malti)); }