Package constants

doc/sql.extensions/README.ddl.txt

@@ -138,6 +138,7 @@ COMMENT ON <basic_type> name IS {'txt'|NULL};
 COMMENT ON COLUMN table_or_view_name.field_name IS {'txt'|NULL};
 COMMENT ON {PROCEDURE | [EXTERNAL] FUNCTION} [<package_name> .] name.param_name IS {'txt'|NULL};
 COMMENT ON [PROCEDURE | FUNCTION] PARAMETER [<package_name> .] name.param_name IS {'txt'|NULL};
+COMMENT ON CONSTANT [<schema_name> .] <package_name> . name IS {'txt'|NULL};
 
 An empty literal string '' will act as NULL since the internal code (DYN in this case)
 works this way with blobs.

doc/sql.extensions/README.packages.txt

@@ -19,14 +19,18 @@ Syntax:
 
     <package_item> ::=
         <function_decl> ; |
-        <procedure_decl> ;
+        <procedure_decl> ; |
+        <constant_decl> ;
 
     <function_decl> ::=
         FUNCTION <name> [( <parameters> )] RETURNS <type>
 
     <procedure_decl> ::=
         PROCEDURE <name> [( <parameters> ) [RETURNS ( <parameters> )]]
 
+    <constant_decl> ::=
+        CONSTANT <name> <type> = <constant expression>
+
     <package_body> ::=
         { CREATE [OR ALTER] | ALTER | RECREATE } PACKAGE BODY <name>
         AS
@@ -37,7 +41,8 @@ Syntax:
 
     <package_body_item> ::=
         <function_impl> |
-        <procedure_impl>
+        <procedure_impl> |
+        <constant_decl>
 
     <function_impl> ::=
         FUNCTION <name> [( <parameters> )] RETURNS <type>
@@ -75,7 +80,7 @@ Objectives:
       1) The grouping is not represented in the database metadata.
       2) They all participate in a flat namespace and all routines are callable by everyone (not
          talking about security permissions here).
-    
+
     - Facilitate dependency tracking between its internal routines and between other packaged and
       unpackaged routines.
 
@@ -90,9 +95,16 @@ Objectives:
       tables that the package body depends on that object. If you want to, for example, drop that
       object, you first need to remove who depends on it. As who depends on it is a package body,
       you can just drop it even if some other database object depends on this package. When the body
-      is dropped, the header remains, allowing you to create its body again after changing it based 
+      is dropped, the header remains, allowing you to create its body again after changing it based
       on the object removal.
 
+      A package constant is a value initialized by a constant expression.
+      A constant expression is defined by a simple rule: its value does not change after recompilation.
+      Constants declared in the package specification are publicly visible and can be referenced using
+      the <package>.<constant_name> notation.
+      Constants declared in the package body are private and cannot be accessed from outside the package.
+      However, they can be referenced directly by <constant_name> within <procedure_impl> and <function_impl>.
+
     - Facilitate permission management.
 
       It's generally a good practice to create routines with a privileged database user and grant

src/burp/OdsDetection.epp

@@ -46,6 +46,7 @@ namespace
 		{"RDB$PACKAGES",		0,	DB_VERSION_DDL12},	// FB3
 		{"RDB$PUBLICATIONS",	0,	DB_VERSION_DDL13},	// FB4
 		{"RDB$SCHEMAS",			0,	DB_VERSION_DDL14},	// FB6
+		{"RDB$CONSTANTS",		0,	DB_VERSION_DDL14},// RDB6
 		{0, 0, 0}
 	};
 

src/common/ParserTokens.h

@@ -138,6 +138,7 @@ PARSER_TOKEN(TOK_CONDITIONAL, "CONDITIONAL", true)
 PARSER_TOKEN(TOK_CONNECT, "CONNECT", false)
 PARSER_TOKEN(TOK_CONNECTIONS, "CONNECTIONS", true)
 PARSER_TOKEN(TOK_CONSISTENCY, "CONSISTENCY", true)
+PARSER_TOKEN(TOK_CONSTANT, "CONSTANT", true)
 PARSER_TOKEN(TOK_CONSTRAINT, "CONSTRAINT", false)
 PARSER_TOKEN(TOK_CONTAINING, "CONTAINING", true)
 PARSER_TOKEN(TOK_CONTINUE, "CONTINUE", true)

src/dsql/DdlNodes.epp

@@ -80,6 +80,7 @@
 #include "../jrd/ini.h"
 #include "../jrd/GarbageCollector.h"
 #include "../jrd/ProtectRelations.h"
