private fun accept_explain_assert(v: ExplainAssertVisitor)

nitc :: AExpr :: accept_explain_assert

Fill v to explain this node if the parent assert fails

Property definitions

nitc :: explain_assert $ AExpr :: accept_explain_assert 
	# Fill `v` to explain this node if the parent assert fails
	private fun accept_explain_assert(v: ExplainAssertVisitor)
	do if mtype != null then v.explain_expr self
src/frontend/explain_assert.nit:189,2--191,45

nitc :: explain_assert $ ANotExpr :: accept_explain_assert 
	redef fun accept_explain_assert(v)
	do
		v.explain_string "{n_kwnot.text} "
		n_expr.accept_explain_assert v
	end
src/frontend/explain_assert.nit:245,2--249,4

nitc :: explain_assert $ AIsaExpr :: accept_explain_assert 
	redef fun accept_explain_assert(v)
	do
		if n_expr.mtype == null then return

		v.explain_expr n_expr
		v.explain_string " {n_kwisa.text} "
		v.explain_string n_type.collect_text
	end
src/frontend/explain_assert.nit:234,2--241,4

nitc :: explain_assert $ ABinBoolExpr :: accept_explain_assert 
	# Don't explain the conditions using `and`, `or`, etc.
	redef fun accept_explain_assert(v) do end
src/frontend/explain_assert.nit:253,2--254,42

nitc :: explain_assert $ ABinopExpr :: accept_explain_assert 
	redef fun accept_explain_assert(v)
	do
		if n_expr.mtype == null or n_expr2.mtype == null then return

		v.explain_expr n_expr
		v.explain_string " {n_op.text} "
		v.explain_expr n_expr2
	end
src/frontend/explain_assert.nit:195,2--202,4

nitc :: explain_assert $ ACallExpr :: accept_explain_assert 
	redef fun accept_explain_assert(v)
	do
		if n_expr.mtype == null then return

		v.explain_expr n_expr
		v.explain_string ".{n_qid.n_id.text}"

		if n_args.to_a.not_empty then
			v.explain_string "("
			v.explain_args n_args
			v.explain_string ")"
		end
	end
src/frontend/explain_assert.nit:206,2--218,4

nitc :: explain_assert $ ABraExpr :: accept_explain_assert 
	redef fun accept_explain_assert(v)
	do
		if n_expr.mtype == null then return

		v.explain_expr n_expr
		v.explain_string "["
		v.explain_args n_args
		v.explain_string "]"
	end
src/frontend/explain_assert.nit:222,2--230,4
Nit tools. Version .