From a4afa727af7dde39664883a49a6136f24a88f30e Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 10 Jun 2016 09:46:21 -0400 Subject: [PATCH] highlight: can hightlight a full source file (not a specific node) Signed-off-by: Jean Privat --- src/highlight.nit | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/highlight.nit b/src/highlight.nit index 59e5370..75a6a8d 100644 --- a/src/highlight.nit +++ b/src/highlight.nit @@ -131,8 +131,16 @@ class HighlightVisitor return tag end + # Highlight a full lexed source file. + # + # REQUIRE `source.first_token != null` + fun hightlight_source(source: SourceFile) + do + htmlize(source.first_token.as(not null), null) + end + # Produce HTML between two tokens - protected fun htmlize(first_token, last_token: Token) + protected fun htmlize(first_token: Token, last_token: nullable Token) do var stack2 = new Array[HTMLTag] var stack = new Array[Prod] -- 1.7.9.5