ftsrg/codemodel-rifle

Graph-based incremental static analysis of ECMAScript 6 source code repositories

codemodel-rifle's Issues

Bump versions

Gradle to 4.5.1
Neo4j to 3.3.3
Neo4j driver to 1.4.6 (we don't need the async features introduced in 1.5.0)

export { name1 as default } gets exported as variable with the name "default"

When exporting from exporter.js with the syntax export { name1 as default } then name1 should be the default export of the module. Instead, it gets exported as an ordinary variable with the name "default". This is most possibly a Shift Parser bug.

IDs should be indexed to speed up setting node relationships at repository sync

Node IDs should be indexed, so setting relationships among (very much) ASG-nodes would be faster.

Neo4j provides a way to create indices on arbitrary properties, but they are not immediately available, but are created in the background:

CREATE INDEX ON :Node(id)

The syntax also suggests to append the Node label to every ASG-node, so they can be ID-indexed alike.

The ImpermanentGraphDatabase is created on-the-run, so we do not have the time for the index to be created in the background. Searching for a solution to create an "immediate" index for an empty database.

Impex modules are connected with very lazy checking

The modules in the import-export cypher queries are connected with the following condition:

exporter.parsedFilePath CONTAINS import.moduleSpecifier

If exporter.js exports export { name1 as exportedName1 } and importer.js imports import { exportedName1 as importedName1 } from "exporter", then:

• exporter.parsedFilePath is /path/to/codemodel/rifle/resources/exporter.js
• import.moduleSpecifier is simply exporter

This is usually enough if there are only few modules with significantly different names, but is not perfect: if there are more than one exporter.js in different paths, there will be collisions, I guess. Edge cases and solutions are to be examined.

How to display namespace-imports in the ASG?

I am not sure how to display imported namespaces in the ASG. If no other variables are created in the importer module, the variable map is not even created. Not sure if the individual variables should be merged, or only their declarations or in some way, the namespace as one entity.

Merge GlobalScopes into a single scope

After merging imports and exports, we should have one global scope for a project with the child scopes connected. Now we have one GlobalScope for each imported file.