public Extractor() { Contract.Requires(!OutputFileName.IsEmpty()); }
public Reporter() : base() { Contract.Requires(!ClassifierResultsFileName.IsEmpty()); Contract.Requires(!OutputFileName.IsEmpty()); }
public Transformer() : base() { Contract.Requires(!InputFileName.IsEmpty()); Contract.Requires(!OutputFileName.IsEmpty()); }