Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
guide:start [2026/08/06 10:43] – [Referencing a particular language body] rajitguide:start [2026/08/06 10:44] (current) – [Referencing the languages body] rajit
Line 35: Line 35:
 </code> </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.)) 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 ==== ==== Referencing a particular language body ====