(final Simplify mode, final CompileContext cc)
| 129 | } |
| 130 | |
| 131 | @Override |
| 132 | public Expr simplifyFor(final Simplify mode, final CompileContext cc) throws QueryException { |
| 133 | Expr expr = this; |
| 134 | if(mode.oneOf(Simplify.EBV, Simplify.PREDICATE)) { |
| 135 | for(final Expr ex : exprs) { |
| 136 | // boolean(a union <a/>) → boolean(true()) |
| 137 | if(ex.seqType().instanceOf(Types.GNODE_OM) && !expr.has(Flag.NDT)) expr = Bln.TRUE; |
| 138 | } |
| 139 | } |
| 140 | return cc.simplify(this, expr, mode); |
| 141 | } |
| 142 | |
| 143 | @Override |
| 144 | public Expr copy(final CompileContext cc, final IntObjectMap<Var> vm) { |
nothing calls this directly
no test coverage detected