Error with bad assignments

This commit is contained in:
Jordi Baylina
2019-12-04 21:53:39 +01:00
parent aecc28a79b
commit 7181c372d9

View File

@@ -181,24 +181,6 @@ function iterateSelectors(ctx, sizes, baseName, fn) {
return res; return res;
} }
function setScope(ctx, name, selectors, value) {
let l = getScopeLevel(ctx, name);
if (l==-1) l= ctx.scopes.length-1;
if (selectors.length == 0) {
ctx.scopes[l][name] = value;
} else {
setScopeArray(ctx.scopes[l][name], selectors);
}
function setScopeArray(a, sels) {
if (sels.length == 1) {
a[sels[0].value] = value;
} else {
setScopeArray(a[sels[0]], sels.slice(1));
}
}
}
function getScope(ctx, name, selectors) { function getScope(ctx, name, selectors) {
@@ -221,11 +203,57 @@ function getScope(ctx, name, selectors) {
} }
for (let i=ctx.scopes.length-1; i>=0; i--) { for (let i=ctx.scopes.length-1; i>=0; i--) {
if (ctx.scopes[i][name]) return select(ctx.scopes[i][name], sels); if (ctx.scopes[i][name]) return select(ctx.scopes[i][name].value, sels);
} }
return null; return null;
} }
function getScopeRef(ctx, name, selectors) {
const sels = [];
if (selectors) {
for (let i=0; i< selectors.length; i++) {
const idx = exec(ctx, selectors[i]);
if (ctx.error) return;
if (idx.type != "NUMBER") return error(ctx, selectors[i], "expected a number");
sels.push( idx.value.toJSNumber() );
}
}
function select(v, s, t) {
s = s || [];
if (s.length == 0) return [v, sels, t];
return select(v[s[0]], s.slice(1), t);
}
for (let i=ctx.scopes.length-1; i>=0; i--) {
if (ctx.scopes[i][name]) return select(ctx.scopes[i][name].value, sels, ctx.scopes[i][name].type);
}
return [null, [], ""];
}
function setScopeRef(ctx, name, sels, value) {
let l = getScopeLevel(ctx, name);
if (l==-1) l= ctx.scopes.length-1;
if (sels.length == 0) {
ctx.scopes[l][name].value = value;
} else {
setScopeArray(ctx.scopes[l][name].value, sels);
}
function setScopeArray(a, sels) {
if (sels.length == 1) {
a[sels[0]] = value;
} else {
setScopeArray(a[sels[0]], sels.slice(1));
}
}
}
function getScopeLevel(ctx, name) { function getScopeLevel(ctx, name) {
for (let i=ctx.scopes.length-1; i>=0; i--) { for (let i=ctx.scopes.length-1; i>=0; i--) {
if (ctx.scopes[i][name]) return i; if (ctx.scopes[i][name]) return i;
@@ -249,11 +277,14 @@ function execTemplateDef(ctx, ast) {
} }
scope[ast.name] = { scope[ast.name] = {
type: "TEMPLATE", type: "TEMPLATE",
params: ast.params, value: {
block: ast.block, type: "TEMPLATE",
fileName: ctx.fileName, params: ast.params,
filePath: ctx.filePath, block: ast.block,
scopes: copyScope(ctx.scopes) fileName: ctx.fileName,
filePath: ctx.filePath,
scopes: copyScope(ctx.scopes)
}
}; };
} }
@@ -266,11 +297,14 @@ function execFunctionDef(ctx, ast) {
ctx.functionParams[ast.name] = ast.params; ctx.functionParams[ast.name] = ast.params;
scope[ast.name] = { scope[ast.name] = {
type: "FUNCTION", type: "FUNCTION",
params: ast.params, value: {
block: ast.block, type: "FUNCTION",
fileName: ctx.fileName, params: ast.params,
filePath: ctx.filePath, block: ast.block,
scopes: copyScope(ctx.scopes) fileName: ctx.fileName,
filePath: ctx.filePath,
scopes: copyScope(ctx.scopes)
}
}; };
} }
@@ -294,15 +328,18 @@ function execDeclareComponent(ctx, ast) {
} }
scope[ast.name.name] = iterateSelectors(ctx, sizes, baseName, function(fullName) { scope[ast.name.name] = {
type: "COMPONENT",
value: iterateSelectors(ctx, sizes, baseName, function(fullName) {
ctx.components[fullName] = "UNINSTANTIATED"; ctx.components[fullName] = "UNINSTANTIATED";
return { return {
type: "COMPONENT", type: "COMPONENT",
fullName: fullName fullName: fullName
}; };
}); })
};
return { return {
type: "VARIABLE", type: "VARIABLE",
@@ -378,7 +415,10 @@ function execInstantiateComponet(ctx, vr, fn) {
const scope = {}; const scope = {};
for (let i=0; i< template.params.length; i++) { for (let i=0; i< template.params.length; i++) {
scope[template.params[i]] = paramValues[i]; scope[template.params[i]] = {
type: "VARIABLE",
value: paramValues[i]
};
ctx.components[ctx.currentComponent].params[template.params[i]] = extractValue(paramValues[i]); ctx.components[ctx.currentComponent].params[template.params[i]] = extractValue(paramValues[i]);
} }
@@ -430,7 +470,10 @@ function execFunctionCall(ctx, ast) {
const scope = {}; const scope = {};
for (let i=0; i< fnc.params.length; i++) { for (let i=0; i< fnc.params.length; i++) {
scope[fnc.params[i]] = paramValues[i]; scope[fnc.params[i]] = {
type: "VARIABLE",
value: paramValues[i]
};
} }
ctx.fileName = fnc.fileName; ctx.fileName = fnc.fileName;
@@ -472,21 +515,24 @@ function execDeclareSignal(ctx, ast) {
sizes.push( size.value.toJSNumber() ); sizes.push( size.value.toJSNumber() );
} }
scope[ast.name.name] = iterateSelectors(ctx, sizes, baseName, function(fullName) { scope[ast.name.name] = {
ctx.signals[fullName] = { type: "SIGNAL",
fullName: fullName, value: iterateSelectors(ctx, sizes, baseName, function(fullName) {
direction: ast.declareType == "SIGNALIN" ? "IN" : (ast.declareType == "SIGNALOUT" ? "OUT" : ""), ctx.signals[fullName] = {
private: ast.private, fullName: fullName,
component: ctx.currentComponent, direction: ast.declareType == "SIGNALIN" ? "IN" : (ast.declareType == "SIGNALOUT" ? "OUT" : ""),
equivalence: "", private: ast.private,
alias: [fullName] component: ctx.currentComponent,
}; equivalence: "",
ctx.components[ctx.currentComponent].signals.push(fullName); alias: [fullName]
return { };
type: "SIGNAL", ctx.components[ctx.currentComponent].signals.push(fullName);
fullName: fullName, return {
}; type: "SIGNAL",
}); fullName: fullName,
};
})
};
return { return {
type: "VARIABLE", type: "VARIABLE",
name: ast.name.name, name: ast.name.name,
@@ -509,12 +555,15 @@ function execDeclareVariable(ctx, ast) {
sizes.push( size.value.toJSNumber() ); sizes.push( size.value.toJSNumber() );
} }
scope[ast.name.name] = iterateSelectors(ctx, sizes, "", function() { scope[ast.name.name] = {
return { type: "VARIABLE",
type: "NUMBER", value: iterateSelectors(ctx, sizes, "", function() {
value: bigInt(0) return {
}; type: "NUMBER",
}); value: bigInt(0)
};
})
};
return { return {
type: "VARIABLE", type: "VARIABLE",
@@ -631,21 +680,20 @@ function execVarAssignement(ctx, ast) {
} else { } else {
v = ast.values[0]; v = ast.values[0];
} }
const num = getScope(ctx, v.name, v.selectors); const [num, sels, typ] = getScopeRef(ctx, v.name, v.selectors);
if (ctx.error) return; if (ctx.error) return;
if ((typeof(num) != "object")||(num == null)) return error(ctx, ast, "Variable not defined"); if ((typeof(num) != "object")||(num == null)) return error(ctx, ast, "Variable not defined");
if (num.type == "COMPONENT") return execInstantiateComponet(ctx, v, ast.values[1]); if (typ == "COMPONENT") return execInstantiateComponet(ctx, v, ast.values[1]);
if (ctx.error) return; if (ctx.error) return;
if ((num.type == "SIGNAL")&&(ast.op == "=")) return error(ctx, ast, "Cannot assign to a signal with `=` use <-- or <== ops"); if ((typ == "SIGNAL")&&(ast.op == "=")) return error(ctx, ast, "Cannot assign to a signal with `=` use <-- or <== ops");
if ((["NUMBER", "COMPONENT"].indexOf(num.type) >= 0 )&&(ast.op != "=")) return error(ctx, ast, `Cannot assign to a var with ${ast.op}. use = op`); if ((["NUMBER", "COMPONENT"].indexOf(typ) >= 0 )&&(ast.op != "=")) return error(ctx, ast, `Cannot assign to a var with ${ast.op}. use = op`);
const res = exec(ctx, ast.values[1]); const res = exec(ctx, ast.values[1]);
if (ctx.error) return; if (ctx.error) return;
Object.assign(num, res); setScopeRef(ctx, v.name, sels, res);
// setScope(ctx, v.name, v.selectors, res);
return v; return v;
} }