UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-25 00:30:46 +01:00
Code Issues Packages Projects Releases Wiki Activity

[poincare] Add an assertion in deepReduce/ deepBeautify, this must have

Browse Source 
a parent

Change-Id: Ia23be0c62734811923133793dd5bee0859b64ca8
This commit is contained in:
Émilie Feral
2017-11-06 10:32:38 +01:00
parent f0af91321a
commit b1567cf9f3
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
poincare/src/expression.cpp
View File

@@ -126,18 +126,19 @@ void Expression::Simplify(Expression ** expressionAddress, Context & context, An
angleUnit = Preferences::sharedPreferences()->angleUnit();
}
SimplificationRoot root(*expressionAddress);
root.deepReduce(context, angleUnit);
root.deepBeautify(context, angleUnit);
root.editableOperand(0)->deepReduce(context, angleUnit);
root.editableOperand(0)->deepBeautify(context, angleUnit);
*expressionAddress = root.editableOperand(0);
}
void Expression::Reduce(Expression ** expressionAddress, Context & context, AngleUnit angleUnit) {
SimplificationRoot root(*expressionAddress);
root.deepReduce(context, angleUnit);
root.editableOperand(0)->deepReduce(context, angleUnit);
*expressionAddress = root.editableOperand(0);
}
Expression * Expression::deepReduce(Context & context, AngleUnit angleUnit) {
assert(parent() != nullptr);
for (int i = 0; i < numberOfOperands(); i++) {
if ((editableOperand(i))->deepReduce(context, angleUnit)->type() == Type::Undefined && this->type() != Type::SimplificationRoot) {
return replaceWith(new Undefined(), true);
@@ -147,6 +148,7 @@ Expression * Expression::deepReduce(Context & context, AngleUnit angleUnit) {
}
Expression * Expression::deepBeautify(Context & context, AngleUnit angleUnit) {
assert(parent() != nullptr);
Expression * e = shallowBeautify(context, angleUnit);
for (int i = 0; i < e->numberOfOperands(); i++) {
e->editableOperand(i)->deepBeautify(context, angleUnit);