Class

Expression

Abstract base for every expression node in a transformation's `rule` or `artifactName` tree. Concrete subclasses below add the properties relevant to their semantics; the runner dispatches on RDF type.

Referenced by

← Range

Object PropertyAccumulateExpression evaluated once per source element with `stateVar` and `elementVar` in scope. Its result is BOTH the value emitted at this position AND the next…

Object PropertyAlternate

Object PropertyArith LeftLeft operand expression. Must yield a number at runtime.

Object PropertyArith RightRight operand expression. Must yield a number at runtime.

Object PropertyArtifact NameExpression that yields the Artifact's filename stem (no directory, no extension). Evaluated in the same environment as `rule` — `input` for…

Object PropertyBind ValueExpression whose result becomes the field's value.

Object PropertyBodyThe Expression body invoked when this fragment is called.

Object PropertyBy NameExpression yielding a string — the predicate local name to match. Required.

Object PropertyCheck Expr

Object PropertyCompare LeftLeft operand expression. Required.

Object PropertyCompare RightRight operand expression. Required.

Object PropertyCondition

Object PropertyDate SourceExpression yielding the ISO 8601 datetime string to reformat.

Object PropertyDistinct KeyPer-element key expression. Elements with equal key values are deduplicated.

Object PropertyElse Build

Object PropertyEmitPer-element body. Must yield a string.

Object PropertyHaystackExpression yielding the list to search. Required.

Object PropertyIn SubjectExpression yielding a SubjectKanonak or EmbeddedKanonak whose statements will be searched. Required.

Object PropertyInitial StateExpression evaluated once at scan start to seed the running accumulator. The body's first iteration sees this value bound to `stateVar`. Required.

Object PropertyItem IndexExpression yielding a non-negative integer. The 0-based position in the source list to return. Required.

Object PropertyKind CheckThe Expression whose runtime value's kind is being checked. Required for every KindPredicate subclass.

Object PropertyLet BodyThe Expression evaluated in the extended environment. Its result is what Let returns. Required.

Object PropertyLet ValueThe Expression whose evaluated result becomes the bound variable's value. Required.

Object PropertyMap Body

Object PropertyNeedleExpression yielding the value to search for. Required.

Object PropertyNorm Source

Object PropertyOperandBoolean expression to negate. Required.

Object PropertyOperandsList of boolean expressions. Authored as a YAML list. Empty operand lists evaluate to the identity of the operation: `And` over [] is true (vacuous); `Or` over…

