/// <nodoc />
public SpecFileWithMetadata([NotNull] ISourceFile sourceFile, [NotNull] ParsedModule owningModule, SpecState state)
{
Contract.Requires(sourceFile != null);
Contract.Requires(owningModule != null);
SourceFile = sourceFile;
OwningModule = owningModule;
State = state;
}
/// <nodoc />
internal SpecFileWithMetadata WithSpecState(SpecState state)
{
return(new SpecFileWithMetadata(SourceFile, OwningModule, state));
}