TikzExport

Description

Facilities for exporting ASTs to Tikz code as a String. We use this export to generate the AST figure in the paper (Figure 5).

Synopsis

astToTikzWithTraceDefault :: (Eq a, Show a, Grammar g) => Version g a -> String
featuresToTikzClass :: FeatureFormula -> String
astToTikzWithTrace :: (AST g a -> String) -> (AST g a -> Node g a -> FeatureTrace g a -> String) -> Version g a -> String
astToTikz :: (AST g a -> String) -> (AST g a -> String) -> AST g a -> String
astToTikzRecursive :: Int -> (AST g a -> String) -> (AST g a -> String) -> AST g a -> String
tikzifyName :: String -> String

Documentation

Default implementation to export an AST with feature traces. The returned String is the tikz code that can be copied to a tex document.

astToTikzWithTrace :: (AST g a -> String) -> (AST g a -> Node g a -> FeatureTrace g a -> String) -> Version g a -> String Source #

astToTikz :: (AST g a -> String) -> (AST g a -> String) -> AST g a -> String Source #

astToTikzRecursive :: Int -> (AST g a -> String) -> (AST g a -> String) -> AST g a -> String Source #

tikzifyName :: String -> String Source #

Converts a string to a valid string inside tikz (e.g., escaping certaing characters such as _).