patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Fixed incorrect language detection with legacy “in-package” directives.

Browse Source
This commit is contained in:
Patrick Lühne
2017-06-20 03:01:20 +02:00
parent 178a55d29e
commit 19f2ad19b0
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
include/plasp/LanguageDetection.h
View File

@@ -32,8 +32,10 @@ Language::Type detectLanguage(tokenize::Tokenizer<tokenize::CaseInsensitiveToken
tokenizer.skipWhiteSpace(); tokenizer.skipWhiteSpace();
} }
// PDDL contains sections starting with "(define" // PDDL contains sections starting with “(define”
if (tokenizer.testAndSkip<std::string>("(") && tokenizer.testAndSkip<std::string>("define")) // Some legacy domains contain “in-package” sections, however
if (tokenizer.testAndSkip<std::string>("(")
&& (tokenizer.testAndSkip<std::string>("define") || tokenizer.testAndSkip<std::string>("in-package")))
{ {
tokenizer.seek(std::ios::beg); tokenizer.seek(std::ios::beg);
return Language::Type::PDDL; return Language::Type::PDDL;