/// <nodoc />
protected ContextTree CreateContext(
FileModuleLiteral instantiatedModule,
IEvaluationScheduler evaluationScheduler,
IDecorator <EvaluationResult> decorator,
EvaluatorConfiguration configuration,
FileType fileType)
{
Contract.Requires(instantiatedModule != null);
Contract.Requires(evaluationScheduler != null);
return(new ContextTree(
FrontEndHost,
Context,
Constants,
SharedModuleRegistry,
Logger,
Statistics,
qualifierValueCache: QualifierValueCache,
isBeingDebugged: IsBeingDebugged,
decorator: decorator,
module: instantiatedModule,
configuration: configuration,
evaluationScheduler: evaluationScheduler,
fileType: fileType));
}
/// <nodoc />
protected ContextTree CreateContext(
FileModuleLiteral instantiatedModule,
IDecorator <EvaluationResult> decorator,
EvaluatorConfiguration configuration,
FileType fileType)
{
return(CreateContext(
instantiatedModule,
FrontEndHost.DefaultEvaluationScheduler,
decorator,
configuration,
fileType));
}
