public void TotalSummedIntervals_3()
{
Tdate t = new Tdate(Hstate.Unstated);
Tnum r = (new Tnum(44)).TotalSummedIntervals(TheMonth, t, Date(2015, 12, 31));
Assert.AreEqual("Unstated", r.Out);
}
public void IsBetween6()
{
Tdate d = new Tdate(Hstate.Uncertain);
Tbool isDuringTheBushYears = Time.IsBetween(d, Date(2009, 1, 20));
Assert.AreEqual("{Dawn: Uncertain; 1/20/2009: false}", isDuringTheBushYears.Out);
}
public void Tdate_AddDays_2()
{
Tdate td = new Tdate(2000, 1, 1);
Tdate result = td.AddDays(-3);
Assert.AreEqual(Date(1999, 12, 29), result.Out);
}
public void FT_AsOf_11()
{
Tbool t = new Tbool(Hstate.Stub);
Tdate time = new Tdate(Hstate.Unstated);
Assert.AreEqual("Stub", t.AsOf(time).Out);
}
public void FT_ToDateTime_3()
{
Tdate t = new Tdate(Date(1000, 1, 1));
t.AddState(Date(1000, 1, 1), Date(2000, 1, 1));
Assert.AreEqual(null, t.ToNullDateTime);
}
public void IsAtOrAfter4()
{
Tdate d = new Tdate(Hstate.Uncertain);
Tbool afterY2K = Time.IsAtOrAfter(d);
Assert.AreEqual("Uncertain", afterY2K.Out);
}
public void Tdate_AddYears_2()
{
Tdate td = new Tdate(2000, 1, 1);
Tdate result = td.AddYears(-3);
Assert.AreEqual(Date(1997, 1, 1), result.Out);
}
public void Tdate_AddMonths_1()
{
Tdate td = new Tdate(2000, 1, 1);
Tdate result = td.AddMonths(3);
Assert.AreEqual(Date(2000, 4, 1), result.Out);
}
public void TotalSummedIntervals_4()
{
Tdate t = new Tdate(Hstate.Stub);
Tnum r = (new Tnum(44)).TotalSummedIntervals(TheMonth, Date(2015, 12, 31), t);
Assert.AreEqual("Stub", r.Out);
}
public void FT_AsOf_13()
{
// Tdate unknown, but base Tvar is eternal, so .AsOf should return that eternal value
Tbool t = new Tbool(true);
Tdate time = new Tdate(Hstate.Stub);
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void Unknown_IsAtOrBefore_1()
{
Tdate td1 = new Tdate(2000, 1, 1);
Tdate td2 = new Tdate(Hstate.Unstated);
Tbool result = td2 <= td1;
Assert.AreEqual(eternallyUnstated, result.Out);
}
public void Tdate_DayDiff_2()
{
Tdate td1 = new Tdate(2010, 1, 1);
Tdate td2 = new Tdate(2000, 1, 1);
Tnum result = Tdate.DayDiff(td1, td2);
Assert.AreEqual(-3653, result.Out);
}
public void Tdate_Lean_1()
{
Tdate td = new Tdate();
td.AddState(Time.DawnOf, Date(2011, 01, 01));
td.AddState(Time.DawnOf.AddYears(2), Date(2011, 01, 01));
Assert.AreEqual(Date(2011, 1, 1), td.Lean.Out);
}
public void Tdate_AsOf_2()
{
Tdate td = new Tdate();
td.AddState(Time.DawnOf, Date(2011, 01, 01));
td.AddState(Time.DawnOf.AddYears(2), Date(2012, 01, 01));
Assert.AreEqual(Date(2011, 1, 1), td.AsOf(Time.DawnOf.AddYears(1)).Out);
}
public void FT_AsOf_12()
{
// Tdate varies, but base Tvar is eternal, so .AsOf should return that eternal value
Tbool t = new Tbool(true);
Tdate time = new Tdate(Date(2000, 1, 1));
time.AddState(Date(2010, 1, 1), Date(2010, 1, 1));
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void FT_AsOf_10()
{
Tbool t = new Tbool(true);
t.AddState(Time.DawnOf.AddYears(5), false);
Tdate time = new Tdate(Hstate.Stub);
Assert.AreEqual("Stub", t.AsOf(time).Out);
}
public void FT_AsOf_9()
{
Tbool t = new Tbool(true);
t.AddState(new DateTime(2000, 1, 1), false);
Tdate time = new Tdate(1999, 1, 1);
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void Tdate_IsAfter_1()
{
Tdate td1 = new Tdate(2010, 1, 1);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(2009, 1, 1));
td2.AddState(Date(2000, 1, 1), Date(2011, 1, 1));
Tbool result = td1 > td2;
Assert.AreEqual("{Dawn: true; 1/1/2000: false}", result.Out);
}
public Form1()
{
InitializeComponent();
Tdate.Start();
lblName.Text = UserLoginDetail.fName + " " + UserLoginDetail.lName;
label2.Dock = DockStyle.Left;
lblposition.Text = UserLoginDetail.position;
lblposition.Dock = DockStyle.Left;
lblposition.Visible = true;
}
public void Tdate_Equals_2()
{
Tdate td1 = new Tdate(2010, 5, 13);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(2011, 01, 01));
td2.AddState(Date(2000, 1, 1), Date(2010, 5, 13));
Tbool result = td1 != td2;
Assert.AreEqual("{Dawn: true; 1/1/2000: false}", result.Out);
}
/// <summary>
/// Asserts a given fact (of the proper Tvar type)
/// </summary>
private static void AssertFact(Factoid f)
{
// Instantiate relevant Things
Thing t1 = f.Arg1.ToString() != "" ? Facts.AddThing(f.Arg1.ToString()) : null;
Thing t2 = f.Arg2.ToString() != "" ? Facts.AddThing(f.Arg2.ToString()) : null;
Thing t3 = f.Arg3.ToString() != "" ? Facts.AddThing(f.Arg3.ToString()) : null;
// Sometimes I have my doubts about static typing...
if (f.FactType == "Tbool")
{
Tbool val = new Tbool();
foreach (TemporalValue v in f.Timeline)
{
val.AddState(v.Date, new Hval(v.Value));
}
Facts.Assert(t1, f.Relationship, t2, t3, val);
}
else if (f.FactType == "Tnum")
{
Tnum val = new Tnum();
foreach (TemporalValue v in f.Timeline)
{
val.AddState(v.Date, new Hval(v.Value));
}
Facts.Assert(t1, f.Relationship, t2, t3, val);
}
else if (f.FactType == "Tstr")
{
Tstr val = new Tstr();
foreach (TemporalValue v in f.Timeline)
{
val.AddState(v.Date, new Hval(v.Value));
}
Facts.Assert(t1, f.Relationship, t2, t3, val);
}
else if (f.FactType == "Tdate")
{
Tdate val = new Tdate();
foreach (TemporalValue v in f.Timeline)
{
val.AddState(v.Date, new Hval(v.Value));
}
Facts.Assert(t1, f.Relationship, t2, t3, val);
}
else if (f.FactType == "Tset")
{
Tset val = new Tset();
foreach (TemporalValue v in f.Timeline)
{
val.AddState(v.Date, new Hval(v.Value));
}
Facts.Assert(t1, f.Relationship, t2, t3, val);
}
}
public ActionResult Create(Vetement vetement, string image1 = "", string image2 = "", string image3 = "", string image4 = ""
, IEnumerable <HttpPostedFileBase> files = null)
{
tdonnee = new TraitementDonnees();
tdate = new Tdate();
Sough.Helpers.ImagesActions.ImagesModel <Vetement>(ref vetement, ref image1, ref image2, ref image3, ref image4, ref files);
tdate.SaveDate <Vetement>(ref vetement);
db.Vetements.Add(vetement);
db.SaveChanges();
return(RedirectToAction("Index"));
}
public void Tdate_IsAtOrBefore_1()
{
Tdate td1 = new Tdate(2000, 1, 1);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(1999, 1, 1));
td2.AddState(Date(2000, 1, 1), Date(2000, 1, 1));
td2.AddState(Date(2001, 1, 1), Date(2008, 1, 1));
Tbool result = td2 <= td1;
Assert.AreEqual("{Dawn: true; 1/1/2001: false}", result.Out);
}
public void FT_AsOf_14()
{
// Both Tdate and Tvar vary
Tbool t = new Tbool(true);
t.AddState(Date(2000, 1, 1), false);
// When Tdate varies, the FirstValue is used...
Tdate time = new Tdate(Date(1999, 1, 1));
time.AddState(Date(2010, 1, 1), Date(2010, 1, 1));
Assert.AreEqual(true, t.AsOf(time).Out);
}
/// <summary>
/// Creates a Tdate from a string representing a time-varying value.
/// </summary>
/// <remarks>
/// Sample input: {2012-01-01: 2012-12-31; Time.DawnOf: 2000-12-31}
/// </remarks>
private static Tdate TdateFromTemporalString(string val)
{
if (val.StartsWith("{"))
{
Tdate result = new Tdate();
foreach (string s in TimeValuePairs(val))
{
string[] parts = s.Split(new char[] { ':' });
DateTime datePart = Convert.ToDateTime(parts[0].Trim().Replace("Dawn", "1800-01-01"));
DateTime valPart = Convert.ToDateTime(parts[1].Trim());
result.AddState(datePart, valPart);
}
return(result);
}
return(new Tdate(val));
}
public void FT_ToDateTime_3()
{
Tdate t = new Tdate(Date(1000,1,1));
t.AddState(Date(1000,1,1), Date(2000,1,1));
Assert.AreEqual(null, t.ToNullDateTime);
}
public void IsAtOrAfter4()
{
Tdate d = new Tdate(Hstate.Uncertain);
Tbool afterY2K = Time.IsAtOrAfter(d);
Assert.AreEqual("Uncertain", afterY2K.Out);
}
public void IsBetween6()
{
Tdate d = new Tdate(Hstate.Uncertain);
Tbool isDuringTheBushYears = Time.IsBetween(d, Date(2009,1,20));
Assert.AreEqual("{Dawn: Uncertain; 1/20/2009: false}", isDuringTheBushYears.Out);
}
public void FT_ToDateTime_1()
{
Tdate t = new Tdate(2000, 1, 1);
Assert.AreEqual(Date(2000, 1, 1), t.ToNullDateTime);
}
public void FT_AsOf_13()
{
// Tdate unknown, but base Tvar is eternal, so .AsOf should return that eternal value
Tbool t = new Tbool(true);
Tdate time = new Tdate(Hstate.Stub);
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void FT_AsOf_9()
{
Tbool t = new Tbool(true);
t.AddState(new DateTime(2000,1,1), false);
Tdate time = new Tdate(1999,1,1);
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void FT_ToDateTime_2()
{
Tdate t = new Tdate(Hstate.Uncertain);
Assert.AreEqual(null, t.ToNullDateTime);
}
public void FT_AsOf_11()
{
Tbool t = new Tbool(Hstate.Stub);
Tdate time = new Tdate(Hstate.Unstated);
Assert.AreEqual("Stub", t.AsOf(time).Out);
}
public void DateIsInPeriod2()
{
Tdate d = new Tdate(2015, 1, 2);
Assert.AreEqual(true, d.IsInPeriod(TheYear).AsOf(Date(2015, 12, 31)).Out);
}
public void FT_ToDateTime_2()
{
Tdate t = new Tdate(Hstate.Uncertain);
Assert.AreEqual(null, t.ToNullDateTime);
}
public void Unknown_IsAtOrBefore_1()
{
Tdate td1 = new Tdate(2000,1,1);
Tdate td2 = new Tdate(Hstate.Unstated);
Tbool result = td2 <= td1;
Assert.AreEqual(eternallyUnstated, result.Out);
}
public void Tdate_Lean_1()
{
Tdate td = new Tdate();
td.AddState(Time.DawnOf, Date(2011,01,01));
td.AddState(Time.DawnOf.AddYears(2), Date(2011,01,01));
Assert.AreEqual(Date(2011,1,1), td.Lean.Out);
}
public void Tdate_AddDays_2()
{
Tdate td = new Tdate(2000,1,1);
Tdate result = td.AddDays(-3);
Assert.AreEqual(Date(1999,12,29), result.Out);
}
public void FT_ToDateTime_1()
{
Tdate t = new Tdate(2000,1,1);
Assert.AreEqual(Date(2000,1,1), t.ToNullDateTime);
}
public void Tdate_AddMonths_1()
{
Tdate td = new Tdate(2000,1,1);
Tdate result = td.AddMonths(3);
Assert.AreEqual(Date(2000,4,1), result.Out);
}
public void FT_AsOf_14()
{
// Both Tdate and Tvar vary
Tbool t = new Tbool(true);
t.AddState(Date(2000,1,1),false);
// When Tdate varies, the FirstValue is used...
Tdate time = new Tdate(Date(1999,1,1));
time.AddState(Date(2010,1,1),Date(2010,1,1));
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void Tdate_AddYears_2()
{
Tdate td = new Tdate(2000,1,1);
Tdate result = td.AddYears(-3);
Assert.AreEqual(Date(1997,1,1), result.Out);
}
public void FT_AsOf_12()
{
// Tdate varies, but base Tvar is eternal, so .AsOf should return that eternal value
Tbool t = new Tbool(true);
Tdate time = new Tdate(Date(2000,1,1));
time.AddState(Date(2010,1,1),Date(2010,1,1));
Assert.AreEqual(true, t.AsOf(time).Out);
}
public void Tdate_AsOf_2()
{
Tdate td = new Tdate();
td.AddState(Time.DawnOf, Date(2011,01,01));
td.AddState(Time.DawnOf.AddYears(2), Date(2012,01,01));
Assert.AreEqual(Date(2011,1,1), td.AsOf(Time.DawnOf.AddYears(1)).Out);
}
public void Tdate_DayDiff_2()
{
Tdate td1 = new Tdate(2010,1,1);
Tdate td2 = new Tdate(2000,1,1);
Tnum result = Tdate.DayDiff(td1,td2);
Assert.AreEqual(-3653, result.Out);
}
public void DateIsInPeriod3()
{
Tdate d = new Tdate(2015, 1, 2);
Assert.AreEqual(false, d.IsInPeriod(TheYear).AsOf(Date(2016, 12, 31)).Out);
}
/// <summary>
/// Creates a Tdate from a string representing a time-varying value.
/// </summary>
/// <remarks>
/// Sample input: {2012-01-01: 2012-12-31; Time.DawnOf: 2000-12-31}
/// </remarks>
private static Tdate TdateFromTemporalString(string val)
{
if (val.StartsWith("{"))
{
Tdate result = new Tdate();
foreach (string s in TimeValuePairs(val))
{
string[] parts = s.Split(new char[] {':'});
DateTime datePart = Convert.ToDateTime(parts[0].Trim().Replace("Dawn","1800-01-01"));
DateTime valPart = Convert.ToDateTime(parts[1].Trim());
result.AddState(datePart, valPart);
}
return result;
}
return new Tdate(val);
}
public void TotalSummedIntervals_3()
{
Tdate t = new Tdate(Hstate.Unstated);
Tnum r = (new Tnum(44)).TotalSummedIntervals(TheMonth, t, Date(2015,12,31));
Assert.AreEqual("Unstated", r.Out);
}
public void Tdate_Equals_2()
{
Tdate td1 = new Tdate(2010,5,13);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(2011,01,01));
td2.AddState(Date(2000,1,1), Date(2010,5,13));
Tbool result = td1 != td2;
Assert.AreEqual("{Dawn: true; 1/1/2000: false}", result.Out);
}
public void FT_AsOf_10()
{
Tbool t = new Tbool(true);
t.AddState(Time.DawnOf.AddYears(5), false);
Tdate time = new Tdate(Hstate.Stub);
Assert.AreEqual("Stub", t.AsOf(time).Out);
}
public ActionResult Create([Bind(Include = "prix, marque, Modele,ville,kilometrage,BoiteDeVitesse,carburant,"
+ "trader_name,Email,phone,color,car_shape,trader_facebook,trader_instagram,password"
)]Voiture voiture,
string EstNeuf="", string image1 = "", string image2 = "", string image3 = "", string image4 = ""
, IEnumerable<HttpPostedFileBase> files = null
)
{
try
{
tdonnee = new TraitementDonnees();
tdate = new Tdate();
Voiture _voiture = new Voiture();
string model = "";
string email = "";
string face = "";
string insta = "";
long prix = voiture.prix;
string marque = voiture.marque.Trim().ToString();
if (voiture.Modele.Trim().ToString().Length > 1)
model = voiture.Modele.Trim().ToString();
string ville = voiture.ville.Trim().ToString();
long kilometrage = voiture.kilometrage;
string boiteDeVitesse = voiture.BoiteDeVitesse.Trim().ToString();
string carburant = voiture.carburant.Trim().ToString();
string tname = "";
string color = voiture.color.Trim().ToString();
string car_shape = setCarType(voiture.car_shape.Trim().ToString());
string st_pass = voiture.password.Trim().ToString();
string est_neuf = EstNeuf;
if (!tdonnee.NumberIsValid(voiture.prix) || !tdonnee.StringIsValid(marque) ||
!tdonnee.StringIsValid(model) || !tdonnee.StringIsValid(est_neuf) ||
!tdonnee.StringIsValid(ville) || !tdonnee.NumberIsValid(kilometrage) ||
!tdonnee.StringIsValid(boiteDeVitesse)
|| !tdonnee.StringIsValid(carburant)
|| car_shape.Equals("null") || color.Equals("null")
|| !tdonnee.StringIsValid(st_pass))
{
System.Diagnostics.Debug.WriteLine("modele not valide");
TempData["return"] = "nook";
return RedirectToAction("Create");
}
if (tdonnee.StringIsValid(voiture.trader_name))
tname = voiture.trader_name.Trim().ToString();
if (tdonnee.StringIsValid(voiture.email))
email = voiture.email.Trim().ToString();
if (tdonnee.StringIsValid(voiture.trader_facebook))
face = voiture.trader_facebook.Trim().ToString();
if (tdonnee.StringIsValid(voiture.trader_instagram))
insta = voiture.trader_instagram.Trim().ToString();
/* Images */
Sough.Helpers.ImagesActions.ImagesModel<Voiture>(ref _voiture, ref image1, ref image2, ref image3,
ref image4, ref files);
/* P@$$W0RD */
tdonnee.Tmd5<Voiture>(st_pass, ref _voiture);
/* Date */
tdate.SaveDate<Voiture>(ref _voiture);
_voiture.prix = prix;
_voiture.marque = marque;
_voiture.Modele = model;
_voiture.EstNeuf = est_neuf;
_voiture.ville = ville;
_voiture.kilometrage = kilometrage;
_voiture.BoiteDeVitesse = boiteDeVitesse;
_voiture.carburant = carburant;
_voiture.trader_name = tname;
_voiture.email = email;
_voiture.color = color;
_voiture.car_shape = car_shape;
_voiture.trader_facebook = face;
_voiture.trader_instagram = insta;
string phone = voiture.phone.Trim().ToString();
_voiture.phone = phone;
db.Voitures.Add(_voiture);
db.SaveChanges();
_voiture = null;
//Gallerie1 glr = new Gallerie1();
//long id = _voiture.Id;
//glr.ModelId = id;
//glr.ModelName = "Voiture";
//db.Gallerie1.Add(glr);
//db.SaveChanges();
//return View(_voiture);
TempData["return"] = "ok";
return RedirectToAction("Create");
}
catch (Exception e)
{
ViewBag.ex = e.Message;
return View("~/Views/Error/Exception.cshtml");
}
}
public void Tdate_IsAtOrBefore_1()
{
Tdate td1 = new Tdate(2000,1,1);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(1999,1,1));
td2.AddState(Date(2000,1,1), Date(2000,1,1));
td2.AddState(Date(2001,1,1), Date(2008,1,1));
Tbool result = td2 <= td1;
Assert.AreEqual("{Dawn: true; 1/1/2001: false}", result.Out);
}
public void TotalSummedIntervals_4()
{
Tdate t = new Tdate(Hstate.Stub);
Tnum r = (new Tnum(44)).TotalSummedIntervals(TheMonth, Date(2015,12,31), t);
Assert.AreEqual("Stub", r.Out);
}
public void Tdate_IsBefore_1()
{
Tdate td1 = new Tdate(2010,1,1);
Tdate td2 = new Tdate();
td2.AddState(Time.DawnOf, Date(2009,1,1));
td2.AddState(Date(2000,1,1), Date(2011,1,1));
Tbool result = td1 < td2;
Assert.AreEqual("{Dawn: false; 1/1/2000: true}", result.Out);
}
