Differences

This shows you the differences between two versions of the page.

--- guide:start [2023/04/21 17:42] – [The statement list data structure] rajit
+++ guide:start [2026/08/06 10:44] (current) – [Referencing the languages body] rajit
@@ Line 35: / Line 35: @@
 </code>
 This provides access to all the sub-languages specified within the process.((The refinement body is processed by the expansion phase, and hence the expanded process will contains the appropriate sub-language bodies after taking the specified number of refinement steps into account. This is why ''-ref=k'' is an ACT command-line option.))
+The ''lang'' pointer can be NULL if there is no sub-language of any kind specified within a process.
 ==== Referencing a particular language body ====
 A language body can be accessed from the languages pointer. For example, for the chp body:
-<code>
+<code c++>
 act_chp *chp;
 chp = lang->getchp();