public class SmvSpecificationParser
extends java.lang.Object
Constructor and Description |
---|
SmvSpecificationParser()
Constructs a new parser.
|
Modifier and Type | Method and Description |
---|---|
int |
getOverallSpecs()
Returns the total number of specifications.
|
void |
parseLine(java.lang.String line)
Parses the specified file line.
|
void |
parseSpecifications(java.lang.String fileName)
Parses a file for specification statistics.
|
public void parseSpecifications(java.lang.String fileName)
fileName
- - the specified file name.public void parseLine(java.lang.String line)
line
- - the specified line.public int getOverallSpecs()