Home | All Classes | Grouped Classes | Index | Search
Pushes the current input source position.
void push_position();
Detailed description:
The position can be restored again with pop_position.
See also:
CL_InputSource_File