File renaming

souffle-lang · Jul 28, 2020 · 285408b · 285408b
1 parent 96d763f
commit 285408b
Show file tree

Hide file tree

Showing 21 changed files with 88 additions and 88 deletions.
diff --git a/src/ast/AstAbstract.h → src/ast/Abstract.h b/src/ast/AstAbstract.h → src/ast/Abstract.h
@@ -8,15 +8,15 @@
 
 /************************************************************************
  *
- * @file AstAbstract.h
+ * @file Abstract.h
  *
  * Abstract class definitions for AST nodes
  *
  ***********************************************************************/
 
 #pragma once
 
-#include "ast/AstNode.h"
+#include "ast/Node.h"
 
 namespace souffle {
 

diff --git a/src/ast/AstArgument.h → src/ast/Argument.h b/src/ast/AstArgument.h → src/ast/Argument.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstArgument.h
+ * @file Argument.h
  *
  * Define the classes Argument, Variable, and Constant to represent
  * variables and constants in literals. Variable and Constant are
@@ -22,9 +22,9 @@
 #include "FunctorOps.h"
 #include "RamTypes.h"
 #include "SrcLocation.h"
-#include "ast/AstAbstract.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Abstract.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/AstAttribute.h → src/ast/Attribute.h b/src/ast/AstAttribute.h → src/ast/Attribute.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstAttribute.h
+ * @file Attribute.h
  *
  * Defines an attribute for a relation
  *
@@ -17,8 +17,8 @@
 #pragma once
 
 #include "SrcLocation.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include <ostream>
 #include <string>
 #include <utility>

diff --git a/src/ast/AstClause.h → src/ast/Clause.h b/src/ast/AstClause.h → src/ast/Clause.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstClause.h
+ * @file Clause.h
  *
  * Defines AST Clauses
  *
@@ -17,9 +17,9 @@
 #pragma once
 
 #include "SrcLocation.h"
-#include "ast/AstAbstract.h"
-#include "ast/AstLiteral.h"
-#include "ast/AstNode.h"
+#include "ast/Abstract.h"
+#include "ast/Literal.h"
+#include "ast/Node.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/AstComponent.h → src/ast/Component.h b/src/ast/AstComponent.h → src/ast/Component.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstComponent.h
+ * @file Component.h
  *
  * Defines the class utilized to model a component within the input program.
  *
@@ -17,12 +17,12 @@
 #pragma once
 
 #include "SrcLocation.h"
-#include "ast/AstClause.h"
-#include "ast/AstIO.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
-#include "ast/AstRelation.h"
-#include "ast/AstType.h"
+#include "ast/Clause.h"
+#include "ast/IO.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
+#include "ast/Relation.h"
+#include "ast/Type.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/AstFunctorDeclaration.h → src/ast/FunctorDeclaration.h b/src/ast/AstFunctorDeclaration.h → src/ast/FunctorDeclaration.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstFunctorDeclaration.h
+ * @file FunctorDeclaration.h
  *
  * Defines external functors.
  *
@@ -18,7 +18,7 @@
 
 #include "RamTypes.h"
 #include "SrcLocation.h"
-#include "ast/AstNode.h"
+#include "ast/Node.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"
 #include "utility/tinyformat.h"

diff --git a/src/ast/AstIO.h → src/ast/IO.h b/src/ast/AstIO.h → src/ast/IO.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstIO.h
+ * @file IO.h
  *
  * Define the classes representing IO operations.
  *
@@ -17,8 +17,8 @@
 #pragma once
 
 #include "SrcLocation.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"
 #include <map>

diff --git a/src/ast/AstLiteral.h → src/ast/Literal.h b/src/ast/AstLiteral.h → src/ast/Literal.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstLiteral.h
+ * @file Literal.h
  *
  * Define classes for Literals and its subclasses atoms, negated atoms,
  * and binary relations.
@@ -19,9 +19,9 @@
 
 #include "BinaryConstraintOps.h"
 #include "SrcLocation.h"
-#include "ast/AstAbstract.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Abstract.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/AstNode.h → src/ast/Node.h b/src/ast/AstNode.h → src/ast/Node.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstNode.h
+ * @file Node.h
  *
  * Abstract class definitions for AST nodes
  *

diff --git a/src/ast/AstParserUtils.cpp → src/ast/ParserUtils.cpp b/src/ast/AstParserUtils.cpp → src/ast/ParserUtils.cpp
@@ -8,17 +8,17 @@
 
 /************************************************************************
  *
- * @file AstParserUtils.cpp
+ * @file ParserUtils.cpp
  *
  * Defines class RuleBody to represents rule bodies.
  *
  ***********************************************************************/
 
-#include "ast/AstParserUtils.h"
-#include "ast/AstClause.h"
-#include "ast/AstLiteral.h"
-#include "ast/AstNode.h"
-#include "ast/AstUtils.h"
+#include "ast/ParserUtils.h"
+#include "ast/Clause.h"
+#include "ast/Literal.h"
+#include "ast/Node.h"
+#include "ast/Utils.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/AstParserUtils.h → src/ast/ParserUtils.h b/src/ast/AstParserUtils.h → src/ast/ParserUtils.h
@@ -8,15 +8,15 @@
 
 /************************************************************************
  *
- * @file AstParserUtils.h
+ * @file ParserUtils.h
  *
  * Defines class RuleBody to represents rule bodies.
  *
  ***********************************************************************/
 
 #pragma once
 
-#include "ast/AstAbstract.h"
+#include "ast/Abstract.h"
 #include "utility/MiscUtil.h"
 #include <iosfwd>
 #include <memory>

diff --git a/src/ast/AstPragma.h → src/ast/Pragma.h b/src/ast/AstPragma.h → src/ast/Pragma.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstPragma.h
+ * @file Pragma.h
  *
  * Define the class AstPragma to update global options based on parameter.
  *
@@ -17,7 +17,7 @@
 #pragma once
 
 #include "SrcLocation.h"
-#include "ast/AstNode.h"
+#include "ast/Node.h"
 #include <ostream>
 #include <string>
 #include <utility>

diff --git a/src/ast/AstProgram.h → src/ast/Program.h b/src/ast/AstProgram.h → src/ast/Program.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstProgram.h
+ * @file Program.h
  *
  * Define a class that represents a Datalog program consisting of types,
  * relations, and clauses.
@@ -17,16 +17,16 @@
 
 #pragma once
 
-#include "ast/AstClause.h"
-#include "ast/AstComponent.h"
-#include "ast/AstFunctorDeclaration.h"
-#include "ast/AstIO.h"
-#include "ast/AstNode.h"
-#include "ast/AstPragma.h"
-#include "ast/AstQualifiedName.h"
-#include "ast/AstRelation.h"
-#include "ast/AstType.h"
-#include "ast/AstUtils.h"
+#include "ast/Clause.h"
+#include "ast/Component.h"
+#include "ast/FunctorDeclaration.h"
+#include "ast/IO.h"
+#include "ast/Node.h"
+#include "ast/Pragma.h"
+#include "ast/QualifiedName.h"
+#include "ast/Relation.h"
+#include "ast/Type.h"
+#include "ast/Utils.h"
 #include "utility/ContainerUtil.h"
 #include "utility/StreamUtil.h"
 #include <algorithm>

diff --git a/src/ast/AstQualifiedName.h → src/ast/QualifiedName.h b/src/ast/AstQualifiedName.h → src/ast/QualifiedName.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstQualifiedName.h
+ * @file QualifiedName.h
  *
  * Defines qualified names so that objects in components (types,
  * relations, etc.) can be accessed via either a fully/partially

diff --git a/src/ast/AstRelation.h → src/ast/Relation.h b/src/ast/AstRelation.h → src/ast/Relation.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstRelation.h
+ * @file Relation.h
  *
  * Defines class Relation that represents relations in a Datalog program.
  * A relation can either be an IDB or EDB relation.
@@ -19,9 +19,9 @@
 
 #include "RelationTag.h"
 #include "SrcLocation.h"
-#include "ast/AstAttribute.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Attribute.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include "utility/ContainerUtil.h"
 #include "utility/StreamUtil.h"
 #include <algorithm>

diff --git a/src/ast/AstTranslationUnit.h → src/ast/TranslationUnit.h b/src/ast/AstTranslationUnit.h → src/ast/TranslationUnit.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstTranslationUnit.h
+ * @file TranslationUnit.h
  *
  * Define AST translation unit class consisting of
  * an symbol table, AST program, error reports, and
@@ -20,7 +20,7 @@
 
 #include "DebugReport.h"
 #include "Global.h"
-#include "ast/AstProgram.h"
+#include "ast/Program.h"
 #include "ast/analysis/AstAnalysis.h"
 #include "ast/analysis/RecursiveClauses.h"
 #include "ast/analysis/SCCGraph.h"

diff --git a/src/ast/AstType.h → src/ast/Type.h b/src/ast/AstType.h → src/ast/Type.h
@@ -8,7 +8,7 @@
 
 /************************************************************************
  *
- * @file AstType.h
+ * @file Type.h
  *
  * Defines a type, i.e., disjoint supersets of the universe
  *
@@ -18,9 +18,9 @@
 
 #include "RamTypes.h"
 #include "SrcLocation.h"
-#include "ast/AstAttribute.h"
-#include "ast/AstNode.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/Attribute.h"
+#include "ast/Node.h"
+#include "ast/QualifiedName.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"
 #include "utility/StreamUtil.h"

diff --git a/src/ast/TypeSystem.h b/src/ast/TypeSystem.h
@@ -17,7 +17,7 @@
 #pragma once
 
 #include "RamTypes.h"
-#include "ast/AstQualifiedName.h"
+#include "ast/QualifiedName.h"
 #include "utility/ContainerUtil.h"
 #include "utility/FunctionalUtil.h"
 #include "utility/MiscUtil.h"

diff --git a/src/ast/AstUtils.cpp → src/ast/Utils.cpp b/src/ast/AstUtils.cpp → src/ast/Utils.cpp
@@ -8,26 +8,26 @@
 
 /************************************************************************
  *
- * @file AstUtils.cpp
+ * @file Utils.cpp
  *
  * A collection of utilities operating on AST constructs.
  *
  ***********************************************************************/
 
-#include "ast/AstUtils.h"
+#include "ast/Utils.h"
 #include "BinaryConstraintOps.h"
 #include "TypeSystem.h"
-#include "ast/AstAbstract.h"
-#include "ast/AstArgument.h"
-#include "ast/AstClause.h"
-#include "ast/AstFunctorDeclaration.h"
-#include "ast/AstLiteral.h"
-#include "ast/AstNode.h"
-#include "ast/AstProgram.h"
-#include "ast/AstQualifiedName.h"
-#include "ast/AstRelation.h"
-#include "ast/AstType.h"
-#include "ast/AstVisitor.h"
+#include "ast/Abstract.h"
+#include "ast/Argument.h"
+#include "ast/Clause.h"
+#include "ast/FunctorDeclaration.h"
+#include "ast/Literal.h"
+#include "ast/Node.h"
+#include "ast/Program.h"
+#include "ast/QualifiedName.h"
+#include "ast/Relation.h"
+#include "ast/Type.h"
+#include "ast/Visitor.h"
 #include "ast/analysis/AstType.h"
 #include "utility/ContainerUtil.h"
 #include "utility/MiscUtil.h"