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