Commit 0d025439 authored by 0xJMR's avatar 0xJMR
Browse files

Fixes issue with spacing and added missing operator.

parent 36846ccd
Pipeline #61287 passed with stages
in 1 minute and 54 seconds
......@@ -558,6 +558,13 @@ public class MathPrettyPrinter implements AstPrettyPrinter<ASTMathCompilationUni
this.printSpace();
}
@Override
public void revisit(ASTNotEqualsExpression node) {
this.printSpace();
this.printer.print(node.getOperator());
this.printSpace();
}
@Override
public void revisit(ASTGreaterEqualExpression node) {
this.printSpace();
......
......@@ -23,11 +23,16 @@ public class TeXMathPrettyPrinter extends MathPrettyPrinter implements TeXMathSt
@Override
public void visit(ASTElementType node) {
String printedNode = String.format("\\mathbb{%s}\\;", node.getName());
String printedNode = String.format("\\mathbb{%s}", node.getName());
this.printer.print(printedNode);
}
@Override
public void endVisit(ASTElementType node) {
this.printer.print("\\;");
}
@Override
public void revisit(ASTDimension ast) {
this.printSpace();
......@@ -238,6 +243,13 @@ public class TeXMathPrettyPrinter extends MathPrettyPrinter implements TeXMathSt
this.printSpace();
}
@Override
public void revisit(ASTNotEqualsExpression node) {
this.printSpace();
this.printer.print("\\neq");
this.printSpace();
}
@Override
public void visit(ASTMathIfExpression node) { /* NOOP */ }
......@@ -280,4 +292,10 @@ public class TeXMathPrettyPrinter extends MathPrettyPrinter implements TeXMathSt
this.printer.print("\\;");
this.printer.print(node.getName());
}
@Override
public void endVisit(ASTDimension node) {
this.printRightCurlyBracket();
this.printer.print("\\;");
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment