public PollingStationDO PollingStationGet([PexAssumeUnderTest] VoterDO target)
{
PollingStationDO result = target.PollingStation;
return(result);
// TODO: add assertions to method VoterDOTest.PollingStationGet(VoterDO)
}
public PollingStationDO Constructor01()
{
PollingStationDO target = new PollingStationDO();
return(target);
// TODO: add assertions to method PollingStationDOTest.Constructor01()
}
public int GetHashCode01([PexAssumeUnderTest] PollingStationDO target)
{
int result = target.GetHashCode();
return(result);
// TODO: add assertions to method PollingStationDOTest.GetHashCode01(PollingStationDO)
}
public bool FullyInitialized([PexAssumeUnderTest] PollingStationDO target)
{
bool result = target.FullyInitialized();
return(result);
// TODO: add assertions to method PollingStationDOTest.FullyInitialized(PollingStationDO)
}
public string ToString01([PexAssumeUnderTest] PollingStationDO target)
{
string result = target.ToString();
return(result);
// TODO: add assertions to method PollingStationDOTest.ToString01(PollingStationDO)
}
/// <summary>
/// Fetch data from the db based on the current filter.
/// </summary>
public void FetchData()
{
pDAO = new PollingStationDAO(DigitalVoterList.GetDefaultInstance());
mDAO = new MunicipalityDAO(DigitalVoterList.GetDefaultInstance());
vDAO = new VoterDAO(DigitalVoterList.GetDefaultInstance());
VoterFilter f = this.Filter;
if (f.CPRNO != 0)
{
this.Voters = vDAO.Read(v => v.PrimaryKey == f.CPRNO);
VoterDO voter = this.Voters.First();
this.PollingStations = pDAO.Read(ps => ps.PrimaryKey == voter.PollingStationId);
PollingStationDO pollingStation = this.PollingStations.First();
this.Municipalities = mDAO.Read(m => m.PrimaryKey == pollingStation.MunicipalityId);
}
else if (f.PollingStation != null)
{
this.PollingStations = pDAO.Read(ps => ps.PrimaryKey == f.PollingStation.PrimaryKey);
this.Voters = vDAO.Read(v => v.PollingStationId == f.PollingStation.PrimaryKey);
this.Municipalities = mDAO.Read(m => m.PrimaryKey == f.PollingStation.MunicipalityId);
}
else if (f.Municipality != null)
{
this.Municipalities = mDAO.Read(m => m.PrimaryKey == f.Municipality.PrimaryKey);
this.PollingStations = pDAO.Read(p => p.MunicipalityId == f.Municipality.PrimaryKey);
this.Voters = Enumerable.Empty<VoterDO>();
foreach (var ps in this.PollingStations)
{
PollingStationDO ps1 = ps;
this.Voters = this.Voters.Concat(vDAO.Read(v => v.PollingStationId == ps1.PrimaryKey));
}
}
}
public MunicipalityDO MunicipalityGet([PexAssumeUnderTest] PollingStationDO target)
{
MunicipalityDO result = target.Municipality;
return(result);
// TODO: add assertions to method PollingStationDOTest.MunicipalityGet(PollingStationDO)
}
public ICollection <VoterDO> VotersGet([PexAssumeUnderTest] PollingStationDO target)
{
ICollection <VoterDO> result = target.Voters;
return(result);
// TODO: add assertions to method PollingStationDOTest.VotersGet(PollingStationDO)
}
public bool Equals01([PexAssumeUnderTest] PollingStationDO target, object obj)
{
bool result = target.Equals(obj);
return(result);
// TODO: add assertions to method PollingStationDOTest.Equals01(PollingStationDO, Object)
}
public PollingStationDO Constructor(
uint? municipalityId,
uint? id,
string name,
string address
)
{
PollingStationDO target = new PollingStationDO(municipalityId, id, name, address);
return target;
// TODO: add assertions to method PollingStationDOTest.Constructor(Nullable`1<UInt32>, Nullable`1<UInt32>, String, String)
}
public PollingStationDO Constructor(
uint?municipalityId,
uint?id,
string name,
string address
)
{
PollingStationDO target = new PollingStationDO(municipalityId, id, name, address);
return(target);
// TODO: add assertions to method PollingStationDOTest.Constructor(Nullable`1<UInt32>, Nullable`1<UInt32>, String, String)
}
public void UpdateValues7102()
{
PollingStationDO pollingStationDO;
pollingStationDO =
new PollingStationDO(default(uint?), default(uint?), "", (string)null);
this.UpdateValues(pollingStationDO, (IDataObject)pollingStationDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>("", pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
/// <summary>
/// React to polling station filter selection.
/// </summary>
/// <param name="changedTo">The polling station that has been selected.</param>
public void PSSelectionChanged(object changedTo)
{
this.view.ResetCPRText();
PollingStationDO p = changedTo as PollingStationDO;
VoterFilter filter = new VoterFilter(p.Municipality, p);
this.view.DisablePSSelectionHandlers();
this.mainModel.ReplaceFilter(filter);
this.view.EnablePSSelectionHandlers();
}
public void ResetAssociations273()
{
PollingStationDO pollingStationDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.ResetAssociations(pollingStationDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>((string)null, pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void ResetAssociations273()
{
PollingStationDO pollingStationDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.ResetAssociations(pollingStationDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void UpdateValues71()
{
PollingStationDO pollingStationDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.UpdateValues(pollingStationDO, (IDataObject)pollingStationDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void GeneratePollingStations(int stations, int municipalities)
{
var p = new HashSet<PollingStationDO>();
for (uint i = 0; i < stations; i++)
{
var pollingstation = new PollingStationDO(
(uint?)this.r.Next(municipalities), i, this.data.GetStationName(), this.data.GetRoadname() + " " + this.r.Next(1000));
p.Add(pollingstation);
}
var dao = new PollingStationDAO(dvl);
dao.Create(p);
}
public void Equals01665()
{
PollingStationDO pollingStationDO;
bool b;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
b = this.Equals01(pollingStationDO, (object)null);
Assert.AreEqual<bool>(false, b);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>((string)null, pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void FullyInitialized98001()
{
PollingStationDO pollingStationDO;
bool b;
pollingStationDO =
new PollingStationDO(default(uint?), default(uint?), (string)null, "");
b = this.FullyInitialized(pollingStationDO);
Assert.AreEqual<bool>(false, b);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>((string)null, pollingStationDO.Name);
Assert.AreEqual<string>("", pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void ToString0148201()
{
PollingStationDO pollingStationDO;
string s;
pollingStationDO =
new PollingStationDO(default(uint?), default(uint?), "", (string)null);
s = this.ToString01(pollingStationDO);
Assert.AreEqual<string>("", s);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>("", pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void GeneratePollingStations(int stations, int municipalities)
{
var p = new HashSet <PollingStationDO>();
for (uint i = 0; i < stations; i++)
{
var pollingstation = new PollingStationDO(
(uint?)this.r.Next(municipalities), i, this.data.GetStationName(), this.data.GetRoadname() + " " + this.r.Next(1000));
p.Add(pollingstation);
}
var dao = new PollingStationDAO(dvl);
dao.Create(p);
}
public void MunicipalityGet637()
{
PollingStationDO pollingStationDO;
MunicipalityDO municipalityDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
municipalityDO = this.MunicipalityGet(pollingStationDO);
Assert.IsNull((object)municipalityDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>((string)null, pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void ToString01482()
{
PollingStationDO pollingStationDO;
string s;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
s = this.ToString01(pollingStationDO);
Assert.AreEqual <string>("", s);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void GetHashCode01402()
{
PollingStationDO pollingStationDO;
int i;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
i = this.GetHashCode01(pollingStationDO);
Assert.AreEqual <int>(0, i);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void MunicipalityGet637()
{
PollingStationDO pollingStationDO;
MunicipalityDO municipalityDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
municipalityDO = this.MunicipalityGet(pollingStationDO);
Assert.IsNull((object)municipalityDO);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void Equals01665()
{
PollingStationDO pollingStationDO;
bool b;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
b = this.Equals01(pollingStationDO, (object)null);
Assert.AreEqual <bool>(false, b);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void FullyInitialized98001()
{
PollingStationDO pollingStationDO;
bool b;
pollingStationDO =
new PollingStationDO(default(uint?), default(uint?), (string)null, "");
b = this.FullyInitialized(pollingStationDO);
Assert.AreEqual <bool>(false, b);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>("", pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
}
public void VotersGet673()
{
PollingStationDO pollingStationDO;
ICollection<VoterDO> iCollection;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
iCollection = this.VotersGet(pollingStationDO);
Assert.IsNotNull((object)iCollection);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual<string>((string)null, pollingStationDO.Name);
Assert.AreEqual<string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
Assert.IsTrue
(object.ReferenceEquals(pollingStationDO.Voters, (object)iCollection));
}
public void VotersGet673()
{
PollingStationDO pollingStationDO;
ICollection <VoterDO> iCollection;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
iCollection = this.VotersGet(pollingStationDO);
Assert.IsNotNull((object)iCollection);
Assert.IsNotNull((object)pollingStationDO);
Assert.IsNull((object)(pollingStationDO.PrimaryKey));
Assert.IsNull((object)(pollingStationDO.MunicipalityId));
Assert.AreEqual <string>((string)null, pollingStationDO.Name);
Assert.AreEqual <string>((string)null, pollingStationDO.Address);
Assert.IsNotNull(pollingStationDO.Voters);
Assert.IsTrue
(object.ReferenceEquals(pollingStationDO.Voters, (object)iCollection));
}
public void UpdateValuesThrowsContractException717()
{
try
{
PollingStationDO pollingStationDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.UpdateValues(pollingStationDO, (IDataObject)null);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void ReadOperation3()
{
// Arrange
var pdao = new PollingStationDAO();
PollingStationDO pollingStation = pdao.Read(p => true).First();
// Pick a random polling station.
var dao = new VoterDAO();
// Act
Expression <Func <VoterDO, bool> > f = v => v.PollingStationId == pollingStation.PrimaryKey;
Func <VoterDO, bool> func = f.Compile();
var result = dao.Read(f);
Debug.Assert(result.Count() > 0, "No voters matched the arranged query, please generate some new data!");
// The above is very unlikely to fail since we are generating 5000 voters, and the generator only has 50 names to choose from, but we still have to check it.
// Assert
foreach (VoterDO voter in result)
{
Debug.Assert(func.Invoke(voter));
}
}
public void UpdateValuesThrowsContractException327()
{
try
{
VoterDO voterDO;
PollingStationDO pollingStationDO;
voterDO = PexInvariant.CreateInstance <VoterDO>();
PexInvariant.SetField <uint?>((object)voterDO, "primaryKey", default(uint?));
PexInvariant.SetField <EntityRef <PollingStationDO> >
((object)voterDO, "_pollingStation", default(EntityRef <PollingStationDO>));
PexInvariant.SetField <uint?>
((object)voterDO, "<PollingStationId>k__BackingField", default(uint?));
PexInvariant.SetField <string>
((object)voterDO, "<Name>k__BackingField", (string)null);
PexInvariant.SetField <string>
((object)voterDO, "<Address>k__BackingField", (string)null);
PexInvariant.SetField <string>
((object)voterDO, "<City>k__BackingField", (string)null);
PexInvariant.SetField <bool?>
((object)voterDO, "<CardPrinted>k__BackingField", new bool?(true));
PexInvariant.SetField <bool?>
((object)voterDO, "<Voted>k__BackingField", new bool?(true));
PexInvariant.CheckInvariant((object)voterDO);
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.UpdateValues(voterDO, (IDataObject)pollingStationDO);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void UpdateValuesThrowsContractException717()
{
try
{
PollingStationDO pollingStationDO;
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.UpdateValues(pollingStationDO, (IDataObject)null);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}
public void UpdateValues([PexAssumeUnderTest] PollingStationDO target, IDataObject dummy)
{
target.UpdateValues(dummy);
// TODO: add assertions to method PollingStationDOTest.UpdateValues(PollingStationDO, IDataObject)
}
public void ResetAssociations([PexAssumeUnderTest] PollingStationDO target)
{
target.ResetAssociations();
// TODO: add assertions to method PollingStationDOTest.ResetAssociations(PollingStationDO)
}
/// <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 PollingStationDO Constructor01()
{
PollingStationDO target = new PollingStationDO();
return target;
// TODO: add assertions to method PollingStationDOTest.Constructor01()
}
public void UpdateValuesThrowsContractException327()
{
try
{
VoterDO voterDO;
PollingStationDO pollingStationDO;
voterDO = PexInvariant.CreateInstance<VoterDO>();
PexInvariant.SetField<uint?>((object)voterDO, "primaryKey", default(uint?));
PexInvariant.SetField<EntityRef<PollingStationDO>>
((object)voterDO, "_pollingStation", default(EntityRef<PollingStationDO>));
PexInvariant.SetField<uint?>
((object)voterDO, "<PollingStationId>k__BackingField", default(uint?));
PexInvariant.SetField<string>
((object)voterDO, "<Name>k__BackingField", (string)null);
PexInvariant.SetField<string>
((object)voterDO, "<Address>k__BackingField", (string)null);
PexInvariant.SetField<string>
((object)voterDO, "<City>k__BackingField", (string)null);
PexInvariant.SetField<bool?>
((object)voterDO, "<CardPrinted>k__BackingField", new bool?(true));
PexInvariant.SetField<bool?>
((object)voterDO, "<Voted>k__BackingField", new bool?(true));
PexInvariant.CheckInvariant((object)voterDO);
pollingStationDO = new PollingStationDO
(default(uint?), default(uint?), (string)null, (string)null);
this.UpdateValues(voterDO, (IDataObject)pollingStationDO);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}
/// <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;
}
/// <summary> Make this polling station the selected polling station. </summary>
/// <param name="pollingStation">The polling station to be selected.</param>
public void UpdateSelectedPollingStation(PollingStationDO pollingStation)
{
this.cbxPollingStation.SelectedIndex = this.cbxPollingStation.Items.IndexOf(pollingStation);
}