void NotifyExtensions(ExtensionEvent @event, object obj)
{
foreach (var m in extensions)
{
m.Value.OnEvent(@event, obj);
}
}
// got a response back from a request sent to the server
private void OnResponse(ExtensionEvent e)
{
// just pass the info through
if (ExtensionEvent != null)
{
ExtensionEvent(new Dictionary <string, object>()
{
{ "command", e.Command }, { "subcommand", e.SubCommand }, { "data", e.Data }
});
}
}
public void OnEvent(ExtensionEvent @event, object obj)
{
if (@event == ExtensionEvent.Loaded)
{
var currentDomain = AppDomain.CurrentDomain;
var location = Assembly.GetExecutingAssembly().Location;
var assemblyDir = Path.GetDirectoryName(location);
if (assemblyDir != null)
{
currentDomain.AssemblyResolve += (sender, arg) =>
{
if (arg.Name.StartsWith("Microsoft.Z3,", StringComparison.OrdinalIgnoreCase))
{
string fileName = Path.Combine(assemblyDir, string.Format("{0}\\Microsoft.Z3.dll", (Environment.Is64BitProcess) ? "x64" : "x86"));
return(Assembly.LoadFile(fileName));
}
return(null);
};
}
}
}
public void OnEvent(ExtensionEvent @event, object?obj)
{
}
public void OnEvent(ExtensionEvent e, object obj)
{
}
public void OnEvent(ExtensionEvent @event, object obj)
{
// We don't care about any events
}
public void OnEvent(ExtensionEvent @event, object obj) {
// We don't care about any events
}
public static void SendEvent(ExtensionEvent id, params (string, object)[] props) =>
private void OnResponse(ExtensionEvent e)
{
Console.WriteLine(e.Command);
}
public void OnEvent(ExtensionEvent @event, object obj) {
}
void NotifyExtensions(ExtensionEvent @event, object obj) {
foreach (var m in extensions)
m.Value.OnEvent(@event, obj);
}
