managed? (schema -- isManaged)

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.

managed? (schema -- isManaged)

Inputs

schema: Value or Ref whose dereferenced schema is tested for managed lifetime.

Outputs

isManaged: Known Cond result that is TRUE when schema dereferences to a managed schema.

managed? is a dereferenced-schema predicate. It tests whether the dereferenced schema has managed lifetime behavior.

Ref inputs are followed before the test. Current value contents, current value state, and current view qualifiers do not participate. Applying dynamic, const, or unconst therefore does not change the result as long as the dereferenced schema stays the same.

Behavior

The result is always known.

Ref inputs are followed before the test, so a Ref to a managed value and that value itself produce the same result.

Schemas with managed lifetime behavior report TRUE. Plain Int32, Text, and Meta schemas report FALSE.

Different current values and different current value states with the same dereferenced schema always produce the same result.

Current value-state predicates such as known?, stable?, and isDirty answer different questions and do not determine this result.

Example

"Owner" use {} 0 {} [ owned: 7 owner; "-- common results --" printCompilerMessage 7 owner managed? printStack _:; 7 managed? printStack _:; "hi" managed? printStack _:; () managed? printStack _:; "-- references are followed --" printCompilerMessage owned managed? printStack _:; @owned managed? printStack _:; "-- current contents do not matter --" printCompilerMessage 7 owner managed? printStack _:; 7 owner dynamic managed? printStack _:; 7 managed? printStack _:; 7 dynamic managed? printStack _:; "-- different question from stable? --" printCompilerMessage "hi" managed? printStack _:; "hi" stable? printStack _:; () managed? printStack _:; () stable? printStack _:; 0 ] "main" exportFunction

Module-loading wrapper lines are omitted below.

Expected Output During Compilation

-- common results -- TRUE FALSE FALSE FALSE -- references are followed -- TRUE TRUE -- current contents do not matter -- TRUE TRUE FALSE FALSE -- different question from stable? -- FALSE TRUE FALSE TRUE