+#include "../dsql/PackageNodes.h"
 
 namespace Jrd {
 
@@ -130,16 +131,6 @@ static rel_t relationType(SSHORT relationTypeNull, SSHORT relationType) noexcept
 static void saveField(thread_db* tdbb, DsqlCompilerScratch* dsqlScratch, const MetaName& fieldName);
 static dsql_rel* saveRelation(thread_db* tdbb, DsqlCompilerScratch* dsqlScratch,
 	const QualifiedName& relationName, bool view, bool creating);
-static void updateRdbFields(const TypeClause* type,
-	SSHORT& fieldType,
-	SSHORT& fieldLength,
-	SSHORT& fieldSubTypeNull, SSHORT& fieldSubType,
-	SSHORT& fieldScaleNull, SSHORT& fieldScale,
-	SSHORT& characterSetIdNull, SSHORT& characterSetId,
-	SSHORT& characterLengthNull, SSHORT& characterLength,
-	SSHORT& fieldPrecisionNull, SSHORT& fieldPrecision,
-	SSHORT& collationIdNull, SSHORT& collationId,
-	SSHORT& segmentLengthNull, SSHORT& segmentLength);
 static ISC_STATUS getErrorCodeByObjectType(int obj_type);
 
 static constexpr const char* CHECK_CONSTRAINT_EXCEPTION = "check_constraint";
@@ -887,7 +878,7 @@ static dsql_rel* saveRelation(thread_db* tdbb, DsqlCompilerScratch* dsqlScratch,
 }
 
 // Update RDB$FIELDS received by reference.
-static void updateRdbFields(const TypeClause* type,
+void updateRdbFields(const TypeClause* type,
 	SSHORT& fieldType,
 	SSHORT& fieldLength,
 	SSHORT& fieldSubTypeNull, SSHORT& fieldSubType,
@@ -1486,6 +1477,20 @@ DdlNode* CommentOnNode::dsqlPass(DsqlCompilerScratch* dsqlScratch)
 			dsqlScratch->resolveRoutineOrRelation(name, {objType});
 			break;
 
+		case obj_package_constant:
+		{
+			QualifiedName constantName(subName, name.schema, name.object); // name is a package
+			if (constantName.schema.isEmpty())
+				constantName.schema = PUBLIC_SCHEMA;
+
+			if (!PackageReferenceNode::constantExists(tdbb, transaction, constantName))
+			{
+				status_exception::raise(Arg::Gds(isc_bad_constant_name) << constantName.toQuotedString());
+			}
+			name = constantName;
+			break;
+		}
+
 		default:
 			dsqlScratch->qualifyExistingName(name, objType);
 			break;
@@ -1590,6 +1595,10 @@ void CommentOnNode::checkPermission(thread_db* tdbb, jrd_tra* transaction)
 			SCL_check_package(tdbb, name, SCL_alter);
 			break;
 
+		case obj_package_constant:
+			SCL_check_package(tdbb, QualifiedName(name.package, name.schema), SCL_alter);
+			break;
+
 		default:
 			fb_assert(false);
 	}
@@ -1753,6 +1762,12 @@ void CommentOnNode::execute(thread_db* tdbb, DsqlCompilerScratch* dsqlScratch, j
 			status << Arg::Gds(isc_dyn_package_not_found) << Arg::Str(objNameStr);
 			break;
 
+		case obj_package_constant:
+			tableClause = "rdb$constants";
+			columnClause = "rdb$constant_name";
+			status << Arg::Gds(isc_bad_constant_name) << Arg::Str(objNameStr);
+			break;
+
 		default:
 			fb_assert(false);
 			return;
@@ -1776,7 +1791,7 @@ void CommentOnNode::execute(thread_db* tdbb, DsqlCompilerScratch* dsqlScratch, j
 			sql << "and" << subColumnClause << "=" << subName;
 	}
 
-	if (objType == obj_procedure || objType == obj_udf)
+	if (objType == obj_procedure || objType == obj_udf || objType == obj_package_constant)
 		sql << "and rdb$package_name is not distinct from nullif(" << name.package << ", '')";
 
 	if (addWhereClause)
@@ -11562,11 +11577,13 @@ void CreateAlterViewNode::execute(thread_db* tdbb, DsqlCompilerScratch* dsqlScra
 		ValueExprNode* nameNode = fieldNode;
 		const char* aliasName = NULL;
 
-		while (nodeIs<DsqlAliasNode>(nameNode) || nodeIs<DerivedFieldNode>(nameNode) || nodeIs<DsqlMapNode>(nameNode))
+		while (nodeIs<DsqlAliasNode>(nameNode) || nodeIs<DerivedFieldNode>(nameNode) || nodeIs<DsqlMapNode>(nameNode) ||
+			nodeAs<PackageReferenceNode>(nameNode))
 		{
 			DsqlAliasNode* aliasNode;
 			DsqlMapNode* mapNode;
 			DerivedFieldNode* derivedField;
+			PackageReferenceNode* referenceNode;
 
 			if ((aliasNode = nodeAs<DsqlAliasNode>(nameNode)))
 			{
@@ -11582,6 +11599,13 @@ void CreateAlterViewNode::execute(thread_db* tdbb, DsqlCompilerScratch* dsqlScra
 					aliasName = derivedField->name.c_str();
 				nameNode = derivedField->value;
 			}
+			else if ((referenceNode = nodeAs<PackageReferenceNode>(nameNode)))
+			{
+				if (!aliasName)
+					aliasName = referenceNode->getName();
+
+				nameNode = nullptr;
+			}
 		}
 
 		const dsql_fld* nameField = NULL;

src/dsql/DdlNodes.h

@@ -42,6 +42,18 @@
 
 namespace Jrd {
 
+// Update RDB$FIELDS received by reference.
+void updateRdbFields(const Jrd::TypeClause* type,
+	SSHORT& fieldType,
+	SSHORT& fieldLength,
+	SSHORT& fieldSubTypeNull, SSHORT& fieldSubType,
+	SSHORT& fieldScaleNull, SSHORT& fieldScale,
+	SSHORT& characterSetIdNull, SSHORT& characterSetId,
+	SSHORT& characterLengthNull, SSHORT& characterLength,
+	SSHORT& fieldPrecisionNull, SSHORT& fieldPrecision,
+	SSHORT& collationIdNull, SSHORT& collationId,
+	SSHORT& segmentLengthNull, SSHORT& segmentLength);
+
 enum SqlSecurity
 {
 	SS_INVOKER,

src/dsql/ExprNodes.cpp

@@ -67,6 +67,8 @@
 #include "../jrd/trace/TraceObjects.h"
 #include "../jrd/trace/TraceJrdHelpers.h"
 
+#include "../dsql/PackageNodes.h"
+
 using namespace Firebird;
 using namespace Jrd;
 
@@ -454,6 +456,23 @@ bool ExprNode::unmappable(const MapNode* mapNode, StreamType shellStream) const
 	return true;
 }
 
+bool ExprNode::constant() const
+{
+	NodeRefsHolder holder;
+	getChildren(holder, false);
+
+	for (auto i : holder.refs)
+	{
+		if (*i == nullptr)
+			continue;
+
+		if (!(*i)->constant())
+			return false;
+	}
+
+	return true;
+}
+
 void ExprNode::collectStreams(SortedStreamList& streamList) const
 {
 	NodeRefsHolder holder;
@@ -6448,6 +6467,27 @@ ValueExprNode* FieldNode::internalDsqlPass(DsqlCompilerScratch* dsqlScratch, Rec
 		}
 	}
 
+	dsql_ctx packageContext(dsqlScratch->getPool());
+	{ // Consatnts
+
+		const QualifiedName consatntName(dsqlName,
+			dsqlQualifier.schema.hasData() ? dsqlQualifier.schema : (dsqlScratch->package.schema.hasData() ? dsqlScratch->package.schema : PUBLIC_SCHEMA),
+			dsqlQualifier.object.hasData() ? dsqlQualifier.object : dsqlScratch->package.object);
+
+		if (PackageReferenceNode::constantExists(tdbb, dsqlScratch->getTransaction(), consatntName))
+		{
+			packageContext.ctx_relation = nullptr;
+			packageContext.ctx_procedure = nullptr;
+			// Alias is a package name, not a constant
+			packageContext.ctx_alias.push(QualifiedName(consatntName.package, consatntName.schema));
+			packageContext.ctx_flags |= CTX_package;
+			ambiguousCtxStack.push(&packageContext);
+
+			MemoryPool& pool = dsqlScratch->getPool();
+			node = FB_NEW_POOL(pool) PackageReferenceNode(pool, consatntName);
+		}
+	}
+
 	// CVC: We can't return blindly if this is a check constraint, because there's
 	// the possibility of an invalid field that wasn't found. The multiple places that
 	// call this function pass1_field() don't expect a NULL pointer, hence will crash.
@@ -12463,7 +12503,12 @@ void SysFuncCallNode::make(DsqlCompilerScratch* dsqlScratch, dsc* desc)
 
 bool SysFuncCallNode::deterministic(thread_db* tdbb) const
 {
-	return ExprNode::deterministic(tdbb) && function->deterministic;
+	return ExprNode::deterministic(tdbb) && function->isDeterministic();
+}
+
+bool SysFuncCallNode::constant() const
+{
+	return ExprNode::constant() && function->isConstant();
 }
 
 void SysFuncCallNode::getDesc(thread_db* tdbb, CompilerScratch* csb, dsc* desc)
@@ -14151,6 +14196,17 @@ ValueExprNode* VariableNode::dsqlPass(DsqlCompilerScratch* dsqlScratch)
 	if (!node->dsqlVar ||
 		(node->dsqlVar->type == dsql_var::TYPE_LOCAL && !node->dsqlVar->initialized && !dsqlScratch->mainScratch))
 	{
+		if (dsqlScratch->package.object.hasData())
+		{
+			thread_db* tdbb = JRD_get_thread_data();
+			QualifiedName consatntFullName(dsqlName, dsqlScratch->package.schema, dsqlScratch->package.object);
+			if (PackageReferenceNode::constantExists(tdbb, dsqlScratch->getTransaction(), consatntFullName))
+			{
+				delete node;
+				return FB_NEW_POOL(dsqlScratch->getPool()) PackageReferenceNode(dsqlScratch->getPool(), consatntFullName);
+			}
+		}
+
 		PASS1_field_unknown(NULL, dsqlName.toQuotedString().c_str(), this);
 	}