public static string TransformVersionToString(eEigenVersion version)
{
switch (version)
{
case eEigenVersion.Eigen_3_2_0:
return("3.2.0");
case eEigenVersion.Eigen_3_2_1:
return("3.2.1");
case eEigenVersion.Eigen_3_2_2:
return("3.2.2");
case eEigenVersion.Eigen_3_2_8:
return("3.2.8");
case eEigenVersion.Eigen_3_2_9:
return("3.2.9");
case eEigenVersion.Eigen_3_2_10:
return("3.2.10");
case eEigenVersion.Eigen_3_3_0:
return("3.3.0");
case eEigenVersion.Eigen_3_3_1:
return("3.3.1");
}
throw new Exception("Unknown Eigen version");
}
public static EigenInfo GetInfo(eEigenVersion version)
{
foreach (EigenInfo info in CreateInfoList())
{
if (info.version == version)
{
return(new EigenInfo(info.ZIPFilename, info.downloadURL, info.version)); // hand back a copy
}
}
throw new Exception("Unknown Eigen version.");
}
public static string GetZipFileName(eEigenVersion version)
{
foreach (EigenInfo bi in CreateInfoList())
{
if (bi.version == version)
{
return(bi.ZIPFilename);
}
}
throw new Exception("Unknown Eigen version");
}
public static string GetDownloadURL(eEigenVersion version)
{
foreach (EigenInfo info in CreateInfoList())
{
if (info.version == version)
{
return(info.DownloadURL);
}
}
throw new Exception("Unknown Eigen version.");
}
EigenInfo(string filename, string downloadURL, eEigenVersion version)
{
this.zipFilename = filename;
this.downloadURL = downloadURL;
this.version = version;
}
