smelukov/estel

ESTree AST interpreter with dynamic analyzing

estel's Issues

Support ArrayExpression

a = [1, 2, 3]; // create array property for token
obj = { [a]: a}; // obj = { '1,2,3,4': [1,2,3,4] }

Support TemplateLiteral

var a = 1;
var b = `some {$a} template`

Is it possible to add variables to the top level scope?

Hi, thanks for this really cool package! I was playing around with it, and I was wondering if it is possible to add variables to the top level scope somehow. Something like:

const a = 1;
const b = 2;

const ast = espree.parse('const result = a + b')

const scope = new estel.Scope();

// add a and b to scope somehow

estel.processNames(ast, scope);
estel.processValues(ast);

const resultRef = scope.getReference("result");
console.log(resultRef.value); // should be 3

Is it possible to do something similar?

Support destructuring assignment

var [a, b] = [1, 2]; // a = 1, b = 2
var { a, b } = { a: 1, b: 2 }; // a = 1, b = 2
var { a: { b: a, c: b } } = { a: { b: 1,c: 2 } }; // a = 1, b = 2

Checklist

Names processor

• create names from array destructuring
• create names from object destructuring

Values processor

• handle tokens of array destructuring
• handle tokens of object destructuring

Support BinaryExpression

a = 1;
b = 2;
c = a + b; // 3

Support UpdateExpression

a++;
++a;
a--;
--a;

Support CallExpression

function Fn(a, b) {
  return a + b;
}

a = Fn(1, 2); // 3

Checklist

• pass arguments to parameters
• pass arguments to arguments variable
• support ReturnStatement
• support runner (function, that calls by CallExpression)

Support ImportDeclaration

Create names for:

import a from 'some';
import {a, b, c as d} from 'some';
import * as d from 'some';

Blocked by jquery/esprima#1826

Support arguments.callee and caller

function A(){
    function B(){
        console.log(arguments.callee) // function B() { ... }
        console.log(B.caller) // function A() { ... }
    }
    B();
}
A();

Support MemberExpression assignments

a = b.c.d;
a.b.c = d;
a[b].c = d;

a = b[0];
a[0] = b;

Checklist

• static member expression in right side
• static member expression in left side
• dynamic member expression in right side
• dynamic member expression in left side

Support IfStatement

var a = 1;
if(a) { ... }

Support LogicalExpression

var a = b || 0;
var a = b && b.c;

Intercept array methods

a.push(4); // intercept array modifications and modify `token.array`
b = a.slice(1); // intercept array slicing and return new token with new `array` field

Checklist

• intercept array modifications (push, pop, splice, sort, shift, unshift, length = ...)
• intercept array slicing

Support ConditionalExpression

a = b ? c : d;

Prevent to changing const

Support UnaryExpression

var a = +1;
var a = +'1';

Support ObjectExpression

c = 2;
d = 'd';
obj = { a: 1, b: c, [d]: { e: 2 } }; // { a: 1, b: 2, d: { e: 2 } }

Checklist

• literal as value
• identifier as value
• object expression as value
• literal as key
• identifier as key
• computed key

Support more Assignment operators

a += 1;
a -= 1;
// etc...

Support multi AssignmentExpression

a = b = c;
a = b.c.d = e;