temporal_logic_flutter 0.1.1 copy "temporal_logic_flutter: ^0.1.1" to clipboard
temporal_logic_flutter: ^0.1.1 copied to clipboard

Published 6 months ago • verified publishercaph.jp
SDKFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

Flutter integration (TraceRecorder, Matchers) for temporal logic.

More...

140/ 160
pub points
29
downloads

We analyzed this package 6 days ago, and awarded it 140 pub points (of a possible 160):

Passed report section
Follow Dart file conventions
30 / 30trigger folding of the section

Passed check 10/10 points: Provide a valid pubspec.yaml

Passed check 5/5 points: Provide a valid README.md

Passed check 5/5 points: Provide a valid CHANGELOG.md

Passed check 10/10 points: Use an OSI-approved license

Detected license: MIT.

Failed report section
Provide documentation
10 / 20trigger folding of the section

Passed check 10/10 points: 20% or more of the public API has dartdoc comments

145 out of 155 API elements (93.5 %) have documentation comments.

Some symbols that are missing documentation: temporal_logic_flutter.Formula.Formula.new, temporal_logic_flutter.StreamSustainedStateChecker.StreamSustainedStateChecker.new, temporal_logic_flutter.StreamSustainedStateChecker.dispose, temporal_logic_flutter.StreamSustainedStateChecker.resultListenable, temporal_logic_flutter.SustainedStateCheckerWidget.SustainedStateCheckerWidget.new.

Failed check 0/10 points: Package has an example

No example found.

See package layout guidelines on how to add an example.

Failed report section
Platform support
20 / 20trigger folding of the section

Passed check 20/20 points: Supports 5 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)

  • ✓ Android

  • ✓ iOS

  • ✓ Windows

  • ✓ Linux

  • ✓ macOS

These platforms are not supported:

Package not compatible with platform Web

Because:

  • package:temporal_logic_flutter/temporal_logic_flutter.dart that imports:
  • package:temporal_logic_flutter/src/matchers.dart that imports:
  • package:flutter_test/flutter_test.dart that imports:
  • package:flutter_test/src/widget_tester.dart that imports:
  • package:flutter_test/src/test_text_input.dart that imports:
  • package:flutter_test/src/test_text_input_key_handler.dart that imports:
  • package:flutter_test/src/binding.dart that imports:
  • package:flutter_test/src/platform.dart that imports:
  • dart:io

Failed check 0/0 points: WASM compatibility

Package not compatible with runtime wasm

Because:

  • package:temporal_logic_flutter/temporal_logic_flutter.dart that imports:
  • package:temporal_logic_flutter/src/matchers.dart that imports:
  • package:flutter_test/flutter_test.dart that imports:
  • package:flutter_test/src/widget_tester.dart that imports:
  • package:flutter_test/src/test_text_input.dart that imports:
  • package:flutter_test/src/test_text_input_key_handler.dart that imports:
  • package:flutter_test/src/binding.dart that imports:
  • package:flutter_test/src/platform.dart that imports:
  • dart:io

This package is not compatible with runtime wasm, and will not be rewarded full points in a future version of the scoring model.

See https://dart.cn/web/wasm for details.

Partially passed report section
Pass static analysis
40 / 50trigger folding of the section

Partially passed check 40/50 points: code has no errors, warnings, lints, or formatting issues

Found 3 issues. Showing the first 2:

/tmp/pana_EKRTHU/lib/src/matchers.dart doesn't match the Dart formatter.

To format your files run: dart format .

/tmp/pana_EKRTHU/lib/src/sustained_state_checker_widget.dart doesn't match the Dart formatter.

To format your files run: dart format .

Passed report section
Support up-to-date dependencies
40 / 40trigger folding of the section

Passed check 10/10 points: All of the package dependencies are supported in the latest version

Package Constraint Compatible Latest Notes
clock ^1.1.1 1.1.2 1.1.2
collection ^1.18.0 1.19.1 1.19.1
temporal_logic_core ^0.1.0 0.1.0 0.1.0
temporal_logic_mtl ^0.2.0 0.2.0 0.2.0
Transitive dependencies
Package Constraint Compatible Latest Notes
async - 2.13.0 2.13.0
boolean_selector - 2.1.2 2.1.2
characters - 1.4.0 1.4.1
fake_async - 1.3.3 1.3.3
leak_tracker - 11.0.2 11.0.2
leak_tracker_flutter_testing - 3.0.10 3.0.10
leak_tracker_testing - 3.0.2 3.0.2
matcher - 0.12.17 0.12.17
material_color_utilities - 0.11.1 0.13.0
meta - 1.16.0 1.17.0
path - 1.9.1 1.9.1
source_span - 1.10.1 1.10.1
stack_trace - 1.12.1 1.12.1
stream_channel - 2.1.4 2.1.4
string_scanner - 1.4.1 1.4.1
term_glyph - 1.2.2 1.2.2
test_api - 0.7.6 0.7.7
vector_math - 2.2.0 2.2.0
vm_service - 15.0.2 15.0.2

To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.

Passed check 10/10 points: Package supports latest stable Dart and Flutter SDKs

Passed check 20/20 points: Compatible with dependency constraint lower bounds

pub downgrade does not expose any static analysis error.

Analyzed with Pana 0.23.0, Flutter 3.35.7, Dart 3.9.2.

Check the analysis log for details.

Weekly downloads

Display as:
By versions:

← Metadata

0
likes
140
points
29
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Metadata

Flutter integration (TraceRecorder, Matchers) for temporal logic.

Homepage
Repository (GitHub)
View/report issues

Documentation

API reference

License

MIT (license)

Dependencies

clock, collection, flutter, flutter_test, temporal_logic_core, temporal_logic_mtl

More

Packages that depend on temporal_logic_flutter

Back