widgets/dartblock_editor_providers
library
Extensions
-
InteractionBroadcaster
on WidgetRef
-
Helper extension to easily broadcast interactions from any widget with WidgetRef.
Properties
-
availableCustomFunctionsProvider
→ ProviderFamily<List<DartBlockCustomFunction>, List<DartBlockDataType>>
-
Available custom functions filtered by return type restrictions
final
-
availableFunctionsProvider
→ ProviderFamily<List<DartBlockFunction>, List<DartBlockDataType>>
-
final
-
availableNativeFunctionsProvider
→ ProviderFamily<List<DartBlockNativeFunction>, List<DartBlockDataType>>
-
Available native functions filtered by settings and return type
final
-
customFunctionsProvider
→ Provider<List<DartBlockCustomFunction>>
-
Derived provider that exposes the list of custom functions.
final
-
editorStateProvider
→ NotifierProvider<EditorStateNotifier, DartBlockEditorState>
-
Provider for editor UI state (clipboard, dragging, etc.)
final
-
executorProvider
→ Provider<DartBlockExecutor>
-
Derived provider that creates an executor for the current program.
Keeps track of the execution result, including the console output and any exception that was thrown.
final
-
interactionEventProvider
→ NotifierProvider<InteractionEventNotifier, DartBlockInteraction?>
-
final
-
isDraggingStatementTypeFromToolboxProvider
→ NotifierProvider<IsDraggingStatementTypeFromToolboxNotifier, StatementType?>
-
final
-
programProvider
→ NotifierProvider<ProgramNotifier, DartBlockProgram>
-
final
-
settingsProvider
→ Provider<DartBlockSettings>
-
Global provider for editor settings (permissions).
Must be overridden per DartBlockEditor instance.
final