public ICollection <PollingStationDO> PollingStationsGet([PexAssumeUnderTest] MunicipalityDO target) { ICollection <PollingStationDO> result = target.PollingStations; return(result); // TODO: add assertions to method MunicipalityDOTest.PollingStationsGet(MunicipalityDO) }
public int GetHashCode01([PexAssumeUnderTest] MunicipalityDO target) { int result = target.GetHashCode(); return(result); // TODO: add assertions to method MunicipalityDOTest.GetHashCode01(MunicipalityDO) }
public string ToString01([PexAssumeUnderTest] MunicipalityDO target) { string result = target.ToString(); return(result); // TODO: add assertions to method MunicipalityDOTest.ToString01(MunicipalityDO) }
public bool Equals01([PexAssumeUnderTest] MunicipalityDO target, object obj) { bool result = target.Equals(obj); return(result); // TODO: add assertions to method MunicipalityDOTest.Equals01(MunicipalityDO, Object) }
public bool FullyInitialized([PexAssumeUnderTest] MunicipalityDO target) { bool result = target.FullyInitialized(); return(result); // TODO: add assertions to method MunicipalityDOTest.FullyInitialized(MunicipalityDO) }
public MunicipalityDO Constructor01() { MunicipalityDO target = new MunicipalityDO(); return(target); // TODO: add assertions to method MunicipalityDOTest.Constructor01() }
public uint?PrimaryKeyGet([PexAssumeUnderTest] MunicipalityDO target) { uint?result = target.PrimaryKey; return(result); // TODO: add assertions to method MunicipalityDOTest.PrimaryKeyGet(MunicipalityDO) }
public MunicipalityDO MunicipalityGet([PexAssumeUnderTest] PollingStationDO target) { MunicipalityDO result = target.Municipality; return(result); // TODO: add assertions to method PollingStationDOTest.MunicipalityGet(PollingStationDO) }
public void SetUp() { if (!Directory.Exists(destination)) { Directory.CreateDirectory(destination); } // Create a municipality var mDAO = new MunicipalityDAO(); mDAO.Create(new MunicipalityDO(9998, "Teststreet 42", "4242 Testcity", "Municipality of Test")); IEnumerator <MunicipalityDO> muns = mDAO.Read(m => m.Name.StartsWith("Municipality of Test")).GetEnumerator(); muns.MoveNext(); this.mun = muns.Current; // Create 3 polling stations. var pDAO = new PollingStationDAO(); pDAO.Create(new PollingStationDO(this.mun.PrimaryKey, 10000, "Test Polling Station 1", "Teststreet 44")); pDAO.Create(new PollingStationDO(this.mun.PrimaryKey, 10001, "Test Polling Station 2", "Teststreet 45")); pDAO.Create(new PollingStationDO(this.mun.PrimaryKey, 10002, "Test Polling Station 3", "Teststreet 46")); IEnumerator <PollingStationDO> pss = pDAO.Read(po => po.Name.StartsWith("Test Polling Station")).GetEnumerator(); int pi = 0; while (pss.MoveNext()) { this.ps[pi++] = pss.Current; } // Create 10 voters. var vDAO = new VoterDAO(); vDAO.Create(new VoterDO(this.ps[0].PrimaryKey, 101264242, "Test Testson 1", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[1].PrimaryKey, 101264243, "Test Testson 2", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[2].PrimaryKey, 101264244, "Test Testson 3", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[0].PrimaryKey, 101264245, "Test Testson 4", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[0].PrimaryKey, 101264246, "Test Testson 5", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[1].PrimaryKey, 101264247, "Test Testson 6", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[1].PrimaryKey, 101264248, "Test Testson 7", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[2].PrimaryKey, 101264249, "Test Testson 8", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[2].PrimaryKey, 101264250, "Test Testson 9", "Teststreet 47", "4242 Testcity", false, false)); vDAO.Create(new VoterDO(this.ps[2].PrimaryKey, 101264251, "Test Testson 10", "Teststreet 47", "4242 Testcity", false, false)); IEnumerator <VoterDO> voters = vDAO.Read(vo => vo.Name.StartsWith("Test Testson")).GetEnumerator(); int vi = 0; while (voters.MoveNext()) { this.v[vi++] = voters.Current; } // Setup Voter Card Generator sub-system. this.filter = new VoterFilter(mun); this.vcg = new VoterCardGenerator(filter); this.vcgView = new VoterCardGeneratorWindow(this.vcg); this.vcgController = new VoterCardGeneratorController(this.vcg, this.vcgView); }
public MunicipalityDO Constructor( uint? id, string address, string city, string name ) { MunicipalityDO target = new MunicipalityDO(id, address, city, name); return target; // TODO: add assertions to method MunicipalityDOTest.Constructor(Nullable`1<UInt32>, String, String, String) }
public MunicipalityDO Constructor( uint?id, string address, string city, string name ) { MunicipalityDO target = new MunicipalityDO(id, address, city, name); return(target); // TODO: add assertions to method MunicipalityDOTest.Constructor(Nullable`1<UInt32>, String, String, String) }
public void GenerateMunicipalities(int municipalities) { var m = new HashSet<MunicipalityDO>(); for (uint i = 0; i < municipalities; i++) { var municipality = new MunicipalityDO(i, this.data.GetRoadname() + " " + this.r.Next(1000), this.data.GetCityname(), this.data.GetMunicipalityname()); m.Add(municipality); } var dao = new MunicipalityDAO(dvl); dao.Create(m); }
public void UpdateValues7103() { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, "", (string)null); this.UpdateValues(municipalityDO, (IDataObject)municipalityDO); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>("", municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void ResetAssociations273() { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); this.ResetAssociations(municipalityDO); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void GenerateMunicipalities(int municipalities) { var m = new HashSet <MunicipalityDO>(); for (uint i = 0; i < municipalities; i++) { var municipality = new MunicipalityDO(i, this.data.GetRoadname() + " " + this.r.Next(1000), this.data.GetCityname(), this.data.GetMunicipalityname()); m.Add(municipality); } var dao = new MunicipalityDAO(dvl); dao.Create(m); }
public void UpdateValues71() { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); this.UpdateValues(municipalityDO, (IDataObject)municipalityDO); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void UpdateValues7101() { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(new uint?(1u), (string)null, (string)null, (string)null); this.UpdateValues(municipalityDO, (IDataObject)municipalityDO); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNotNull((object)(municipalityDO.Id)); Assert.AreEqual<uint>(1u, (uint)((object)(municipalityDO.Id))); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void ResetAssociations273() { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); this.ResetAssociations(municipalityDO); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void PrimaryKeyGet637() { MunicipalityDO municipalityDO; uint? nullu; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); nullu = this.PrimaryKeyGet(municipalityDO); Assert.IsNull((object)nullu); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void ToString0148201() { MunicipalityDO municipalityDO; string s; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, ""); s = this.ToString01(municipalityDO); Assert.AreEqual<string>("", s); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>("", municipalityDO.Name); }
public void GetHashCode01420() { MunicipalityDO municipalityDO; int i; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, ""); i = this.GetHashCode01(municipalityDO); Assert.AreEqual<int>(757602046, i); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>("", municipalityDO.Name); }
public void FullyInitialized980() { MunicipalityDO municipalityDO; bool b; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); b = this.FullyInitialized(municipalityDO); Assert.AreEqual<bool>(false, b); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void FullyInitialized98003() { MunicipalityDO municipalityDO; bool b; municipalityDO = new MunicipalityDO(new uint?(1u), "", (string)null, ""); b = this.FullyInitialized(municipalityDO); Assert.AreEqual<bool>(false, b); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNotNull((object)(municipalityDO.Id)); Assert.AreEqual<uint>(1u, (uint)((object)(municipalityDO.Id))); Assert.AreEqual<string>("", municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>("", municipalityDO.Name); }
public void PrimaryKeyGet637() { MunicipalityDO municipalityDO; uint? nullu; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); nullu = this.PrimaryKeyGet(municipalityDO); Assert.IsNull((object)nullu); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void GetHashCode01402() { MunicipalityDO municipalityDO; int i; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); i = this.GetHashCode01(municipalityDO); Assert.AreEqual <int>(0, i); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void ToString01482() { MunicipalityDO municipalityDO; string s; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); s = this.ToString01(municipalityDO); Assert.AreEqual <string>("", s); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void FullyInitialized98003() { MunicipalityDO municipalityDO; bool b; municipalityDO = new MunicipalityDO(new uint?(1u), "", (string)null, ""); b = this.FullyInitialized(municipalityDO); Assert.AreEqual <bool>(false, b); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNotNull((object)(municipalityDO.Id)); Assert.AreEqual <uint>(1u, (uint)((object)(municipalityDO.Id))); Assert.AreEqual <string>("", municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>("", municipalityDO.Name); }
public void Equals01665() { MunicipalityDO municipalityDO; bool b; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); b = this.Equals01(municipalityDO, (object)null); Assert.AreEqual <bool>(false, b); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
/// <summary> /// React to municipality filter selection. /// </summary> /// <param name="changedTo">The municipality that has been selected.</param> public void MSelectionChanged(object changedTo) { if (!this.updating) { this.updating = true; MunicipalityDO m = changedTo as MunicipalityDO; VoterFilter filter = new VoterFilter(m); this.view.DisablePSSelectionHandlers(); mainModel.ReplaceFilter(filter); } this.updating = false; this.view.EnablePSSelectionHandlers(); }
public void PollingStationsGet673() { MunicipalityDO municipalityDO; ICollection<PollingStationDO> iCollection; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); iCollection = this.PollingStationsGet(municipalityDO); Assert.IsNotNull((object)iCollection); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsTrue (object.ReferenceEquals(municipalityDO.PollingStations, (object)iCollection) ); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual<string>((string)null, municipalityDO.Address); Assert.AreEqual<string>((string)null, municipalityDO.City); Assert.AreEqual<string>((string)null, municipalityDO.Name); }
public void UpdateValuesThrowsContractException338() { try { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); this.UpdateValues(municipalityDO, (IDataObject)null); throw new AssertFailedException("expected an exception of type ContractException"); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }
public void PollingStationsGet673() { MunicipalityDO municipalityDO; ICollection <PollingStationDO> iCollection; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); iCollection = this.PollingStationsGet(municipalityDO); Assert.IsNotNull((object)iCollection); Assert.IsNotNull((object)municipalityDO); Assert.IsNotNull(municipalityDO.PollingStations); Assert.IsTrue (object.ReferenceEquals(municipalityDO.PollingStations, (object)iCollection) ); Assert.IsNull((object)(municipalityDO.Id)); Assert.AreEqual <string>((string)null, municipalityDO.Address); Assert.AreEqual <string>((string)null, municipalityDO.City); Assert.AreEqual <string>((string)null, municipalityDO.Name); }
public void UpdateValues([PexAssumeUnderTest] MunicipalityDO target, IDataObject dummy) { target.UpdateValues(dummy); // TODO: add assertions to method MunicipalityDOTest.UpdateValues(MunicipalityDO, IDataObject) }
/// <summary> Initializes a new instance of the <see cref="VoterFilter"/> class. </summary> /// <param name="municipality"> The selected municipality (null means not selected).</param> /// <param name="pollingStation"> The Selected polling station (null means not selected). </param> /// <param name="cprno"> The selected CPR number (0 means not selected). </param> public VoterFilter(MunicipalityDO municipality = null, PollingStationDO pollingStation = null, int cprno = 0) { this.Municipality = municipality; this.PollingStation = pollingStation; this.CPRNO = cprno; }
public void UpdateValuesThrowsContractException338() { try { MunicipalityDO municipalityDO; municipalityDO = new MunicipalityDO(default(uint?), (string)null, (string)null, (string)null); this.UpdateValues(municipalityDO, (IDataObject)null); throw new AssertFailedException("expected an exception of type ContractException"); } catch(Exception ex) { if (!PexContract.IsContractException(ex)) throw ex; } }
/// <summary> /// Populate a voter card with the information of a given voter. /// </summary> /// <param name="page">The page containing the card.</param> /// <param name="pdf">The pdf containing the page.</param> /// <param name="xO">The horizontal offset of the card in points.</param> /// <param name="yO">The vertical offset of the card in points.</param> /// <param name="voter">The voter whose information to be populated onto the card.</param> private static void PopulateCard(Page page, PDF pdf, double xO, double yO, VoterDO voter) { // ----- POPULATE: POLLING STATION ----- PollingStationDO ps = voter.PollingStation; var font = new Font(pdf, CoreFont.HELVETICA); font.SetSize(9); var t = new TextLine(font, ps.Name); t.SetPosition(xO + 9 * U, yO + 27.5 * U); t.DrawOn(page); t = new TextLine(font, ps.Address); t.SetPosition(xO + 9 * U, yO + 32 * U); t.DrawOn(page); t = new TextLine(font, "valgfrit"); t.SetPosition(xO + 29 * U, yO + 48.8 * U); t.DrawOn(page); t = new TextLine(font, "02-04861"); t.SetPosition(xO + 29 * U, yO + 58.7 * U); t.DrawOn(page); t = new TextLine(font, "09:00 - 20:00"); t.SetPosition(xO + 29 * U, yO + 68.2 * U); t.DrawOn(page); // ----- POPULATE: VOTER ----- MunicipalityDO mun = voter.PollingStation.Municipality; font = new Font(pdf, CoreFont.COURIER); font.SetSize(10); // Add top voter number 'Vælgernr.' t = new TextLine(font, "02-04861"); t.SetPosition(xO + 102 * U, yO + 12 * U); t.DrawOn(page); // Add sender 'Afsender' t = new TextLine(font, mun.Name); t.SetPosition(xO + 102 * U, yO + 32.5 * U); t.DrawOn(page); t = new TextLine(font, mun.Address); t.SetPosition(xO + 102 * U, yO + 36.5 * U); t.DrawOn(page); t = new TextLine(font, mun.City); t.SetPosition(xO + 102 * U, yO + 40.5 * U); t.DrawOn(page); // Add reciever 'Modtager' t = new TextLine(font, voter.Name); t.SetPosition(xO + 102 * U, yO + 62.5 * U); t.DrawOn(page); t = new TextLine(font, voter.Address); t.SetPosition(xO + 102 * U, yO + 66.5 * U); t.DrawOn(page); t = new TextLine(font, voter.City); t.SetPosition(xO + 102 * U, yO + 70.5 * U); t.DrawOn(page); // Add CPR barcode string barcode = BarCodeHashing.Hash(voter.PrimaryKey.Value).ToString(); var b = new BarCode(BarCode.CODE128, barcode); b.SetPosition(xO + 160 * U, yO + 60 * U); b.DrawOn(page); t = new TextLine(font, barcode); t.SetPosition(xO + 160 * U, yO + 72 * U); t.DrawOn(page); }
public MunicipalityDO Constructor01() { MunicipalityDO target = new MunicipalityDO(); return target; // TODO: add assertions to method MunicipalityDOTest.Constructor01() }
/// <summary> Make this municipality the selected municipality. </summary> /// <param name="municipality">The municipality to be selected.</param> public void UpdateSelectedMunicipality(MunicipalityDO municipality) { this.cbxMunicipalities.SelectedIndex = this.cbxMunicipalities.Items.IndexOf(municipality); }
public void ResetAssociations([PexAssumeUnderTest] MunicipalityDO target) { target.ResetAssociations(); // TODO: add assertions to method MunicipalityDOTest.ResetAssociations(MunicipalityDO) }