uscxml::PromelaParserNode::Location Struct Reference

Public Attributes

int firstCol
 
int firstLine
 
int lastCol
 
int lastLine
 

The documentation for this struct was generated from the following file: