public PairwiseTuple[] Generate(out PictExecutionInformation executionInformation)
{
string[][] results;
string pictModel = (string)this.Visit(model);
// PictConstants.Trace("Pict model: {0}", model.Comment);
string fn = settings.CanCache ? PictConstants.CacheFileName : null;
using (PictRunner exec = new PictRunner(fn))
{
results = exec.MaybeExecutePict(settings, pictModel);
executionInformation = exec.LastExecutionInformation;
if (settings.RandomizeGeneration)
{
settings.RandomSeed = executionInformation.RandomSeed;
// NOTE: not setting settings.RandomSeedSpecified
}
}
// PictConstants.Trace("Results of executing PICT: {0}", results.Substring(0, Math.Min(255, results.Length)));
int tupleLen = results[0].Length;
PairwiseTuple[] tuples = new PairwiseTuple[results.Length - 1]; // skip the header
string[] fields = results[0];
for (int tupleNumber = 0; tupleNumber < tuples.Length; ++tupleNumber)
{
// the line we access is actually '1-indexed': the first row is the fields
string[] line = results[tupleNumber + 1];
PairwiseTuple pt = new PairwiseTuple(fields);
for (int currentField = 0; currentField < tupleLen; ++currentField)
{
PairwiseValue value = context.FindValue(currentField, line[currentField]);
pt.Add(model.Parameters[currentField].Name, value);
}
tuples[tupleNumber] = pt;
}
return(tuples);
}
