/// <summary>
/// Check consistency of a <see cref="DocMap"/>, useful for assertions.
/// </summary>
internal static bool IsConsistent(DocMap docMap)
{
int maxDoc = docMap.Count;
for (int i = 0; i < maxDoc; ++i)
{
int newID = docMap.OldToNew(i);
int oldID = docMap.NewToOld(newID);
Debug.Assert(newID >= 0 && newID < maxDoc, "doc IDs must be in [0-" + maxDoc + "[, got " + newID);
Debug.Assert(i == oldID, "mapping is inconsistent: " + i + " --oldToNew--> " + newID + " --newToOld--> " + oldID);
if (i != oldID || newID < 0 || newID >= maxDoc)
{
return(false);
}
}
return(true);
}
private void UpdateDocumentMap()
{
if (documentMap == null && _enableDocumentMap)
{
BuildDocumentMap();
}
if (CurrentTB != null && documentMap != null)
{
documentMap.Target = tablist.Count > 0 ? CurrentTB.mainEditor : null;
documentMap.Visible = _enableDocumentMap;
if (!_enableDocumentMap || documentMap.Target == null)
{
documentMap.Close();
documentMap = null;
return;
}
}
}
/// <summary>
/// Check consistency of a <see cref="DocMap"/>, useful for assertions.
/// </summary>
internal static bool IsConsistent(DocMap docMap)
{
int maxDoc = docMap.Count;
for (int i = 0; i < maxDoc; ++i)
{
int newID = docMap.OldToNew(i);
int oldID = docMap.NewToOld(newID);
if (Debugging.AssertsEnabled)
{
Debugging.Assert(newID >= 0 && newID < maxDoc, "doc IDs must be in [0-{0}[, got {1}", maxDoc, newID);
Debugging.Assert(i == oldID, "mapping is inconsistent: {0} --oldToNew--> {1} --newToOld--> {2}", i, newID, oldID);
}
if (i != oldID || newID < 0 || newID >= maxDoc)
{
return(false);
}
}
return(true);
}
/// <summary>
/// Check consistency of a <seealso cref="DocMap"/>, useful for assertions. </summary>
internal static bool isConsistent(DocMap docMap)
{
//JAVA TO C# CONVERTER WARNING: The original Java variable was marked 'final':
//ORIGINAL LINE: final int maxDoc = docMap.size();
int maxDoc = docMap.size();
for (int i = 0; i < maxDoc; ++i)
{
//JAVA TO C# CONVERTER WARNING: The original Java variable was marked 'final':
//ORIGINAL LINE: final int newID = docMap.oldToNew(i);
int newID = docMap.oldToNew(i);
//JAVA TO C# CONVERTER WARNING: The original Java variable was marked 'final':
//ORIGINAL LINE: final int oldID = docMap.newToOld(newID);
int oldID = docMap.newToOld(newID);
Debug.Assert(newID >= 0 && newID < maxDoc, "doc IDs must be in [0-" + maxDoc + "[, got " + newID);
Debug.Assert(i == oldID, "mapping is inconsistent: " + i + " --oldToNew--> " + newID + " --newToOld--> " + oldID);
if (i != oldID || newID < 0 || newID >= maxDoc)
{
return(false);
}
}
return(true);
}
private void BuildDocumentMap()
{
documentMap = new DocMap();
documentMap.Show(this.dockpanel, DockState.DockRight);
}
