示例#1
0
        /// <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;
        }
示例#2
0
 /// <nodoc />
 internal SpecFileWithMetadata WithSpecState(SpecState state)
 {
     return(new SpecFileWithMetadata(SourceFile, OwningModule, state));
 }