public ProfilerEvent Next([PexAssumeUnderTest] RawTraceReader target)
        {
            ProfilerEvent result = target.Next();

            return(result);
            // TODO: add assertions to method RawTraceReaderTest.Next(RawTraceReader)
        }
        public RawTraceReader Constructor(SqlConnection con)
        {
            RawTraceReader target = new RawTraceReader(con);

            return(target);
            // TODO: add assertions to method RawTraceReaderTest.Constructor(SqlConnection)
        }
        public bool TraceIsActiveGet([PexAssumeUnderTest] RawTraceReader target)
        {
            bool result = target.TraceIsActive;

            return(result);
            // TODO: add assertions to method RawTraceReaderTest.TraceIsActiveGet(RawTraceReader)
        }
        public int TraceIdGet([PexAssumeUnderTest] RawTraceReader target)
        {
            int result = target.TraceId;

            return(result);
            // TODO: add assertions to method RawTraceReaderTest.TraceIdGet(RawTraceReader)
        }
 public void SetEvent(
     [PexAssumeUnderTest] RawTraceReader target,
     int eventId,
     int[] columns
     )
 {
     target.SetEvent(eventId, columns);
     // TODO: add assertions to method RawTraceReaderTest.SetEvent(RawTraceReader, Int32, Int32[])
 }
 public void SetFilter(
     [PexAssumeUnderTest] RawTraceReader target,
     int columnId,
     int logicalOperator,
     int comparisonOperator,
     long?value
     )
 {
     target.SetFilter(columnId, logicalOperator, comparisonOperator, value);
     // TODO: add assertions to method RawTraceReaderTest.SetFilter(RawTraceReader, Int32, Int32, Int32, Nullable`1<Int64>)
 }
        public string BuildEventSql(
            int traceid,
            int eventId,
            int[] columns
            )
        {
            string result = RawTraceReader.BuildEventSql(traceid, eventId, columns);

            return(result);
            // TODO: add assertions to method RawTraceReaderTest.BuildEventSql(Int32, Int32, Int32[])
        }
 public void SetFilter01(
     [PexAssumeUnderTest] RawTraceReader target,
     int columnId,
     int logicalOperator,
     int comparisonOperator,
     string value
     )
 {
     target.SetFilter(columnId, logicalOperator, comparisonOperator, value);
     // TODO: add assertions to method RawTraceReaderTest.SetFilter01(RawTraceReader, Int32, Int32, Int32, String)
 }
 public void CreateTrace([PexAssumeUnderTest] RawTraceReader target)
 {
     target.CreateTrace();
     // TODO: add assertions to method RawTraceReaderTest.CreateTrace(RawTraceReader)
 }
 public void CloseTrace([PexAssumeUnderTest] RawTraceReader target, SqlConnection con)
 {
     target.CloseTrace(con);
     // TODO: add assertions to method RawTraceReaderTest.CloseTrace(RawTraceReader, SqlConnection)
 }