using dnWalker.Explorations;
using dnWalker.TestWriter.Generators.Schemas;
using dnWalker.TestWriter.TestModels;

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace dnWalker.TestWriter
{
    public interface ITestFramework
    {
        TestProject CreateTestProject(string name, IEnumerable<ConcolicExploration> explorations);

        // should add the created class into the test group
        TestClass CreateTestClass(TestProject testProject, TestGroup testGroup, ConcolicExploration exploration);

        // should add the created method into the test class
        TestMethod CreateTestMethod(TestClass testClass, ConcolicExplorationIteration explorationIteration, ITestSchema testSchema);
    }
}
