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