Add publish keyword

libs/execution/test/assets/transform-executor/test-extension/TestBlockTypes.jv

@@ -2,17 +2,17 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestFileExtractor {
+publish builtin blocktype TestFileExtractor {
     input inPort oftype None;
     output outPort oftype File;
 }
 
-builtin blocktype TestFileLoader {
+publish builtin blocktype TestFileLoader {
     input inPort oftype File;
     output outPort oftype None;
 }
 
-builtin blocktype TestTableLoader {
+publish builtin blocktype TestTableLoader {
     input inPort oftype Table;
     output outPort oftype None;
 }

libs/extensions/rdbms/exec/test/test-extension/TestBlockTypes.jv

@@ -2,7 +2,7 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestTableExtractor {
+publish builtin blocktype TestTableExtractor {
     input inPort oftype None;
     output outPort oftype Table;
 }

libs/extensions/std/exec/test/test-extension/TestBlockTypes.jv

@@ -2,22 +2,22 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestFileExtractor {
+publish builtin blocktype TestFileExtractor {
     input inPort oftype None;
     output outPort oftype File;
 }
 
-builtin blocktype TestFileLoader {
+publish builtin blocktype TestFileLoader {
     input inPort oftype File;
     output outPort oftype None;
 }
 
-builtin blocktype TestSheetLoader {
+publish builtin blocktype TestSheetLoader {
     input inPort oftype Sheet;
     output outPort oftype None;
 }
 
-builtin blocktype TestTextFileLoader {
+publish builtin blocktype TestTextFileLoader {
     input inPort oftype TextFile;
     output outPort oftype None;
 }

libs/extensions/tabular/exec/test/test-extension/TestBlockTypes.jv

@@ -2,42 +2,42 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestSheetExtractor {
+publish builtin blocktype TestSheetExtractor {
     input inPort oftype None;
     output outPort oftype Sheet;
 }
 
-builtin blocktype TestSheetLoader {
+publish builtin blocktype TestSheetLoader {
     input inPort oftype Sheet;
     output outPort oftype None;
 }
 
-builtin blocktype TestTextFileExtractor {
+publish builtin blocktype TestTextFileExtractor {
     input inPort oftype None;
     output outPort oftype TextFile;
 }
 
-builtin blocktype TestFileExtractor {
+publish builtin blocktype TestFileExtractor {
     input inPort oftype None;
     output outPort oftype File;
 }
 
-builtin blocktype TestWorkbookExtractor {
+publish builtin blocktype TestWorkbookExtractor {
     input inPort oftype None;
     output outPort oftype Workbook;
 }
 
-builtin blocktype TestWorkbookLoader {
+publish builtin blocktype TestWorkbookLoader {
     input inPort oftype Workbook;
     output outPort oftype None;
 }
 
-builtin blocktype TestTableExtractor {
+publish builtin blocktype TestTableExtractor {
     input inPort oftype None;
     output outPort oftype Table;
 }
 
-builtin blocktype TestTableLoader {
+publish builtin blocktype TestTableLoader {
     input inPort oftype Table;
     output outPort oftype None;
 }

libs/interpreter-lib/test/assets/parsing-util/test-extension/TestBlockTypes.jv

@@ -2,17 +2,17 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestFileExtractor {
+publish builtin blocktype TestFileExtractor {
     input inPort oftype None;
     output outPort oftype File;
 }
 
-builtin blocktype TestFileLoader {
+publish builtin blocktype TestFileLoader {
     input inPort oftype File;
     output outPort oftype None;
 }
 
-builtin blocktype TestTableLoader {
+publish builtin blocktype TestTableLoader {
     input inPort oftype Table;
     output outPort oftype None;
 }

libs/interpreter-lib/test/assets/runtime-parameter-literal/test-extension/TestBlockTypes.jv

@@ -2,7 +2,7 @@
 //
 // SPDX-License-Identifier: AGPL-3.0-only
 
-builtin blocktype TestProperty {
+publish builtin blocktype TestProperty {
   input inPort oftype File;
   output outPort oftype Table;
 

libs/language-server/src/grammar/block-type.langium

@@ -14,12 +14,12 @@ ReferenceableBlockTypeDefinition:
   BuiltinBlockTypeDefinition | CompositeBlockTypeDefinition;
 
 BuiltinBlockTypeDefinition:
-    'builtin' 'blocktype' name=ID '{'
+    (isPublished?='publish')? 'builtin' 'blocktype' name=ID '{'
         (inputs+=BlockTypeInput | outputs+=BlockTypeOutput | properties+=BlockTypeProperty)*
 '}';
 
 CompositeBlockTypeDefinition:
-    'composite' 'blocktype' name=ID '{'
+    (isPublished?='publish')? 'composite' 'blocktype' name=ID '{'
         (
             inputs+=BlockTypeInput
             | outputs+=BlockTypeOutput

libs/language-server/src/grammar/constraint.langium

@@ -11,13 +11,13 @@ ConstraintDefinition:
   TypedConstraintDefinition | ExpressionConstraintDefinition;
 
 TypedConstraintDefinition:
-  'constraint' name=ID 'oftype' type=[BuiltinConstrainttypeDefinition] body=PropertyBody;
+  (isPublished?='publish')? 'constraint' name=ID 'oftype' type=[BuiltinConstrainttypeDefinition] body=PropertyBody;
 
 ExpressionConstraintDefinition:
-  'constraint' name=ID 'on' valueType=ValueTypeReference ':' expression=Expression ';';
+  (isPublished?='publish')? 'constraint' name=ID 'on' valueType=ValueTypeReference ':' expression=Expression ';';
 
 BuiltinConstrainttypeDefinition:
-  'builtin' 'constrainttype' name=ID 'on' valueType=ValueTypeReference '{'
+  (isPublished?='publish')? 'builtin' 'constrainttype' name=ID 'on' valueType=ValueTypeReference '{'
     (properties+=ConstrainttypeProperty)*
 '}';
 

libs/language-server/src/grammar/io-type.langium

@@ -6,4 +6,4 @@ import './expression'
 import './terminal'
 
 IotypeDefinition:
-    'builtin' 'iotype' name=ID ';';
+    (isPublished?='publish')? 'builtin' 'iotype' name=ID ';';

libs/language-server/src/grammar/main.langium

@@ -16,6 +16,7 @@ import './io-type'
 entry JayveeModel:
   (
     imports+=ImportDefinition
+    | exports+=ExportDefinition
     | pipelines+=PipelineDefinition
     | valueTypes+=(CustomValuetypeDefinition | BuiltinValuetypeDefinition)
     | constraints+=ConstraintDefinition
@@ -25,6 +26,21 @@ entry JayveeModel:
     | iotypes+=IotypeDefinition
   )*;
 
+// When adding an element here, make sure the element has the following prependix in its rule
+// (isPublished?='publish')?
+// TypeScript lets us then infer that there is a field `isPublished` after using the type guard `isExportableElement`.
+ExportableElement:
+  // Must ref rules where isPublished is defined 
+  // So don't use aggregates like ReferenceableBlockTypeDefinition
+  // Otherwise it doesn't work to resolve the refenerces
+  (CustomValuetypeDefinition | BuiltinValuetypeDefinition)
+  | (TypedConstraintDefinition | ExpressionConstraintDefinition | BuiltinConstrainttypeDefinition)
+  | TransformDefinition
+  | (BuiltinBlockTypeDefinition | CompositeBlockTypeDefinition) 
+  | IotypeDefinition;
+
+ExportDefinition:
+  'publish' element=[ExportableElement] ';';
 
 ImportDefinition:
   'use' '*' 'from' path=STRING ';';

libs/language-server/src/grammar/transform.langium

@@ -7,7 +7,7 @@ import 'value-type'
 import 'expression'
 
 TransformDefinition:
-  'transform' name=ID body=TransformBody;
+  (isPublished?='publish')? 'transform' name=ID body=TransformBody;
 
 TransformBody:
   '{' (ports+=TransformPortDefinition)* (outputAssignments+=TransformOutputAssignment)* '}';

libs/language-server/src/grammar/value-type.langium

@@ -6,12 +6,12 @@ import './expression'
 import './terminal'
 
 BuiltinValuetypeDefinition infers ValuetypeDefinition:
-  isBuiltin?='builtin' 'valuetype' name=ID 
+  (isPublished?='publish')? isBuiltin?='builtin' 'valuetype' name=ID 
     (genericDefinition=ValuetypeGenericsDefinition)?
   ';';
 
 CustomValuetypeDefinition infers ValuetypeDefinition:
-  'valuetype' name=ID 
+  (isPublished?='publish')? 'valuetype' name=ID 
     (genericDefinition=ValuetypeGenericsDefinition)?
   'oftype' type=ValueTypeReference '{'
     'constraints' ':' constraints=CollectionLiteral ';'

libs/language-server/src/lib/builtin-library/stdlib.ts

@@ -12,7 +12,7 @@ export function getBuiltinValuetypesLib() {
     .map(parseBuiltinValuetypeToJayvee);
 
   const collectionValuetype = `${parseAsComment('For internal use only.')}
-builtin valuetype Collection<ElementType>;`;
+publish builtin valuetype Collection<ElementType>;`;
 
   return {
     'builtin:///stdlib/builtin-value-types.jv': [
@@ -24,7 +24,7 @@ builtin valuetype Collection<ElementType>;`;
 
 export const IOtypesLib = {
   'builtin:///stdlib/io-types.jv': Object.values(IOType)
-    .map((iotype) => `builtin iotype ${iotype};`)
+    .map((iotype) => `publish builtin iotype ${iotype};`)
     .join('\n\n'),
 };
 
@@ -46,7 +46,7 @@ function parseBuiltinValuetypeToJayvee(valueType: PrimitiveValueType): string {
   if (!valueType.isReferenceableByUser()) {
     lines.push(parseAsComment('For internal use only.'));
   }
-  lines.push(`builtin valuetype ${valueType.getName()};`);
+  lines.push(`publish builtin valuetype ${valueType.getName()};`);
 
   return lines.join('\n');
 }

libs/language-server/src/lib/jayvee-module.ts

@@ -32,7 +32,6 @@ import {
   JayveeDefinitionProvider,
   JayveeFormatter,
   JayveeHoverProvider,
-  JayveeScopeComputation,
   JayveeScopeProvider,
 } from './lsp';
 import { JayveeImportResolver } from './services/import-resolver';
@@ -91,7 +90,6 @@ export const JayveeModule: Module<
   },
   references: {
     ScopeProvider: (services) => new JayveeScopeProvider(services),
-    ScopeComputation: (service) => new JayveeScopeComputation(service),
   },
   RuntimeParameterProvider: () => new RuntimeParameterProvider(),
   operators: {