FlarkSession class final
Host-independent ownership, readiness and publication. UI adapters own only their input/focus integration; this object owns its parser lease and editing state.
Constructors
-
FlarkSession({String markdown = '', Future<
FlarkBackendLease> backendLoader()?, int? syncLimit, FlarkLiveLimits liveLimits = const FlarkLiveLimits()}) -
syncLimitis the UTF-8 size rendered live, flarkDefaultLiveBytes unless set;liveLimitsbounds the document's shape. A document beyond either opens and edits in source mode. Limits no editor can apply throw an ArgumentError.
Properties
-
changes
→ Stream<
String> -
no setter
- commandHandler ↔ bool Function(FlarkCommand, int)?
-
The host's IME-aware command path. Null for headless sessions.
getter/setter pair
- engine → FlarkEditor?
-
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
- liveLimits → FlarkLiveLimits
-
final
-
ready
→ Future<
void> -
no setter
-
resourcePresenter
↔ Future<
FlarkEditResult> Function(bool image)? -
getter/setter pair
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- state → FlarkState
-
no setter
- syncLimit → int
-
final
Methods
-
addListener(
void listener()) → void -
attach(
Object owner) → void -
command(
FlarkCommand command, {int? expectedRevision}) → FlarkEditResult -
detach(
Object owner) → void -
dispose(
) → void -
loadMarkdown(
String markdown, {int? expectedRevision}) → FlarkEditResult -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
removeListener(
void listener()) → void -
replaceSourceRange(
int start, int end, String replacement, {int? expectedRevision, bool replaceAll = false}) → FlarkEditResult -
retryLoading(
) → Future< void> -
selectAll(
{FlarkSelectionScope scope = FlarkSelectionScope.document, int? expectedRevision}) → FlarkEditResult -
setSourceMode(
bool enabled, {int? expectedRevision}) → FlarkEditResult -
showResourceEditor(
bool image) → Future< FlarkEditResult> -
toString(
) → String -
A string representation of this object.
inherited
-
updateImage(
String destination, {String? alt, String? title, int? expectedRevision}) → FlarkEditResult
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited