public final class SmvCounterexampleParser
extends java.lang.Object
Test
object.Constructor and Description |
---|
SmvCounterexampleParser()
Constructs a new parser object.
|
Modifier and Type | Method and Description |
---|---|
EventList |
getEventList()
Returns the
EventList associated with the parser. |
Test |
parseCounterexamples(java.lang.String fileName)
Parses a file for counterexamples.
|
protected void |
parseLine(java.lang.String line)
Parses the specified file line.
|
void |
setEventList(EventList events)
Associates the specified
EventList with the parser. |
void |
setSignalInterface(CfgInterface iface)
Sets the interface which would be used during parsing.
|
public SmvCounterexampleParser()
public void setSignalInterface(CfgInterface iface)
iface
- - the specified interface.public Test parseCounterexamples(java.lang.String fileName)
fileName
- - the specified log file name.Test
object extracted from the file.protected void parseLine(java.lang.String line)
line
- - the specified line.public EventList getEventList()
EventList
associated with the parser.EventList
.