virtual (--)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

virtual (--)

Inputs

None.

Outputs

None.

virtual is the declaration modifier that marks the next successfully created local as static.

The name is historical. The resulting field-storage property is what fieldIsVirtual reports. The value-level Meta test is virtual?.

The builtin sets a pending static specifier in the current scope. That pending specifier is consumed by the next successful local creation through NAME: ...; or def.

Behavior

The builtin has no inputs and no outputs.

If the static specifier is already pending, the builtin raises a duplicate-specifier error.

After the next successful local creation, the pending static flag is cleared.

Other operations do not consume the pending static flag.

A pending static flag is invalid for exportFunction, importFunction, and importVariable.

If the scope ends before the pending static flag is consumed, the program is invalid.

Pending overload or private specifiers coexist with the pending static flag.

This does not make the resulting value Meta.

Example

{} 0 {} [ virtual staticLocal: 1; dict: { virtual 2 "staticField" def }; "-- values created with virtual are static, not meta --" printCompilerMessage staticLocal printStack _:; staticLocal virtual? printStack _:; dict.staticField printStack _:; dict.staticField virtual? printStack _:; "-- fieldIsVirtual sees static field storage --" printCompilerMessage dict 0 fieldIsVirtual printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- values created with virtual are static, not meta -- 1 FALSE 2 FALSE -- fieldIsVirtual sees static field storage -- TRUE

`virtual (--)`

Inputs

Outputs

Behavior

Example

Expected Output During Compilation

See also