TeXTree

texd.spad line 108 [edit on github]

This domain represents TeX parse tree.

display_math?: % -> Boolean

display_math?(t) returns true if and only if t is a display math node.

display_math: % -> %

diplay_math(t) builds a display math node with content t.

get_call: % -> Record(name: String, args: List %)

get_call(t) extracts name and actual arguments from a macro call node.

get_math: % -> %

get_math(t) extracts content of text or display math node.

get_text: % -> String

get_text(t) extracts text from a node representing text.

group?: % -> Boolean

group(t) returns true if and only if t is a group node.

group: List % -> %

group(l) builds group node from a list l.

m_call?: % -> Boolean

m_call?(t) returns true if and only if t is a macro call node.

m_call: (String, List %) -> %

m_call(s, l) builds macro call node for macro with name s and with actual arguments l.

text?: % -> Boolean

text?(t) returns true if and only if t is a node representing text.

text: String -> %

text(s) builds a node representing text s.

text_math?: % -> Boolean

text_math?(t) returns true if and only if t is a text math node.

text_math: % -> %

text_math(t) builds a text math node with content t.

ungroup: % -> List %

ungroup(t) extracts underlying list from a group node.