public static ImpactSpec Load(string description, DocumentParser file)
{
ImpactSpec spec = new ImpactSpec {
Description = description
};
int clauseCount = file.ReadInt();
for (int i = 0; i < clauseCount; i++)
{
spec.Clauses.Add(ImpactSpecClause.Load(file));
}
return(spec);
}
public static ImpactSpecClause Load(DocumentParser file)
{
ImpactSpecClause clause = new ImpactSpecClause
{
Clause = file.ReadLine()
};
int systemCount = file.ReadInt();
for (int i = 0; i < systemCount; i++)
{
clause.Systems.Add(ImpactSpecClauseSystem.Load(file.ReadStrings()));
}
return(clause);
}
