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; }