public SimpleTriggerListener ConstructorTest(DebugTrigger triggerType, string[] debugCommands) { SimpleTriggerListener target = new SimpleTriggerListener(triggerType, debugCommands); return(target); // TODO: add assertions to method SimpleTriggerListenerTest.ConstructorTest(DebugTrigger, String[]) }
public void HandleEventTest( [PexAssumeUnderTest] SimpleTriggerListener target, DebugTrigger triggerType, DebuggerEventArgs eventArgs, IDebugContext context ) { target.HandleEvent(triggerType, eventArgs, context); // TODO: add assertions to method SimpleTriggerListenerTest.HandleEventTest(SimpleTriggerListener, DebugTrigger, DebuggerEventArgs, IDebugContext) }
public bool HandlesEventTest( [PexAssumeUnderTest] SimpleTriggerListener target, DebugTrigger triggerType, DebuggerEventArgs eventArgs ) { bool result = target.HandlesEvent(triggerType, eventArgs); return(result); // TODO: add assertions to method SimpleTriggerListenerTest.HandlesEventTest(SimpleTriggerListener, DebugTrigger, DebuggerEventArgs) }