Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reorg parser module #1896

Merged
merged 1 commit into from
Aug 6, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/binder/bind/bind_create_macro.cpp
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#include "binder/binder.h"
#include "binder/macro/bound_create_macro.h"
#include "common/string_utils.h"
#include "parser/macro/create_macro.h"
#include "parser/create_macro.h"

namespace kuzu {
namespace binder {
Expand Down
2 changes: 1 addition & 1 deletion src/binder/bind/bind_standalone_call.cpp
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#include "binder/binder.h"
#include "binder/call/bound_standalone_call.h"
#include "parser/call/standalone_call.h"
#include "parser/standalone_call.h"

namespace kuzu {
namespace binder {
Expand Down
2 changes: 1 addition & 1 deletion src/include/function/scalar_macro_function.h
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

#include <unordered_map>

#include "parser/macro/create_macro.h"
#include "parser/create_macro.h"

namespace kuzu {
namespace function {
Expand Down
1 change: 1 addition & 0 deletions src/include/parser/copy.h
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
#include <string>
#include <unordered_map>

#include "common/copier_config/copier_config.h"
#include "parser/expression/parsed_expression.h"
#include "parser/query/regular_query.h"
#include "parser/statement.h"
Expand Down
17 changes: 14 additions & 3 deletions src/include/parser/transformer.h
Original file line number Diff line number Diff line change
@@ -1,13 +1,24 @@
#pragma once

#include "cypher_parser.h"
#include "parser/macro/create_macro.h"
#include "parser/query/graph_pattern/pattern_element.h"
#include "parser/query/regular_query.h"
#include "expression/parsed_expression.h"
#include "statement.h"

namespace kuzu {
namespace parser {

class RegularQuery;
class SingleQuery;
class QueryPart;
class UpdatingClause;
class ReadingClause;
class WithClause;
class ReturnClause;
class ProjectionBody;
class PatternElement;
class NodePattern;
class PatternElementChain;
class RelPattern;
struct ParsedCaseAlternative;

class Transformer {
Expand Down
3 changes: 2 additions & 1 deletion src/parser/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
add_subdirectory(antlr_parser)
add_subdirectory(expression)
add_subdirectory(query)
add_subdirectory(macro)
add_subdirectory(transform)

add_library(kuzu_parser
OBJECT
create_macro.cpp
parser.cpp
transformer.cpp
parsed_expression_visitor.cpp)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#include "parser/macro/create_macro.h"
#include "parser/create_macro.h"

namespace kuzu {
namespace parser {
Expand Down
7 changes: 0 additions & 7 deletions src/parser/macro/CMakeLists.txt

This file was deleted.

16 changes: 16 additions & 0 deletions src/parser/transform/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
add_library(kuzu_parser_transform
OBJECT
transform_copy.cpp
transform_ddl.cpp
transform_expression.cpp
transform_graph_pattern.cpp
transform_macro.cpp
transform_projection.cpp
transform_query.cpp
transform_reading_clause.cpp
transform_standalone_call.cpp
transform_updating_clause.cpp)

set(ALL_OBJECT_FILES
${ALL_OBJECT_FILES} $<TARGET_OBJECTS:kuzu_parser_transform>
PARENT_SCOPE)
53 changes: 53 additions & 0 deletions src/parser/transform/transform_copy.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
#include "parser/copy.h"
#include "parser/transformer.h"

namespace kuzu {
namespace parser {

std::unique_ptr<Statement> Transformer::transformCopyTo(CypherParser::KU_CopyTOContext& ctx) {
std::string filePath = transformStringLiteral(*ctx.StringLiteral());
auto regularQuery = transformQuery(*ctx.oC_Query());
return std::make_unique<CopyTo>(std::move(filePath), std::move(regularQuery));
}

std::unique_ptr<Statement> Transformer::transformCopyFromCSV(
CypherParser::KU_CopyFromCSVContext& ctx) {
auto filePaths = transformFilePaths(ctx.kU_FilePaths()->StringLiteral());
auto tableName = transformSchemaName(*ctx.oC_SchemaName());
auto parsingOptions = ctx.kU_ParsingOptions() ?
transformParsingOptions(*ctx.kU_ParsingOptions()) :
std::unordered_map<std::string, std::unique_ptr<ParsedExpression>>();
return std::make_unique<CopyFrom>(std::move(filePaths), std::move(tableName),
std::move(parsingOptions), common::CopyDescription::FileType::UNKNOWN);
}

std::unique_ptr<Statement> Transformer::transformCopyFromNPY(
CypherParser::KU_CopyFromNPYContext& ctx) {
auto filePaths = transformFilePaths(ctx.StringLiteral());
auto tableName = transformSchemaName(*ctx.oC_SchemaName());
auto parsingOptions = std::unordered_map<std::string, std::unique_ptr<ParsedExpression>>();
return std::make_unique<CopyFrom>(std::move(filePaths), std::move(tableName),
std::move(parsingOptions), common::CopyDescription::FileType::NPY);
}

std::vector<std::string> Transformer::transformFilePaths(
std::vector<antlr4::tree::TerminalNode*> stringLiteral) {
std::vector<std::string> csvFiles;
for (auto& csvFile : stringLiteral) {
csvFiles.push_back(transformStringLiteral(*csvFile));
}
return csvFiles;
}

Check warning on line 40 in src/parser/transform/transform_copy.cpp

View check run for this annotation

Codecov / codecov/patch

src/parser/transform/transform_copy.cpp#L40

Added line #L40 was not covered by tests

std::unordered_map<std::string, std::unique_ptr<ParsedExpression>>
Transformer::transformParsingOptions(CypherParser::KU_ParsingOptionsContext& ctx) {
std::unordered_map<std::string, std::unique_ptr<ParsedExpression>> copyOptions;
for (auto loadOption : ctx.kU_ParsingOption()) {
auto optionName = transformSymbolicName(*loadOption->oC_SymbolicName());
copyOptions.emplace(optionName, transformLiteral(*loadOption->oC_Literal()));
}
return copyOptions;
}

} // namespace parser
} // namespace kuzu
118 changes: 118 additions & 0 deletions src/parser/transform/transform_ddl.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,118 @@
#include "parser/ddl/add_property.h"
#include "parser/ddl/create_node_clause.h"
#include "parser/ddl/create_rel_clause.h"
#include "parser/ddl/drop_property.h"
#include "parser/ddl/drop_table.h"
#include "parser/ddl/rename_property.h"
#include "parser/ddl/rename_table.h"
#include "parser/expression/parsed_literal_expression.h"
#include "parser/transformer.h"

namespace kuzu {
namespace parser {

std::unique_ptr<Statement> Transformer::transformDDL(CypherParser::KU_DDLContext& ctx) {
if (ctx.kU_CreateNode()) {
return transformCreateNodeClause(*ctx.kU_CreateNode());
} else if (root.oC_Statement()->kU_DDL()->kU_CreateRel()) {
return transformCreateRelClause(*root.oC_Statement()->kU_DDL()->kU_CreateRel());
} else if (root.oC_Statement()->kU_DDL()->kU_DropTable()) {
return transformDropTable(*root.oC_Statement()->kU_DDL()->kU_DropTable());
} else {
return transformAlterTable(*root.oC_Statement()->kU_DDL()->kU_AlterTable());
}
}

std::unique_ptr<Statement> Transformer::transformAlterTable(
CypherParser::KU_AlterTableContext& ctx) {
if (ctx.kU_AlterOptions()->kU_AddProperty()) {
return transformAddProperty(ctx);
} else if (ctx.kU_AlterOptions()->kU_DropProperty()) {
return transformDropProperty(ctx);
} else if (ctx.kU_AlterOptions()->kU_RenameTable()) {
return transformRenameTable(ctx);
} else {
return transformRenameProperty(ctx);
}
}

std::unique_ptr<Statement> Transformer::transformCreateNodeClause(
CypherParser::KU_CreateNodeContext& ctx) {
auto schemaName = transformSchemaName(*ctx.oC_SchemaName());
auto propertyDefinitions = transformPropertyDefinitions(*ctx.kU_PropertyDefinitions());
auto pkColName =
ctx.kU_CreateNodeConstraint() ? transformPrimaryKey(*ctx.kU_CreateNodeConstraint()) : "";
return std::make_unique<CreateNodeTableClause>(
std::move(schemaName), std::move(propertyDefinitions), pkColName);
}

std::unique_ptr<Statement> Transformer::transformCreateRelClause(
CypherParser::KU_CreateRelContext& ctx) {
auto schemaName = transformSchemaName(*ctx.oC_SchemaName(0));
auto propertyDefinitions = ctx.kU_PropertyDefinitions() ?
transformPropertyDefinitions(*ctx.kU_PropertyDefinitions()) :
std::vector<std::pair<std::string, std::string>>();
auto relMultiplicity =
ctx.oC_SymbolicName() ? transformSymbolicName(*ctx.oC_SymbolicName()) : "MANY_MANY";
return make_unique<CreateRelClause>(std::move(schemaName), std::move(propertyDefinitions),
relMultiplicity, transformSchemaName(*ctx.oC_SchemaName(1)),
transformSchemaName(*ctx.oC_SchemaName(2)));
}

std::unique_ptr<Statement> Transformer::transformDropTable(CypherParser::KU_DropTableContext& ctx) {
return std::make_unique<DropTable>(transformSchemaName(*ctx.oC_SchemaName()));
}

std::unique_ptr<Statement> Transformer::transformRenameTable(
CypherParser::KU_AlterTableContext& ctx) {
return std::make_unique<RenameTable>(transformSchemaName(*ctx.oC_SchemaName()),
transformSchemaName(*ctx.kU_AlterOptions()->kU_RenameTable()->oC_SchemaName()));
}

std::unique_ptr<Statement> Transformer::transformAddProperty(
CypherParser::KU_AlterTableContext& ctx) {
return std::make_unique<AddProperty>(transformSchemaName(*ctx.oC_SchemaName()),
transformPropertyKeyName(*ctx.kU_AlterOptions()->kU_AddProperty()->oC_PropertyKeyName()),
transformDataType(*ctx.kU_AlterOptions()->kU_AddProperty()->kU_DataType()),
ctx.kU_AlterOptions()->kU_AddProperty()->oC_Expression() ?
transformExpression(*ctx.kU_AlterOptions()->kU_AddProperty()->oC_Expression()) :
std::make_unique<ParsedLiteralExpression>(
std::make_unique<common::Value>(common::Value::createNullValue()), "NULL"));
}

std::unique_ptr<Statement> Transformer::transformDropProperty(
CypherParser::KU_AlterTableContext& ctx) {
return std::make_unique<DropProperty>(transformSchemaName(*ctx.oC_SchemaName()),
transformPropertyKeyName(*ctx.kU_AlterOptions()->kU_DropProperty()->oC_PropertyKeyName()));
}

std::unique_ptr<Statement> Transformer::transformRenameProperty(
CypherParser::KU_AlterTableContext& ctx) {
return std::make_unique<RenameProperty>(transformSchemaName(*ctx.oC_SchemaName()),
transformPropertyKeyName(
*ctx.kU_AlterOptions()->kU_RenameProperty()->oC_PropertyKeyName()[0]),
transformPropertyKeyName(
*ctx.kU_AlterOptions()->kU_RenameProperty()->oC_PropertyKeyName()[1]));
}

std::vector<std::pair<std::string, std::string>> Transformer::transformPropertyDefinitions(
CypherParser::KU_PropertyDefinitionsContext& ctx) {
std::vector<std::pair<std::string, std::string>> propertyNameDataTypes;
for (auto property : ctx.kU_PropertyDefinition()) {
propertyNameDataTypes.emplace_back(
transformPropertyKeyName(*property->oC_PropertyKeyName()),
transformDataType(*property->kU_DataType()));
}
return propertyNameDataTypes;
}

Check warning on line 107 in src/parser/transform/transform_ddl.cpp

View check run for this annotation

Codecov / codecov/patch

src/parser/transform/transform_ddl.cpp#L107

Added line #L107 was not covered by tests

std::string Transformer::transformDataType(CypherParser::KU_DataTypeContext& ctx) {
return ctx.getText();
}

std::string Transformer::transformPrimaryKey(CypherParser::KU_CreateNodeConstraintContext& ctx) {
return transformPropertyKeyName(*ctx.oC_PropertyKeyName());
}

} // namespace parser
} // namespace kuzu
Loading
Loading