Object PropertyPair BodyPer-pair body. Evaluated once per consecutive pair with both `firstVar` and `secondVar` in scope. The result is collected in source order. Required. (Distinct…

Object PropertyPartition KeyPer-element key expression. Elements with equal key values land in the same partition.

Object PropertyParts

Object PropertyPredicatePer-element predicate. Must yield a boolean.

Object PropertyPredicate OfExpression yielding the statement whose predicate to extract. Typically a VarRef to the loop variable of an iteration over AllStatements.

Object PropertyPrimary

Object PropertyRead Source

Object PropertyRender Source

Object PropertyResolve Source

Object PropertyRuleExpression that yields a docast.Document. The runner hands the Document to the format-specific backend, which serializes it to bytes for the target output…

Object PropertySourceExpression that yields the list this list-sourced expression operates on. Typically a VarRef to `inputs`, a PropertyRead that returns a list-valued property,…

Object PropertyStatement SourceThe Expression whose value is the statement to read. Required. Typically a VarRef bound to the loop variable of a ForEach over AllStatements.

Object PropertyStatements OfExpression yielding the subject whose statements to enumerate. Must resolve to a Kanonak with a `statement[]` collection (Subject or Embedded). Otherwise the…

Object PropertyStep

Object PropertySubject Of

Object PropertyThen Build

Object PropertyTraverse Source

Object PropertyURI Name Of

Object PropertyURI Package Of

Object PropertyURI Publisher Of

Object PropertyURI Version Of

Object PropertyValueNumeric expression. Required.

Object PropertyValue OfExpression yielding the statement whose object value to render. Typically a VarRef to the loop variable of an iteration over AllStatements.

Object PropertyWindow BodyPer-window body. Evaluated once per window position with `windowVar` bound to the current window list. Use `tx.ListItemAt` to access individual positions.…

← Subclass Of

ClassAll StatementsYields the list of every statement on a subject. Source typically resolves to a SubjectKanonak (e.g. a VarRef to `input` inside an InstanceTransformation rule,…

ClassBinary ArithmeticAbstract intermediate. Any binary numeric operation with `arithLeft` + `arithRight` operands. Not directly instantiable — authors instantiate one of Add /…

ClassBinary ComparisonAbstract intermediate. Any two-operand boolean comparison — Equals / GreaterThan / LessThan / GreaterThanOrEqual / LessThanOrEqual. Not directly instantiable;…

ClassBoolean LiteralA constant boolean value (true or false).

ClassBoolean LogicAbstract intermediate for n-ary boolean composition (And, Or). Both subclasses short-circuit — And stops on the first non- true operand; Or stops on the first…

ClassBuild AST NodeConstructs a docast AST node of the declared `astClass` and binds fields via the `set` list. The result is an AST node ready for backend serialization (top of…

ClassCall FragmentInvokes a named ExpressionFragment by URI reference.

ClassConcatConcatenates the string results of `parts`, in order, with no separator.

ClassContainsReturns true when any element of `haystack` equals `needle`, using the same semantics as `tx.Equals` (URI equality for refs/subjects, value equality for…

ClassDate FormatReformat an ISO 8601 datetime string into a named human-readable form. Source must yield a string parseable by JS Date (ISO 8601 is the safe lingua franca).…

ClassDecimal LiteralA constant decimal (non-integer-restricted) numeric value. Distinct from IntegerLiteral so authors can express fractions and currency amounts without…

ClassDisplay LabelResolves a presentation label for `labelTarget` by reading `labelSource` off it. Falls back to the entity's local name when the source property is absent.

ClassFallbackEvaluates `primary`; if the result is undefined or empty, evaluates and returns `alternate`. Useful for "use the rdfs:label, otherwise fall back to the local…

ClassGet Statement By NameReturns the first statement on `inSubject` whose predicate's local name matches `byName`, or undefined when no match exists. Used by the universal renderer's…

ClassInteger LiteralA constant integer value.

ClassIs SetBoolean predicate. Evaluates `checkExpr`; returns true when the result is non-undefined and non-empty (non-empty string, non-empty list). Used as the condition…

ClassKind PredicateAbstract intermediate for boolean predicates that branch on the runtime kind of a value (IsReference / IsEmbedded / IsList). Each subclass shares the same…

ClassLetBinds `letName` to the result of evaluating `letValue` in the current environment, then evaluates `letBody` in the extended environment. Returns the body's…

ClassList-Sourced ExpressionAbstract intermediate. Captures the "expression that consumes a list-yielding source" pattern. Not directly instantiable — authors instantiate one of the…

ClassNormalizeApplies a named normalization (`normKind`) to a string-yielding source.

ClassNotReturns the boolean negation of `operand`. Strict: if `operand` evaluates to true, returns false; if false, returns true; any other value returns undefined…

ClassProperty ReadReads the value of `readProp` off the subject yielded by `readSource`. For a multi-valued property, returns the value list.

ClassRender MarkdownReads a core-prose datatype value (Markdown / SubstitutableString) off the subject yielded by `renderSource`, by the property `renderProp`. Substitutes every…

ClassResolve RefDereferences a reference-yielding expression to the target subject. Returns undefined when the reference doesn't resolve.

ClassStatement ObjectReturns the raw value of a statement (ReferenceKanonak / EmbeddedKanonak / list / scalar) without string coercion. Companion to StatementPredicate; replaces…

ClassStatement PredicateYields the predicate of a statement as a ReferenceKanonak. Typically composed with UriName or DisplayLabel inside a ForEach loop over AllStatements to render…

ClassStatement ValueYields a string representation of the statement's object, dispatching on the statement subtype: - StringStatement / NumberStatement / BooleanStatement →…

ClassString LiteralA constant string value.

ClassSubject URIYields the full canonical URI of a subject as a string — `publisher/package@version/name`. Authors typically use this inside SetTransformation iteration to…

ClassTraverseTwo-step traversal. Evaluates `traverseSource` to get a starting subject; reads `through` to get one or more intermediate subjects; evaluates `step` once per…

ClassUnary Numeric OpAbstract intermediate for one-operand numeric operations (Abs, Negate). Operand must yield a number at runtime; non-numeric operands raise a runtime error…

ClassURI LiteralA constant URI reference to a named entity.

ClassURI NameYields the local name component of a URI-typed expression result. Works on any value that carries a name — a ReferenceKanonak (its target's local name), an…

ClassURI PackageYields the package segment of a URI-typed expression result. Same source-shape contract as UriPublisher / UriVersion.

ClassURI PublisherYields the publisher segment of a URI-typed expression result. Accepts the same kinds of sources as UriName / UriVersion / UriPackage — SubjectKanonak (via its…

ClassURI VersionYields the version segment of a URI-typed expression result as a `M.m.p` string. Returns the empty string when the source is versionless (an EntityUri or a…

ClassVar RefLooks up a name in the current evaluation environment. Standard bindings the runner provides: input — InstanceTransformation, the current instance.…

ClassWhenConditional. Evaluates `condition`; if true, evaluates and returns `thenBuild`; else evaluates and returns `elseBuild` (or undefined if elseBuild is omitted).