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:
- plugins/datamodel/promela/PromelaParser.h
Public Attributes | |
int | firstCol |
int | firstLine |
int | lastCol |
int | lastLine |