예제 #1
0
        public string ReadLineTest([PexAssumeUnderTest] AutocompleteConsole target)
        {
            string result = target.ReadLine();

            return(result);
            // TODO: add assertions to method AutocompleteConsoleTest.ReadLineTest(AutocompleteConsole)
        }
예제 #2
0
        public AutocompleteConsole ConstructorTest(
            string prompt,
            IScanner scanner,
            ISyntaxHighlighter highlighter,
            IAutocompletionSource sources,
            bool useNativeApi
            )
        {
            AutocompleteConsole target
                = new AutocompleteConsole(prompt, scanner, highlighter, sources, useNativeApi);

            return(target);
            // TODO: add assertions to method AutocompleteConsoleTest.ConstructorTest(String, IScanner, ISyntaxHighlighter, IAutocompletionSource, Boolean)
        }