diff options
| author | Andrei Aiordachioaie <a.aiordachioaie@jacobs-university.de> | 2009-07-07 11:13:40 +0200 |
|---|---|---|
| committer | Andrei Aiordachioaie <a.aiordachioaie@jacobs-university.de> | 2009-07-07 11:13:40 +0200 |
| commit | 6ed94292898ce9efe4d1547329250f829d4e5c2d (patch) | |
| tree | 63b7103acb7bed37c5a3c4330ae7ef08482305a6 /src/grammar/CoverageExpr.java | |
| parent | 27c4db2703ae90dfeaaa82d058c49f403607c05c (diff) | |
Fixed annoyance about time axis domain
Diffstat (limited to 'src/grammar/CoverageExpr.java')
| -rw-r--r-- | src/grammar/CoverageExpr.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grammar/CoverageExpr.java b/src/grammar/CoverageExpr.java index 695411c..ed8f96d 100644 --- a/src/grammar/CoverageExpr.java +++ b/src/grammar/CoverageExpr.java @@ -81,6 +81,10 @@ public class CoverageExpr implements IParseTreeNode else if (function.equals("unaryOp"))
{
formatOperation();
+ if (op.equals("plus"))
+ op = "unaryPlus";
+ if (op.equals("minus"))
+ op = "unaryMinus";
result = "<" + op + ">" + expr.toXML() + "</" + op + ">";
}
else if (function.equals("child"))
|