public void TestAssembling()
{
ISymbolTableManager manager = new FakeSymbolManager(false, false);
var provider = new RenameProvider(manager);
//note: params do not matter. the fake returns a fixed symbol and does not respect the position. those methods are tested within the symbol table tests.
var result = provider.GetRenameChanges("oink", new Uri("file:///N:/u/l.l"), 2, 22);
Assert.AreEqual("file:///N:/u/l.l", result.Changes.Keys.First().ToString(),
"The fake instance is not assigning URIs. It should be the default-null uri.");
var changes = result.Changes.Values.First();
var aslist = changes.ToList();
aslist.Sort(
(te1, te2) => (int)te1.Range.Start.Line - (int)te2.Range.Start.Line
);
foreach (var c in aslist)
{
Assert.AreEqual("oink", c.NewText, "New Text was not as expected");
Assert.AreEqual(8, c.Range.End.Character - c.Range.Start.Character, "The Range was not as expected");
Assert.AreEqual(0, c.Range.End.Line - c.Range.Start.Line, "Edit is not on the same line");
}
Assert.AreEqual(0, aslist[0].Range.Start.Line, "Edit 0 starts at wrong line");
Assert.AreEqual(10, aslist[0].Range.Start.Character, "Edit 0 starts at wrong char");
Assert.AreEqual(1, aslist[1].Range.Start.Line, "Edit 1 starts at wrong line");
Assert.AreEqual(21, aslist[1].Range.Start.Character, "Edit 1 starts at wrong char");
Assert.AreEqual(2, aslist[2].Range.Start.Line, "Edit 2 starts at wrong line");
Assert.AreEqual(32, aslist[2].Range.Start.Character, "Edit 2 starts at wrong char");
}
public void TestOutcome()
{
ISymbolTableManager manager = new FakeSymbolManager(false, false);
var provider = new RenameProvider(manager);
var result = provider.GetRenameChanges("oink", new Uri("file:///N:/u/l.l"), 2, 22);
Assert.IsFalse(provider.Outcome.Error, "no error expected in rename-outcome");
}
public void ReservedWord()
{
ISymbolTableManager manager = new FakeSymbolManager(false, false);
var provider = new RenameProvider(manager);
var result = provider.GetRenameChanges("method", new Uri("file:///N:/u/l.l"), 2, 22);
Assert.IsTrue(provider.Outcome.Error, "error expected in rename-outcome");
Assert.AreEqual("method" + DafnyLanguageServer.Resources.LoggingMessages.rename_reserved_word, provider.Outcome.Msg);
}
public void UnderScoreName()
{
ISymbolTableManager manager = new FakeSymbolManager(false, false);
var provider = new RenameProvider(manager);
var result = provider.GetRenameChanges("_abc", new Uri("file:///N:/u/l.l"), 2, 22);
Assert.IsTrue(provider.Outcome.Error, "error expected in rename-outcome");
Assert.AreEqual(DafnyLanguageServer.Resources.LoggingMessages.rename_start_with_underscore, provider.Outcome.Msg);
}
public async Task <WorkspaceEdit> Handle(RenameParams request, CancellationToken cancellationToken)
{
_log.LogInformation(string.Format(Resources.LoggingMessages.request_handle, _method));
try
{
var manager = _workspaceManager.GetFileRepository(request.TextDocument.Uri).SymbolTableManager;
var line = (int)request.Position.Line + 1;
var col = (int)request.Position.Character + 1;
var uri = request.TextDocument.Uri;
var newName = request.NewName;
IRenameProvider provider = new RenameProvider(manager);
return(await Task.Run(() => RunAndEvaulate(provider, newName, uri, line, col), cancellationToken));
}
catch (Exception e)
{
HandleError(string.Format(Resources.LoggingMessages.request_error, _method), e);
return(null);
}
}
/// <summary>
/// Sets up common functionality for an RDMPCollectionUI
/// </summary>
/// <param name="collection"></param>
/// <param name="tree">The main tree in the collection UI</param>
/// <param name="activator">The current activator, used to launch objects, register for refresh events etc </param>
/// <param name="iconColumn">The column of tree view which should contain the icon for each row object</param>
/// <param name="renameableColumn">Nullable field for specifying which column supports renaming on F2</param>
/// <param name="settings">Customise which common behaviorurs are turned on</param>
public void SetUp(RDMPCollection collection, TreeListView tree, IActivateItems activator, OLVColumn iconColumn, OLVColumn renameableColumn, RDMPCollectionCommonFunctionalitySettings settings)
{
Settings = settings;
_collection = collection;
IsSetup = true;
_activator = activator;
_activator.RefreshBus.Subscribe(this);
RepositoryLocator = _activator.RepositoryLocator;
Tree = tree;
Tree.FullRowSelect = true;
Tree.HideSelection = false;
Tree.KeyPress += Tree_KeyPress;
Tree.RevealAfterExpand = true;
if (!Settings.SuppressChildrenAdder)
{
Tree.CanExpandGetter += CanExpandGetter;
Tree.ChildrenGetter += ChildrenGetter;
}
if (!Settings.SuppressActivate)
{
Tree.ItemActivate += CommonItemActivation;
}
Tree.CellRightClick += CommonRightClick;
Tree.SelectionChanged += (s, e) => RefreshContextMenuStrip();
if (iconColumn != null)
{
iconColumn.ImageGetter += ImageGetter;
}
if (Tree.RowHeight != 19)
{
Tree.RowHeight = 19;
}
//add colour indicator bar
Tree.Location = new Point(Tree.Location.X, tree.Location.Y + 3);
Tree.Height -= 3;
CreateColorIndicator(Tree, collection);
//what does this do to performance?
Tree.UseNotifyPropertyChanged = true;
ParentFinder = new TreeNodeParentFinder(Tree);
DragDropProvider = new DragDropProvider(
_activator.CommandFactory,
_activator.CommandExecutionFactory,
tree);
if (renameableColumn != null)
{
RenameProvider = new RenameProvider(_activator, tree, renameableColumn);
RenameProvider.RegisterEvents();
}
if (Settings.AddFavouriteColumn)
{
FavouriteColumnProvider = new FavouriteColumnProvider(_activator, tree);
FavouriteColumn = FavouriteColumnProvider.CreateColumn();
}
if (settings.AddIDColumn)
{
IDColumnProvider = new IDColumnProvider(tree);
IDColumn = IDColumnProvider.CreateColumn();
Tree.AllColumns.Add(IDColumn);
Tree.RebuildColumns();
}
if (Settings.AddCheckColumn)
{
CheckColumnProvider = new CheckColumnProvider(tree, _activator.CoreIconProvider);
CheckColumn = CheckColumnProvider.CreateColumn();
Tree.AllColumns.Add(CheckColumn);
Tree.RebuildColumns();
}
CoreIconProvider = activator.CoreIconProvider;
CopyPasteProvider = new CopyPasteProvider();
CopyPasteProvider.RegisterEvents(tree);
CoreChildProvider = _activator.CoreChildProvider;
_activator.Emphasise += _activator_Emphasise;
Tree.TreeFactory = TreeFactoryGetter;
Tree.RebuildAll(true);
Tree.FormatRow += Tree_FormatRow;
Tree.CellToolTipGetter += Tree_CellToolTipGetter;
if (Settings.AllowSorting)
{
if (Tree.PrimarySortColumn == null)
{
Tree.PrimarySortColumn = Tree.AllColumns.FirstOrDefault(c => c.IsVisible && c.Sortable);
}
//persist user sort orders
if (TreeGuids.ContainsKey(_collection))
{
//if we know the sort order fo this collection last time
var lastSort = UserSettings.GetLastColumnSortForCollection(TreeGuids[_collection]);
//reestablish that sort order
if (lastSort != null && Tree.AllColumns.Any(c => c.Text == lastSort.Item1))
{
Tree.PrimarySortColumn = Tree.GetColumn(lastSort.Item1);
Tree.PrimarySortOrder = lastSort.Item2 ? SortOrder.Ascending : SortOrder.Descending;
}
//and track changes to the sort order
Tree.AfterSorting += TreeOnAfterSorting;
}
}
else
{
foreach (OLVColumn c in Tree.AllColumns)
{
c.Sortable = false;
}
}
}
/// <summary>
/// Sets up common functionality for an RDMPCollectionUI
/// </summary>
/// <param name="collection"></param>
/// <param name="tree">The main tree in the collection UI</param>
/// <param name="activator">The current activator, used to launch objects, register for refresh events etc </param>
/// <param name="iconColumn">The column of tree view which should contain the icon for each row object</param>
/// <param name="renameableColumn">Nullable field for specifying which column supports renaming on F2</param>
/// <param name="settings">Customise which common behaviorurs are turned on</param>
public void SetUp(RDMPCollection collection, TreeListView tree, IActivateItems activator, OLVColumn iconColumn, OLVColumn renameableColumn, RDMPCollectionCommonFunctionalitySettings settings)
{
Settings = settings;
_collection = collection;
IsSetup = true;
_activator = activator;
_activator.RefreshBus.Subscribe(this);
RepositoryLocator = _activator.RepositoryLocator;
Tree = tree;
Tree.FullRowSelect = true;
Tree.HideSelection = false;
Tree.KeyPress += Tree_KeyPress;
Tree.CellToolTip.InitialDelay = UserSettings.TooltipAppearDelay;
Tree.CellToolTipShowing += Tree_CellToolTipShowing;
Tree.RevealAfterExpand = true;
if (!Settings.SuppressChildrenAdder)
{
Tree.CanExpandGetter += CanExpandGetter;
Tree.ChildrenGetter += ChildrenGetter;
}
if (!Settings.SuppressActivate)
{
Tree.ItemActivate += CommonItemActivation;
}
Tree.CellRightClick += CommonRightClick;
Tree.KeyUp += CommonKeyPress;
if (iconColumn != null)
{
iconColumn.ImageGetter += ImageGetter;
}
if (Tree.RowHeight != 19)
{
Tree.RowHeight = 19;
}
//add colour indicator bar
Tree.Location = new Point(Tree.Location.X, tree.Location.Y + 3);
Tree.Height -= 3;
CreateColorIndicator(Tree, collection);
//what does this do to performance?
Tree.UseNotifyPropertyChanged = true;
ParentFinder = new TreeNodeParentFinder(Tree);
DragDropProvider = new DragDropProvider(
_activator.CommandFactory,
_activator.CommandExecutionFactory,
tree);
if (renameableColumn != null)
{
RenameProvider = new RenameProvider(_activator, tree, renameableColumn);
RenameProvider.RegisterEvents();
}
if (Settings.AddFavouriteColumn)
{
FavouriteColumnProvider = new FavouriteColumnProvider(_activator, tree);
FavouriteColumn = FavouriteColumnProvider.CreateColumn();
SetupColumnTracking(FavouriteColumn, new Guid("ab25aa56-957c-4d1b-b395-48299be8e467"));
}
if (settings.AddIDColumn)
{
IDColumnProvider = new IDColumnProvider(tree);
IDColumn = IDColumnProvider.CreateColumn();
Tree.AllColumns.Add(IDColumn);
SetupColumnTracking(IDColumn, new Guid("9d567d9c-06f5-41b6-9f0d-e630a0e23f3a"));
Tree.RebuildColumns();
}
if (Settings.AddCheckColumn)
{
CheckColumnProvider = new CheckColumnProvider(tree, _activator.CoreIconProvider);
CheckColumn = CheckColumnProvider.CreateColumn();
SetupColumnTracking(CheckColumn, new Guid("8d9c6a0f-82a8-4f4e-b058-e3017d8d60e0"));
Tree.AllColumns.Add(CheckColumn);
Tree.RebuildColumns();
}
CoreIconProvider = activator.CoreIconProvider;
CopyPasteProvider = new CopyPasteProvider();
CopyPasteProvider.RegisterEvents(tree);
CoreChildProvider = _activator.CoreChildProvider;
_activator.Emphasise += _activator_Emphasise;
Tree.TreeFactory = TreeFactoryGetter;
Tree.RebuildAll(true);
Tree.FormatRow += Tree_FormatRow;
Tree.KeyDown += Tree_KeyDown;
if (Settings.AllowSorting)
{
SetupColumnSortTracking(Tree, TreeGuids.ContainsKey(collection) ? TreeGuids[collection] : Guid.Empty);
}
else
{
foreach (OLVColumn c in Tree.AllColumns)
{
c.Sortable = false;
}
}
}