mirror of
https://github.com/adelphes/android-dev-ext.git
synced 2025-12-22 17:39:19 +00:00
* initial working language server * first hacky version of source parsing and type checking * first iteration of method body parser * add support for prefix/postfix inc expressions * add basic support for parsing new expressions * different attempt to parse using collapsable text ranges * fix parsing of binary operstors following a bracket expression * updated validation to use new JavaTypes module instead of MTIs * add support for array-literal expressions * fix || and && not being tokenized as operators allow float literals starting with dot * add new method body parser to use direct linear parsing * add super as an object literal * fix interface constructors check constructor type modifiers * fix assignment operator types * Fix resolving of enclosed type identifiers * add default constructor for class types with no explicit constructors * add missing constructor validator * add constructor parameters to list of resolvable types * update SourceMethod to pass name in super constructor * add Any* classes to reduce cascading errors * update method call parameter checking use isTypeAssignable instead of getParameterCompatibleTypeSignatures * tidy up isTypeAssignable allow class equivilents for primitives * add more info when methods/ctrs cannot be matched * allow interfaces to be cast to class instances * use isTypeAssignable for checking branch test expressions * allow AnyValue to be a constant value * split shift operators from bitwise operators * add support for literal numbers to be assignable to multiple primtive types * clear diagnostics when document is closed * update check for cast expression * casting only applies to qualified term not a whole expression * allow all primitive-number-type casts * add support for synchronized statement * update primitive type compatibility * allow null to be cast to any non-primitve * use better regex for string literals * allow character literals to be assigned to number types * add support for array qualifiers after a variable name * make sure any long specifier is stripped from a bigint value * improve invalid array expression message add AnyType array element to prevent cascading errors * make default a modifer keyword for interface default method support * initial support for wildcard type arguments * fix parse issue with nested generic types * allow generic types to be assigned to inherited types with compatible type arguments * allow unicode characters, $ and _ in identifiers * map primitive types to their boxed versions for class member * support assert statement * allow unicode char literals * make type parser and body parser use same tokenizer * reuse parsed tokens instead of tokenizing each method body * re-add throws as a keyword * treat default and synchronized as modifiers * add SourceInitialiser support * refactor to prepare for merging with type parsing * add support for array qualifiers in type identifiers * pass scoped type instead of method to typeIdent * update ResolvableType to use same type resolving as method body parsing * add support for post-name array qualifiers in fields and parameters * post-name array qualifiers in method decls * add type variables to SourceMethod * initial attempt to support type variable arguments in methods * specialise methods with type variables * don't require default interface methods to be implemented * make variable arity parameters an array type * tidy array constructors and fix some warnings * update isCallCompatible to handle variable arity calls * improve assert statement support * parse labels and break/continue targets * refactor new term qualifiers * add support for generic inferred-type arguments * improve modifier checks for interface types * improve reporting of unresolved type errors * fix type checking of field and method declarations * add missng strictfp modifier * refactor in preparation for parsing local types * replace Locals with scopeable MethodDeclarations to allow labels and types to be stored * initial changes to support local type declarations * update to use new set of SourceX classes * refactor to allow expressions to have a type scope * replace regex parsing with linear parsing * generate source types before parsing * fix support for resolving type variables in method declarations * fix checking of array literal compatability * report errors from unit parsing * remove local modifier validation during parse add parameter modifier checking to validation * allow trailing comma for array literals * start separating validation from parsing * add support for parsing enum values * allow uppercase 0X in hex literals * include enclosing types in identifier search * add support for parsing parameterless lambdas * ignore unresolved types in extends/implements * implement specialisation of SourceType * allow super as a member qualifier * allow empty enums * don't report missing constructors if superclass has none * update typemap declarations to use CEIType instead of JavaType * fix resolving of class type variables * fix bad imports when resolving annotations * allow null scope in findIdentifier * add support for static member imports * import types from same package * remove this qualifier from isCastExpression * add hex exponent support * parse try-with-resources * fix resolving imported enclosed types * extract expression types into separate files * extract statement types into separate files * fix type warnings * extract literals into separate files * remove Value class, add NewExpression and separate out Any classes * rename source types module * remove some parse checks that should be in verify * support token extraction in expressions * implement resolveExpression * add type cast checking * check for valid type in class member expressions * allow assigns for assignable type arguments * improve reporting of unresolved identifiers * add new array validation * validate array literals * validate array indexes * improve validation of binary operators * rename ResolvedType to ResolvedValue * improve checking of number literals * support package name as a resolved value * implement method body and ststement validation * improve method call resolving * add support for this() and super() constructor calls * remove return type for source constructors * add checks for unary operators * ensure tokens are assigned for qualified expressions * check castability using type assignments * add implicit enum methods values() and valueOf() * add basic type checking of lambda expressions * fix return type check * fix assert statement checks * improve support for ternary operators in assignments and method invocations * perform more detailed search of implemented methods * initial test of context-dependant code completion * support package, type and static field import completion * support for member expressions * use exact type signatures for locating types for completion items * add support for field and method docs * add support for docs in source types * support member completion for array types improve comment formatting * ensure Object is always last in the list of inherited types * add owning method to statements create common keyword statement class * improve code completion list add method parameters order list items by scope * add source types to list hide this and super for non-methods * fix bad member resolution at end of block fix missing method and type docs * add support for editing multiple files * allow multiple source files to be used in parsing * load and parse files at startup * add support for displaying method signatures * add single trace function with timestamps * implement shceduleReparse to reduce parsing load while typing * remove parsed type list logging * wait for reparsing before returning method signatures * resolve new object contructors * improve extraction of parameter docs * update @types/vscode * cache decoded android library in globalStoragePath * load single android library cache from local folder * android-29 library cache * allow configurable app root setting * set configurable trace logging and update section names * description updates * handle null token passed to ParseProblem * refactoring * Rename language client extension to Android * ignore unnamed type declarations * handle java file change notifications * make sure we only try and parse java files * add option to allow language server to be shutdown * simplify handling of this and class member qualifiers * relocate java-mti package into project * get main node install to install langserver dependencies * remove debugging pause * rename body-parser3 to body-parser * clean up import resolving code * remove unused field from ResolvedImport * remove validation modules that used old parser types * remove old parser files * remove redundant types and functions used by old parser * move addproblem into TokenList * remove unused ResolvedType class * validate more statements * add support for parsing and validating anonymous types * hide some method modifiers which aren't useful to show * code comments and minor improvements * fix some type warnings * improve support for completion of enum values * add type name to parameter completion labels * ignore synthetic members in completion list * use a specialised map for handling case-insenstive file uris * add basic build script * reference java-mti package from GitHub * revert @types/vscode * update initial file loading to use URIs passed from the client changes to the appSourceRoot now require an extension restart * add support for loading filtered androidx libraries for code completion * update version of java-mti * add mixpanel package * add basic analytics * fix dependency versions * fix dependency versions * set empty cache file markers * add language server debug config * add file to build script * add unqualified type members when inside a method * apply statics filter to enum values * add basic debugger analytics * include current time in startup event * add terminate reason to debugger * update changelog and readme
301 lines
11 KiB
JavaScript
301 lines
11 KiB
JavaScript
const {
|
|
createConnection,
|
|
TextDocuments,
|
|
ProposedFeatures,
|
|
DidChangeConfigurationNotification,
|
|
TextDocumentSyncKind,
|
|
} = require('vscode-languageserver');
|
|
const fs = require('fs');
|
|
|
|
const { TextDocument } = require('vscode-languageserver-textdocument');
|
|
const { URI } = require('vscode-uri');
|
|
|
|
const { loadAndroidSystemLibrary } = require('./java/java-libraries');
|
|
const { CEIType } = require('java-mti');
|
|
|
|
const { Settings } = require('./settings');
|
|
const { trace } = require('./logging');
|
|
const { clearDefaultCompletionEntries, getCompletionItems, resolveCompletionItem } = require('./completions');
|
|
const { getSignatureHelp } = require('./method-signatures');
|
|
const { FileURIMap, JavaDocInfo, indexAt, reparse } = require('./document');
|
|
|
|
const { v4: uuidv4 } = require('uuid');
|
|
const analytics = require('./analytics');
|
|
const package_json = require('./package.json');
|
|
|
|
/**
|
|
* The global map of Android system types
|
|
* @typedef {Map<string, CEIType>} AndroidLibrary
|
|
* @type {AndroidLibrary|Promise<AndroidLibrary>}
|
|
*/
|
|
let androidLibrary = null;
|
|
|
|
/**
|
|
* The list of loaded Java documents
|
|
* @type {Map<string,JavaDocInfo>}
|
|
*/
|
|
const liveParsers = new FileURIMap();
|
|
|
|
let startupOpts = null;
|
|
let hasConfigurationCapability = false;
|
|
let hasWorkspaceFolderCapability = false;
|
|
|
|
function loadCodeCompletionLibrary(extensionPath, codeCompletionLibraries) {
|
|
// the android library is loaded asynchronously, with the global `androidLibrary` variable
|
|
// set to the promise while it is loading.
|
|
androidLibrary = (androidLibrary instanceof Promise
|
|
? androidLibrary // if we're currently loading, wait for it to complete
|
|
: Promise.resolve(new Map())
|
|
)
|
|
.then(() => loadAndroidSystemLibrary(extensionPath, codeCompletionLibraries))
|
|
.then(
|
|
library => androidLibrary = library,
|
|
err => {
|
|
console.log(`Android library load failed: ${err.message}\n Code completion may not be available.`);
|
|
return new Map();
|
|
}
|
|
);
|
|
}
|
|
|
|
// Text document manager monitoring file opens and edits
|
|
let documents = new TextDocuments({
|
|
/**
|
|
*
|
|
* @param {string} uri
|
|
* @param {string} languageId
|
|
* @param {number} version
|
|
* @param {string} content
|
|
*/
|
|
create(uri, languageId, version, content) {
|
|
trace(`document create ${uri}:${version}`);
|
|
|
|
// sanity-check - we only support Java source files
|
|
if (!/\.java$/i.test(uri)) {
|
|
return { uri };
|
|
}
|
|
|
|
// add the document to the set
|
|
liveParsers.set(uri, new JavaDocInfo(uri, content, version));
|
|
|
|
// tokenize the file content and build the initial parse state
|
|
reparse([uri], liveParsers, androidLibrary, { includeMethods: true });
|
|
|
|
return { uri };
|
|
},
|
|
/**
|
|
*
|
|
* @param {TextDocument} document
|
|
* @param {import('vscode-languageserver').TextDocumentContentChangeEvent[]} changes
|
|
* @param {number} version
|
|
*/
|
|
update(document, changes, version) {
|
|
trace(`document update ${document.uri}:${version}`);
|
|
if (!liveParsers.has(document.uri)) {
|
|
return;
|
|
}
|
|
const docinfo = liveParsers.get(document.uri);
|
|
if (!docinfo) {
|
|
return;
|
|
}
|
|
|
|
// apply the edits to our local content copy
|
|
changes.forEach((change) => {
|
|
/** @type {import('vscode-languageserver').Range} */
|
|
const r = change['range'];
|
|
if (r) {
|
|
const start_index = indexAt(r.start, docinfo.content);
|
|
let end_index = start_index + (r.end.character - r.start.character);
|
|
if (r.end.line !== r.start.line) end_index = indexAt(r.end, docinfo.content);
|
|
docinfo.content = `${docinfo.content.slice(0, start_index)}${change.text}${docinfo.content.slice(end_index)}`;
|
|
}
|
|
});
|
|
|
|
docinfo.version = version;
|
|
docinfo.scheduleReparse(liveParsers, androidLibrary);
|
|
|
|
return document;
|
|
},
|
|
});
|
|
|
|
// Create a connection for the server. The connection uses Node's IPC as a transport.
|
|
const connection = createConnection(ProposedFeatures.all);
|
|
|
|
connection.onInitialize((params) => {
|
|
|
|
startupOpts = {
|
|
extensionPath: '',
|
|
initialSettings: {
|
|
appSourceRoot: '',
|
|
/** @type {string[]} */
|
|
codeCompletionLibraries: [],
|
|
trace: false,
|
|
},
|
|
sourceFiles: [],
|
|
...params.initializationOptions,
|
|
}
|
|
|
|
Settings.set(startupOpts.initialSettings);
|
|
analytics.init(undefined, startupOpts.mpuid, uuidv4(), package_json, { vscode_version: startupOpts.vscodeVersion });
|
|
|
|
loadCodeCompletionLibrary(startupOpts.extensionPath, Settings.codeCompletionLibraries);
|
|
|
|
let capabilities = params.capabilities;
|
|
|
|
// Does the client support the `workspace/configuration` request?
|
|
// If not, we will fall back using global settings
|
|
hasConfigurationCapability = capabilities.workspace && !!capabilities.workspace.configuration;
|
|
|
|
hasWorkspaceFolderCapability = capabilities.workspace && !!capabilities.workspace.workspaceFolders;
|
|
|
|
/** @type {string[]} */
|
|
const file_uris = Array.isArray(startupOpts.sourceFiles) ? startupOpts.sourceFiles : [];
|
|
for (let file_uri of file_uris) {
|
|
const file = URI.parse(file_uri, true);
|
|
const filePath = file.fsPath;
|
|
if (!/.java/i.test(filePath)) {
|
|
trace(`ignoring non-java file: ${filePath}`);
|
|
continue;
|
|
}
|
|
if (liveParsers.has(file_uri)) {
|
|
trace(`File already loaded: ${file_uri}`);
|
|
continue;
|
|
}
|
|
try {
|
|
// it's fine to load the initial file set synchronously - the language server runs in a
|
|
// separate process and nothing (useful) can happen until the first parse is complete.
|
|
const content = fs.readFileSync(file.fsPath, 'utf8');
|
|
liveParsers.set(file_uri, new JavaDocInfo(file_uri, content, 0));
|
|
trace(`Added initial file: ${file_uri}`);
|
|
} catch (err) {
|
|
trace(`Failed to load initial source file: ${filePath}. ${err.message}`);
|
|
}
|
|
}
|
|
reparse([...liveParsers.keys()], liveParsers, androidLibrary, { includeMethods: false, first_parse: true });
|
|
|
|
return {
|
|
capabilities: {
|
|
// we support incremental updates
|
|
textDocumentSync: TextDocumentSyncKind.Incremental,
|
|
|
|
// we support code completion
|
|
completionProvider: {
|
|
resolveProvider: true,
|
|
},
|
|
|
|
// we support method signature information
|
|
signatureHelpProvider : {
|
|
triggerCharacters: [ '(' ]
|
|
}
|
|
},
|
|
};
|
|
});
|
|
|
|
connection.onInitialized(async () => {
|
|
if (hasConfigurationCapability) {
|
|
// Register for all configuration changes.
|
|
connection.client.register(
|
|
DidChangeConfigurationNotification.type, {
|
|
section: 'android-dev-ext',
|
|
});
|
|
}
|
|
|
|
if (hasWorkspaceFolderCapability) {
|
|
connection.workspace.onDidChangeWorkspaceFolders((_event) => {
|
|
trace('Workspace folder change event received.');
|
|
});
|
|
}
|
|
|
|
trace('Initialization complete');
|
|
});
|
|
|
|
connection.onDidChangeConfiguration(async (change) => {
|
|
trace(`onDidChangeConfiguration: ${JSON.stringify(change)}`);
|
|
|
|
const prev_ccl = [...new Set(Settings.codeCompletionLibraries)].sort();
|
|
|
|
// fetch and update the settings
|
|
const newSettings = await connection.workspace.getConfiguration({
|
|
section: "android-dev-ext"
|
|
});
|
|
|
|
Settings.set(newSettings);
|
|
|
|
if (Settings.updateCount > 2) {
|
|
analytics.event('ls-settings-changed', {
|
|
appSourceRoot: Settings.appSourceRoot,
|
|
libs: Settings.codeCompletionLibraries,
|
|
trace: Settings.trace,
|
|
})
|
|
}
|
|
|
|
const new_ccl = [...new Set(Settings.codeCompletionLibraries)].sort();
|
|
if (new_ccl.length !== prev_ccl.length || new_ccl.find((lib,idx) => lib !== prev_ccl[idx])) {
|
|
// code-completion libraries have changed - reload the android library
|
|
trace("code completion libraries changed - reloading android library and reparsing")
|
|
loadCodeCompletionLibrary(startupOpts.extensionPath, Settings.codeCompletionLibraries);
|
|
reparse([...liveParsers.keys()], liveParsers, androidLibrary, { includeMethods: false });
|
|
clearDefaultCompletionEntries();
|
|
}
|
|
})
|
|
|
|
documents.onDidClose((e) => {
|
|
trace(`doc closed ${e.document.uri}`);
|
|
connection.sendDiagnostics({ uri: e.document.uri, diagnostics: [] });
|
|
});
|
|
|
|
connection.onDidChangeWatchedFiles(
|
|
/** @param {import('vscode-languageserver').DidChangeWatchedFilesParams} params */
|
|
(params) => {
|
|
// Monitored files have change in VS Code
|
|
trace(`watch file change: ${JSON.stringify(params)}`);
|
|
let files_changed = false;
|
|
params.changes.forEach(change => {
|
|
switch(change.type) {
|
|
case 1: // create
|
|
// if the user creates the file directly in vscode, the file will automatically open (and we receive an open callback)
|
|
// - but if the user creates or copies a file into the workspace, we need to manually add it to the set.
|
|
if (!liveParsers.has(change.uri)) {
|
|
trace(`file added: ${change.uri}`)
|
|
try {
|
|
const fname = URI.parse(change.uri, true).fsPath;
|
|
liveParsers.set(change.uri, new JavaDocInfo(change.uri, fs.readFileSync(fname, 'utf8'), 0));
|
|
files_changed = true;
|
|
} catch (err) {
|
|
console.log(`Failed to add new file '${change.uri}' to working set. ${err.message}`);
|
|
}
|
|
}
|
|
break;
|
|
case 2: // change
|
|
// called when the user manually saves the file - ignore for now
|
|
break;
|
|
case 3: // delete
|
|
trace(`file deleted: ${change.uri}`)
|
|
liveParsers.delete(change.uri);
|
|
files_changed = true;
|
|
break;
|
|
}
|
|
});
|
|
|
|
if (files_changed) {
|
|
// reparse the entire set
|
|
reparse([...liveParsers.keys()], liveParsers, androidLibrary);
|
|
}
|
|
}
|
|
);
|
|
|
|
// Retrieve the initial list of the completion items.
|
|
connection.onCompletion(params => getCompletionItems(params, liveParsers, androidLibrary));
|
|
|
|
// Resolve additional information for the item selected in the completion list.
|
|
connection.onCompletionResolve(item => resolveCompletionItem(item));
|
|
|
|
// Retrieve method signature information
|
|
connection.onSignatureHelp(params => getSignatureHelp(params, liveParsers));
|
|
|
|
// Make the text document manager listen on the connection
|
|
// for open, change and close text document events
|
|
documents.listen(connection);
|
|
|
|
// Listen on the connection
|
|
connection.listen();
|