Exemplo n.º 1
0
        /// <nodoc />
        public void ReportCycle(ModuleLiteral env, LineInfo lineInfo)
        {
            Contract.Requires(env != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportCycle(LoggingContext, location.AsLoggingLocation(),
                               Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 2
0
        /// <nodoc />
        public void ReportContractFail(ModuleLiteral env, string message, LineInfo lineInfo, string callStack)
        {
            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportContractFail(
                LoggingContext,
                location.AsLoggingLocation(),
                message,
                callStack);
        }
Exemplo n.º 3
0
        /// <nodoc />
        public void ReportWhileLoopOverflow(ModuleLiteral env, LineInfo lineInfo, int loopThreshold)
        {
            Contract.Requires(env != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportWhileLoopOverflow(
                LoggingContext,
                location.AsLoggingLocation(),
                loopThreshold,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 4
0
        /// <nodoc />
        public void ReportStackOverflow(ModuleLiteral env, LineInfo lineInfo)
        {
            Contract.Requires(env != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportStackOverflow(
                LoggingContext,
                location.AsLoggingLocation(),
                Context.CallStackSize,
                ImmutableContextBase.CallStackThreshold,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 5
0
        /// <nodoc />
        public void ReportArithmeticOverflow(
            ModuleLiteral env,
            Expression expression,
            LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportArithmeticOverflow(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context));
        }
Exemplo n.º 6
0
        /// <nodoc />
        public void ReportInvalidRadix(
            ModuleLiteral env,
            Expression expression,
            LineInfo lineInfo,
            int radix)
        {
            Contract.Requires(env != null);
            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportInvalidRadix(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context),
                radix);
        }
Exemplo n.º 7
0
        public void DirectoryNotSupportedException(
            ModuleLiteral env,
            Expression expression,
            LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(expression != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.DirectoryNotSupportedException(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 8
0
        public void ReportFileOperationError(
            ModuleLiteral env,
            Expression expression,
            string errorInformation,
            LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(expression != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportFileOperationError(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context),
                errorInformation,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 9
0
        public void ReportApplyAmbientNumberOfArgumentsLessThanMinArity(
            ModuleLiteral env,
            Expression functor,
            int minArity,
            int numOfArguments,
            LineInfo lineInfo = default(LineInfo))
        {
            Contract.Requires(env != null);
            Contract.Requires(functor != null);
            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportApplyAmbientNumberOfArgumentsLessThanMinArity(
                LoggingContext,
                location.AsLoggingLocation(),
                Context.GetStackTraceAsErrorMessage(location),
                functor.ToDisplayString(Context),
                minArity,
                numOfArguments);
        }
Exemplo n.º 10
0
        /// <nodoc />
        public void ReportUnexpectedValueTypeOnConversion(
            ModuleLiteral env,
            ConvertException exception,
            LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(exception != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportUnexpectedValueTypeOnConversion(
                LoggingContext,
                location.AsLoggingLocation(),
                exception.ExpectedTypesToString(Context),
                exception.ErrorContext.ErrorReceiverAsString(Context),
                ValueToString(exception.Value, Context),
                ValueTypeToString(exception.Value, Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 11
0
        public void ReportDisallowedUnsafeAmbientCallError(
            ModuleLiteral env,
            Expression expression,
            string methodName,
            LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(expression != null);
            Contract.Requires(!string.IsNullOrEmpty(methodName));

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportDisallowedUnsafeAmbientCallError(
                LoggingContext,
                location.AsLoggingLocation(),
                methodName,
                expression.ToDisplayString(Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 12
0
        /// <nodoc />
        public void ReportUnexpectedValueTypeForName(
            ModuleLiteral env,
            SymbolAtom name,
            string expectedTypes,
            EvaluationResult value,
            LineInfo lineInfo = default(LineInfo))
        {
            Contract.Requires(env != null);
            Contract.Requires(name.IsValid);
            Contract.Requires(expectedTypes != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportUnexpectedValueTypeForName(
                LoggingContext,
                location.AsLoggingLocation(),
                name.ToString(Context.FrontEndContext.SymbolTable),
                expectedTypes,
                ValueToString(value, Context),
                ValueTypeToString(value, Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 13
0
        /// <nodoc />
        public void ReportCycle(ModuleLiteral env, LineInfo lineInfo, FullSymbol?pending = null)
        {
            Contract.Requires(env != null);

            var chain = Context.GetTopLevelValueChain()
                        .Select(fs => fs.ToString(Context.SymbolTable))
                        .ToList();

            if (pending.HasValue)
            {
                chain.Insert(0, pending.Value.ToString(Context.SymbolTable) + " (pending)");
            }

            var formatted = chain
                            .Select(sym => Environment.NewLine + "  " + sym)
                            .Aggregate(new StringBuilder(), (acc, elem) => acc.Append(elem))
                            .ToString();

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportCycle(LoggingContext, location.AsLoggingLocation(),
                               Context.GetStackTraceAsErrorMessage(location),
                               $"{Environment.NewLine}Top-level value chain:{formatted}");
        }
Exemplo n.º 14
0
 /// <inheritdoc />
 public sealed override bool TryProject(Context context, SymbolAtom name, ModuleLiteral origin, PredefinedTypes predefinedTypes, out EvaluationResult result, LineInfo location)
 {
     result = GetOrEvalField(context, name, recurs: false, origin: origin, location: Location);
     return(true);
 }
Exemplo n.º 15
0
        private EvaluationResult EvaluateResolvedSymbol(Context context, ModuleLiteral module, LineInfo location, ResolvedEntry resolvedEntry)
        {
            Contract.Requires(module != null);

            if (resolvedEntry.Thunk != null)
            {
                var thunk = resolvedEntry.Thunk;

                return(thunk.EvaluateWithNewNamedContext(context, module, resolvedEntry.ThunkContextName, location));
            }

            return(EvaluateNonThunkedResolvedSymbol(context, module, resolvedEntry));
        }
Exemplo n.º 16
0
        /// <nodoc />
        public void ReportUnexpectedAmbientException(ModuleLiteral env, Exception exception, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(exception != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            // TODO: print nested messages as well!!
            Logger.ReportUnexpectedAmbientException(
                LoggingContext,
                location.AsLoggingLocation(),
                exception.Message,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 17
0
        /// <summary>
        /// Gets module or namespace based on module id.
        /// </summary>
        public EvaluationResult GetNamespace(ImmutableContextBase context, FullSymbol fullName, bool recurs, ModuleLiteral origin, LineInfo location)
        {
            ModuleBinding binding = GetNamespaceBinding(context, fullName, recurs);

            if (binding == null)
            {
                context.Errors.ReportMissingNamespace(origin ?? this, fullName, this, location);
                return(EvaluationResult.Error);
            }

            return(EvaluationResult.Create(binding.Body));
        }
Exemplo n.º 18
0
        public void ReportInputValidationException(ModuleLiteral env, InputValidationException inputValidationException, LineInfo lineInfo)
        {
            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportInputValidationError(
                LoggingContext,
                location.AsLoggingLocation(),
                inputValidationException.ErrorContext.ToErrorString(Context),
                !string.IsNullOrEmpty(inputValidationException.Message) ? ": " + inputValidationException.Message : string.Empty,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 19
0
        public void ReportSpreadIsNotAppliedToArrayValue(ModuleLiteral env, Expression expression, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(expression != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportSpreadIsNotAppliedToArrayValue(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 20
0
        /// <nodoc />
        public void ReportStringIndexOufOfRange(ModuleLiteral env, int index, string target, LineInfo lineInfo)
        {
            Contract.Requires(env != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportStringIndexOufOfRange(
                LoggingContext,
                location.AsLoggingLocation(),
                index,
                target,
                target.Length,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 21
0
        /// <summary>
        /// Adds a binding.
        /// </summary>
        public bool AddBinding(SymbolAtom name, object body, Declaration.DeclarationFlags modifier, LineInfo location)
        {
            Contract.Requires(name.IsValid);
            Contract.Requires(Qualifier == QualifierValue.Unqualified);

            return(AddBinding(name, new ModuleBinding(body, modifier, location)));
        }
Exemplo n.º 22
0
        /// <summary>
        /// Evaluates given <paramref name="binding"/> that corresponds to field <paramref name="name"/>
        /// (<seealso cref="GetOrEvalField(Context, SymbolAtom, bool, ModuleLiteral, LineInfo)"/>)
        /// </summary>
        public EvaluationResult GetOrEvalFieldBinding(Context context, SymbolAtom name, ModuleBinding binding, LineInfo callingLocation)
        {
            object o = binding.Body;

            if (o is Thunk thunk)
            {
                return(GetOrEvalFieldBindingThunk(context, name, binding, thunk));
            }

            if (o is Expression expr)
            {
                using (var frame = EvaluationStackFrame.Empty())
                {
                    return(expr.Eval(context, this, frame));
                }
            }

            return(EvaluationResult.Create(o));
        }
Exemplo n.º 23
0
        /// <summary>
        /// Evaluates a member by resolving a symbol at a given location.
        /// </summary>
        /// <remarks>
        /// DScript V2 feature.
        /// </remarks>
        internal EvaluationResult EvaluateByLocation(Context context, FilePosition filePosition, FullSymbol nameForDebuggingPurposes, LineInfo location)
        {
            if (TryResolveEntryByLocation(context, filePosition, nameForDebuggingPurposes, out var resolvedEntry, out var owningFileModule))
            {
                return(EvaluateResolvedSymbol(context, owningFileModule, location, resolvedEntry));
            }

            return(EvaluationResult.Undefined);
        }
Exemplo n.º 24
0
        public void ReportContractRequire(ModuleLiteral env, Expression expression, string message, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(expression != null);

            string additionalInformation = string.IsNullOrEmpty(message)
                ? string.Empty
                : I($" : {message}");

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportContractRequire(
                LoggingContext,
                location.AsLoggingLocation(),
                expression.ToDisplayString(Context),
                additionalInformation,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 25
0
        /// <summary>
        /// Evaluates a member using by resolving a symbol by a full name.
        /// </summary>
        /// <remarks>
        /// DScript V2 feature.
        /// </remarks>
        internal EvaluationResult EvaluateEntryByFullName(Context context, FullSymbol fullName, LineInfo location)
        {
            ResolvedEntry resolvedEntry = default(ResolvedEntry);

            if (CurrentFileModule?.TryGetResolvedEntryByFullName(fullName, out resolvedEntry) == true)
            {
                return(EvaluateResolvedSymbol(context, this, location, resolvedEntry));
            }

            // This is an assertion but not a graceful error, because resolution may fail only if something went wrong.
            string message = I($"Can't find resolved symbol by a full name '{fullName.ToString(context.FrontEndContext.SymbolTable)}'");

            Contract.Assert(false, message);

            return(EvaluationResult.Undefined);
        }
Exemplo n.º 26
0
        public void ReportFailResolveSelectorDueToUndefined(ModuleLiteral env, Expression thisExpression, SymbolAtom name, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(name.IsValid);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportFailResolveSelectorDueToUndefined(
                LoggingContext,
                location.AsLoggingLocation(),
                name.ToDisplayString(Context),
                thisExpression.ToDisplayString(Context),
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 27
0
        /// <nodoc />
        public void ReportMissingProperty(ModuleLiteral env, SymbolAtom selector, object receiver, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(receiver != null);

            var locationForLogging = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportMissingInstanceMember(
                LoggingContext,
                locationForLogging.AsLoggingLocation(),
                selector.ToDisplayString(Context),
                receiver.GetType().ToDisplayString(Context),
                Context.GetStackTraceAsString(locationForLogging));
        }
Exemplo n.º 28
0
        /// <nodoc />
        public void ReportArgumentIndexOutOfBound(ModuleLiteral env, int index, int numberOfArguments, LineInfo lineInfo)
        {
            Contract.Requires(env != null);

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportArgumentIndexOutOfBound(
                LoggingContext,
                location.AsLoggingLocation(),
                index,
                numberOfArguments,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 29
0
        /// <nodoc />
        public void ReportMissingNamespace(ModuleLiteral env, FullSymbol name, ModuleLiteral relatedEnv, LineInfo lineInfo)
        {
            Contract.Requires(env != null);
            Contract.Requires(name.IsValid);
            Contract.Requires(relatedEnv != null);
            var relatedLocation = relatedEnv.Location.AsLoggingLocation(relatedEnv, Context).ToDisplayString();
            var relatedMessage  = env == relatedEnv ? string.Empty : I($", related location '{relatedLocation}'");

            var location = lineInfo.AsUniversalLocation(env, Context);

            Logger.ReportMissingNamespace(
                LoggingContext,
                location.AsLoggingLocation(),
                name.ToDisplayString(Context),
                relatedMessage,
                Context.GetStackTraceAsErrorMessage(location));
        }
Exemplo n.º 30
0
        private EvaluationResult GetOrEvalField(Context context, SymbolAtom name, ModuleLiteral startEnv, bool recurs, ModuleLiteral origin, LineInfo location)
        {
            // This logic is still used only V1 evaluation
            if (IsFileModule && name == context.Names.Qualifier)
            {
                // Someone references 'qualifier' on the file level.
                return(EvaluationResult.Create(Qualifier.Qualifier));
            }

            ModuleBinding binding = null;

            // TODO:ST: sounds reasonable to add "warning" if name was resolved but it is not exposed!
            if (m_bindings?.TryGetValue(name, out binding) == true && (recurs || binding.IsExported))
            {
                return(GetOrEvalFieldBinding(context, name, binding, location));
            }

            if (recurs && OuterScope != null)
            {
                return(OuterScope.GetOrEvalField(context, name, startEnv, true, origin, location));
            }

            context.Errors.ReportMissingMember(origin ?? startEnv, name, startEnv, location);

            return(EvaluationResult.Error);
        }