@Override
			public String visitErrorNode(ErrorNode node) {
				return "Error encountered: " + node.getSymbol();
			}
This test verifies the basic behavior of visitors, with an emphasis on
{@link AbstractParseTreeVisitor#visitErrorNode}.
runtime-testsuite/test/org/antlr/v4/test/runtime/java/api/TestVisitors.java