d4t_formulas/lib/defaults/default_corpus.dart

58 lines
1.6 KiB
Dart
Raw Normal View History

import 'dart:async';
2025-09-20 14:46:21 +00:00
import 'dart:convert' show utf8;
import 'package:flutter/services.dart' show rootBundle;
2025-09-20 14:46:21 +00:00
import 'package:resource_portable/resource_portable.dart' show Resource;
import '../corpus.dart';
import '../formula_models.dart';
2025-09-20 14:46:21 +00:00
Future<Corpus> createDefaultCorpus() async{
final corpus = Corpus();
Future<String> loadResourceAsString(String path) async {
return await rootBundle.loadString(path, cache: false);
}
2025-09-20 14:46:21 +00:00
Future<void> loadUnits() async {
final unitResources = [
"assets/units/angle.d4rt.units",
"assets/units/area.d4rt.units",
"assets/units/currency.d4rt.units",
"assets/units/distance.d4rt.units",
"assets/units/energy.d4rt.units",
"assets/units/force.d4rt.units",
"assets/units/mass.d4rt.units",
"assets/units/pressure.d4rt.units",
"assets/units/scalar.d4rt.units",
"assets/units/temperature.d4rt.units",
"assets/units/time.d4rt.units",
"assets/units/velocity.d4rt.units",
2025-09-20 14:46:21 +00:00
];
for (final unitRes in unitResources) {
print( "Loading units from $unitRes");
final literal = await loadResourceAsString(unitRes);
2025-09-20 14:46:21 +00:00
final units = UnitSpec.fromArrayStringLiteral(literal);
corpus.loadUnits(units);
}
}
Future<void> loadFormulas() async {
final formulaResources = ["assets/formulas/formulas.d4rt"];
2025-09-20 14:46:21 +00:00
for (final formRes in formulaResources) {
final literal = await loadResourceAsString(formRes);
2025-09-20 14:46:21 +00:00
final formulas = Formula.fromArrayStringLiteral(literal);
corpus.loadFormulas(formulas);
}
}
await loadUnits();
await loadFormulas();
return corpus;
}