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

Clean-up.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-04 15:06:04 +02:00
parent feedb95295
commit 60c072a2b3
2 changed files with 6 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
include/plasp/pddl/expressions/Type.h
View File

@ -20,8 +20,8 @@ namespace expressions
//
////////////////////////////////////////////////////////////////////////////////////////////////////
ExpressionPointer parseExistingPrimitiveType(utils::Parser &parser, Context &context, const Variables &parameters);
//ExpressionPointer parseExistingType(utils::Parser &parser, Context &context, const Variables &parameters);
ExpressionPointer parseExistingPrimitiveType(utils::Parser &parser, Context &context,
const Variables &parameters);
////////////////////////////////////////////////////////////////////////////////////////////////////

23
src/plasp/pddl/expressions/Type.cpp
View File

@ -16,31 +16,16 @@ namespace expressions
//
////////////////////////////////////////////////////////////////////////////////////////////////////
ExpressionPointer parseExistingPrimitiveType(utils::Parser &parser, Context &context, const Variables &parameters)
ExpressionPointer parseExistingPrimitiveType(utils::Parser &parser, Context &context,
const Variables &parameters)
{
auto reference = std::make_unique<Reference<PrimitiveType>>(PrimitiveType::parseExisting(parser, context));
auto primitiveType = PrimitiveType::parseExisting(parser, context);
return reference;
return std::make_unique<Reference<PrimitiveType>>(primitiveType);
}
////////////////////////////////////////////////////////////////////////////////////////////////////
/*ExpressionPointer parseExistingType(utils::Parser &parser, Context &context, const Variables &parameters)
{
parser.skipWhiteSpace();
// Parse either type (always begins with opening parenthesis)
if (parser.currentCharacter() == '(')
return Either::parse(parser, context, parameters, parseExistingPrimitiveType);
// Parse primitive type
auto type = std::make_unique<Reference<PrimitiveType>>(PrimitiveType::parseExisting(parser, context));
return type;
}*/
////////////////////////////////////////////////////////////////////////////////////////////////////
}
}
}