public void SetScriptFilename([PexAssumeUnderTest] AphidInterpreter target, string filename)
{
target.SetScriptFilename(filename);
// TODO: add assertions to method AphidInterpreterTest.SetScriptFilename(AphidInterpreter, String)
}
private static void RunScript(string[] args)
{
if (!File.Exists(args[0]))
{
Console.WriteLine("Could not find {0}", args[0]);
Environment.Exit(1);
}
var ext = Path.GetExtension(args[0]).ToLower();
var isTextDocument = ext == ".alxt";
var file = Path.GetFullPath(args[0]);
var interpreter = new AphidInterpreter();
interpreter.SetScriptFilename(file);
EnvironmentLibrary.SetEnvArgs(true);
var result = true;
#if !APHID_DEBUGGING_ENABLED
if (AphidConfig.Current.ScriptCaching)
{
var cache = new AphidByteCodeCache(interpreter.Loader.SearchPaths.ToArray())
{
DisableConstantFolding = false,
InlineScripts = true,
};
if (AphidErrorHandling.HandleErrors)
{
result = AphidCli.TryAction(
interpreter,
() => AphidScript.Read(file),
() => interpreter.Interpret(cache.Read(file)),
allowErrorReporting: true);
}
else
{
interpreter.Interpret(cache.Read(file));
}
}
else
{
#endif
var code = AphidScript.Read(file);
if (AphidErrorHandling.HandleErrors)
{
result = AphidCli.TryAction(
interpreter,
code,
() => interpreter.Interpret(code, file, isTextDocument),
allowErrorReporting: true);
}
else
{
interpreter.Interpret(code, file, isTextDocument);
}
if (interpreter.CurrentScope.ResolveBool(AphidName.OpenRepl))
{
new AphidRepl {
Interpreter = interpreter
}.Run();
}
#if !APHID_DEBUGGING_ENABLED
}
#endif
if (!result)
{
Environment.Exit(0xbad5230);
}
}