logic: add name delimiter to NameHierarchy

* NameHierarchy now looks like this: <delimiter>\tm<all the rest>
* made new baseclasses for SettingsMigration and SettingsMigrator
* Use the migration system for SqliteBookmarkStorage as well
This commit is contained in:
malte_langkabel
2017-05-16 13:08:12 +02:00
parent 6d0f633d24
commit c551c9a1dd
71 changed files with 692 additions and 523 deletions
@@ -67,7 +67,7 @@ public class JavaAstVisitor extends JavaAstVisitorAdapter
m_fileContent = fileContent;
m_typeSolver = typeSolver;
m_context.add(new DeclContext(filePath + "\ts\tp"));
m_context.add(new DeclContext("/\tm" + filePath + "\ts\tp"));
}
// --- record declarations ---
@@ -794,7 +794,7 @@ public class JavaAstVisitor extends JavaAstVisitorAdapter
JavaIndexer.logError(m_callbackId, e + " at " + m_filePath + "<"+ beginLine + ", " + beginColumn + ">");
JavaIndexer.recordSymbolWithLocation(
m_callbackId, "unsolved-symbol\ts\tp", SymbolKind.TYPE_MAX,
m_callbackId, ".\tmunsolved-symbol\ts\tp", SymbolKind.TYPE_MAX,
n.getRange(),
AccessKind.DEFAULT,
DefinitionKind.EXPLICIT
@@ -861,7 +861,7 @@ public class JavaAstVisitor extends JavaAstVisitorAdapter
}
else // todo: move this implementation somewhere else
{
qualifiedName = method.declaringType().getQualifiedName();
qualifiedName = ".\tm" + method.declaringType().getQualifiedName();
qualifiedName = qualifiedName.replace(".", "\ts\tp\tn");
qualifiedName += "\ts\tp\tn" + method.getName() + "\ts";
@@ -896,7 +896,7 @@ public class JavaAstVisitor extends JavaAstVisitorAdapter
}
else // todo: move this implementation somewhere else
{
qualifiedName = constructor.declaringType().getQualifiedName();
qualifiedName = ".\tm" + constructor.declaringType().getQualifiedName();
qualifiedName = qualifiedName.replace(".", "\ts\tp\tn");
qualifiedName += "\ts\tp\tn" + constructor.getName() + "\ts\tp(";
@@ -71,7 +71,7 @@ public class JavaDeclName
public String toSerializedNameHierarchy()
{
String nameHierarchy = "";
String nameHierarchy = ".\tm";
if (m_parent != null)
{
nameHierarchy = m_parent.toSerializedNameHierarchy();
@@ -50,7 +50,7 @@ public class JavaTypeName
public String toSerializedNameHierarchy()
{
String nameHierarchy = "";
String nameHierarchy = ".\tm";
if (m_parent != null)
{
nameHierarchy = m_parent.toSerializedNameHierarchy();