/// <nodoc/> public NinjaPipGraphBuilder( FrontEndContext context, FrontEndHost frontEndHost, ModuleDefinition moduleDefinition, AbsolutePath projectRoot, AbsolutePath specPath, QualifierId qualifierId, string frontEndName, bool suppressDebugFlags, IEnumerable <KeyValuePair <string, string> > userDefinedEnvironment, IEnumerable <string> userDefinedPassthroughVariables, IUntrackingSettings untrackingSettings) { Contract.Requires(context != null); Contract.Requires(frontEndHost != null); Contract.Requires(moduleDefinition != null); Contract.Requires(projectRoot.IsValid); Contract.Requires(specPath.IsValid); Contract.Requires(!string.IsNullOrEmpty(frontEndName)); m_pipConstructor = new NinjaPipConstructor(context, frontEndHost, frontEndName, moduleDefinition, qualifierId, projectRoot, specPath, suppressDebugFlags, userDefinedEnvironment, userDefinedPassthroughVariables, untrackingSettings); }
/// <nodoc/> public NinjaPipGraphBuilder( FrontEndContext context, FrontEndHost frontEndHost, ModuleDefinition moduleDefinition, AbsolutePath projectRoot, AbsolutePath specPath, QualifierId qualifierId, string frontEndName, bool suppressDebugFlags, IUntrackingSettings untrackingSettings) { Contract.Requires(context != null); Contract.Requires(frontEndHost != null); Contract.Requires(moduleDefinition != null); Contract.Requires(projectRoot.IsValid); Contract.Requires(specPath.IsValid); Contract.Requires(!string.IsNullOrEmpty(frontEndName)); m_context = context; m_frontEndHost = frontEndHost; m_pipConstructor = new NinjaPipConstructor(context, frontEndHost, frontEndName, moduleDefinition, qualifierId, projectRoot, specPath, suppressDebugFlags, untrackingSettings); }