void PN::printForMist(std::ostream& out) {
out << "# File generated by G2Q2P (https://github.com/JulienMe/G2Q2P)" << std::endl;
out << "# " << getHeaderText() << std::endl << std::endl;
printMistVars(out);
printMistRules(out);
printMistInit(out);
printMistTargets(out);
printMistInvariants(out);
}
void FilterDialog::validate()
{
QString
error = "Could not parse %1 regular expression. \n";
error += "Please correct the error or remove the regular expression.\n";
error += "Expression: '%2' \n";
error += "Error: %3 ";
if(!(getEnableRegexp_Context()||getEnableRegexp_Header()||getEnableRegexp_Payload()))
{
emit accept();
return;
}
QRegExp rx;
rx.setPattern(getPayloadText());
if(!rx.isValid()) {
QMessageBox::warning(this, "Warning", error.arg("PAYLOAD").arg(rx.pattern()).arg(rx.errorString()));
return;
}
rx.setPattern(getHeaderText());
if(!rx.isValid()) {
QMessageBox::warning(this, "Warning", error.arg("HEADER").arg(rx.pattern()).arg(rx.errorString()));
return;
}
rx.setPattern(getContextId());
if(!rx.isValid()) {
QMessageBox::warning(this, "Warning", error.arg("CONTEXTID").arg(rx.pattern()).arg(rx.errorString()));
return;
}
emit accept();
}
unsigned getHeaderSize(FileFormatType type)
{
const char * headerText = getHeaderText(type);
return headerText ? strlen(headerText) : 0;
}
