private void refreshTestList()
{
listBox1.Items.Clear();
string path = cm.getTestsDir();
if (!Directory.Exists(path))
{
Directory.CreateDirectory(path);
}
DirectoryInfo di = new DirectoryInfo(path);
DirectoryInfo[] list = di.GetDirectories();
for (int i = 0; i < list.Length; ++i)//只有目录根部包含test.va的文件才被加入
{
if ((list[i].GetFiles("test.vanilla", SearchOption.TopDirectoryOnly)).Length != 0)
{
TestInfo cur = cm.getTestInfo(list[i].Name);
if (cur.Exists)
{
tests.Add(cm.getTestInfo(list[i].Name));
}
}
}
refreshlist(tests);
LabelTestCount.Text = tests.Count.ToString();
//for()
}
public SubjectManager(String testdir, subject s, ConfigureManager cm)
{
sub = s;
String parentdir = cm.getTestsDir() + @"\" + testdir + @"\" + sub.folder + @"\";
DirectoryInfo subdir = new DirectoryInfo(parentdir + s.folder);
if (!subdir.Exists)
{
Valid = false;
return;
}
FileInfo[] indata = subdir.GetFiles("*.in");
if (indata.Length == 0)
{
Valid = false;
return;
}
ArrayList pl = new ArrayList();
for (int i = 0; i < indata.Length; ++i)
{
if (File.Exists(parentdir + s.folder + @"\" + Path.GetFileNameWithoutExtension(indata[i].Name) + ".out"))
{
pl.Add(Path.GetFileNameWithoutExtension(indata[i].Name));
}
}
if (pl.Count == 0)
{
Valid = false;
return;
}
Pointlist = (String[])pl.ToArray();
}
public SubjectManager(String testdir,subject s,ConfigureManager cm)
{
sub = s;
String parentdir = cm.getTestsDir() + @"\" + testdir + @"\" + sub.folder + @"\";
DirectoryInfo subdir = new DirectoryInfo( parentdir + s.folder);
if (!subdir.Exists)
{
Valid = false;
return;
}
FileInfo[] indata = subdir.GetFiles("*.in");
if (indata.Length == 0)
{
Valid = false;
return;
}
ArrayList pl = new ArrayList();
for (int i = 0; i < indata.Length; ++i)
{
if (File.Exists(parentdir + s.folder + @"\" + Path.GetFileNameWithoutExtension(indata[i].Name) + ".out" ))
{
pl.Add(Path.GetFileNameWithoutExtension(indata[i].Name));
}
}
if (pl.Count == 0)
{
Valid = false;
return;
}
Pointlist = (String[]) pl.ToArray();
}