WebIdeCommand class
The browser :ide command. The native equivalent lives in the dart:io
barrel (ide_command.dart); this version drives the same dart:io-free
engine over a RemoteWorkspace and an XtermTerminalDriver.
Constructors
-
WebIdeCommand({required TerminalView term, required Stream<
void> resizeEvents, required OmnyShellService service, required SettingsStore settings}) - Creates the command. See registerIdeCommand for the wiring.
Properties
-
aliases
→ List<
String> -
Aliases that also invoke this command.
no setter
- description → String
-
A one-line description shown by
:help.no setter - hashCode → int
-
The hash code for this object.
no setterinherited
- name → String
-
The command name (without the leading
:).no setter - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- usage → String?
-
Optional multi-line usage/help text shown under the listing by
:help.no setter
Methods
-
dispose(
) → Future< void> -
Releases any resources the command holds (e.g. an HTTP client / open
sockets), so they do not keep the process alive after the session ends.
Called by
LocalCommandRegistry.dispose; the default is a no-op.inherited -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
run(
LocalCommandContext context, List< String> args) → Future<void> -
Runs the command with parsed
args. -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited