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