public SimpleEventList Constructor()
{
SimpleEventList target = new SimpleEventList();
return(target);
// TODO: add assertions to method SimpleEventListTest.Constructor()
}
public void AddEvent(
[PexAssumeUnderTest] SimpleEventList target,
long eventClass,
long nestLevel,
long databaseID,
string databaseName,
long objectID,
string objectName,
string textData,
long cpu,
long reads,
long writes,
long duration,
long count,
long rowcounts
)
{
target.AddEvent
(eventClass, nestLevel, databaseID, databaseName, objectID, objectName,
textData, cpu, reads, writes, duration, count, rowcounts);
// TODO: add assertions to method SimpleEventListTest.AddEvent(SimpleEventList, Int64, Int64, Int64, String, Int64, String, String, Int64, Int64, Int64, Int64, Int64, Int64)
}
public void SaveToFile([PexAssumeUnderTest] SimpleEventList target, string filename)
{
target.SaveToFile(filename);
// TODO: add assertions to method SimpleEventListTest.SaveToFile(SimpleEventList, String)
}
