LeonardDevToolsExtension class

Top-level extension widget. Wraps LeonardShell in DevToolsExtension so DevTools provides Material theming, the VM service, and DTD.

serviceManager is a top-level getter that throws until DevToolsExtension's State.initState has run. Any read at or above DevToolsExtension in the widget tree fails on the first frame with Bad state: 'serviceManager' has not been initialized yet. The Builder below pushes the reads into a descendant build call that runs only after DevToolsExtension has initialized — see devtools_extensions's own README ("serviceManager getters … below the DevToolsExtension widget in the widget tree").

The DevTools extension is a Flutter web build, so it must never open its own VM-service websocket (package:vm_service/vm_service_io.dart pulls in dart:io, which throws Unsupported operation: Platform._version on web). Instead the manifest probe and the Start-button session both reuse the live, web-safe connection DevTools already holds: serviceManager.service (a package:web JS websocket) pinned to serviceManager.isolateManager.mainIsolate.

Inheritance

• Object
• DiagnosticableTree
• Widget
• StatelessWidget
• LeonardDevToolsExtension

Constructors

LeonardDevToolsExtension({Key? key})

const

Properties

hashCode → int

The hash code for this object.

no setter, inherited

key → Key?

Controls how one widget replaces another widget in the tree.

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

build(BuildContext context) → Widget

Describes the part of the user interface represented by this widget.

override

createElement() → StatelessElement

Creates a StatelessElement to manage this widget's location in the tree.

inherited

debugDescribeChildren() → List<DiagnosticsNode>

Returns a list of DiagnosticsNode objects describing this node's children.

inherited

debugFillProperties(DiagnosticPropertiesBuilder properties) → void

Add additional properties associated with the node.

inherited

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toDiagnosticsNode({String? name, DiagnosticsTreeStyle? style}) → DiagnosticsNode

Returns a debug representation of the object that is used by debugging tools and by DiagnosticsNode.toStringDeep.

inherited

toString({DiagnosticLevel minLevel = DiagnosticLevel.info}) → String

A string representation of this object.

inherited

toStringDeep({String prefixLineOne = '', String? prefixOtherLines, DiagnosticLevel minLevel = DiagnosticLevel.debug, int wrapWidth = 65}) → String

Returns a string representation of this node and its descendants.

inherited

toStringShallow({String joiner = ', ', DiagnosticLevel minLevel = DiagnosticLevel.debug}) → String

Returns a one-line detailed description of the object.

inherited

toStringShort() → String

A short, textual description of this widget.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited