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