dart-sdk/pkg/kernel
Jens Johansen 5b5956bd4e [CFE] First pass at internal test utility
This is a first pass at running inlined tests
(seemingly called doctests in for instance python) on internal CFE code.

This is not useful for testing the entire compiler for instance, but
could be useful for utility methods that take simple inputs and provide
simple outputs.

I've added tests to a few tings to try it out.

The syntax for it here is probably overly verbose but we could iterate
on that if need be.

The way it's done is that the test-code is extracted from the comments
and (virtually) "injected" in a weirdly named top level method of the
same file, which is then called from a "fake" main; the whole thing is
compiled to dill and run in an isolate.
(This is an application where making advanced invalidation support
adding top level methods would be great).

Change-Id: I7927822bca0ba68780458c40fe585882330e3b60
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/203242
Commit-Queue: Jens Johansen <jensj@google.com>
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
2021-06-22 08:12:58 +00:00
..
bin [kernel] Reland: Migrate remaining bin/lib libraries in package:kernel 2021-04-28 14:36:53 +00:00
doc
lib [CFE] First pass at internal test utility 2021-06-22 08:12:58 +00:00
test [cfe] Make TypeParameter.defaultType non-nullable 2021-04-21 13:51:50 +00:00
tool [kernel,front_end] Migrate first wave of pkg/kernel and pkg/front_end 2021-01-18 15:40:21 +00:00
.gitignore
analysis_options.yaml [kernel] Enforce lints in pkg/kernel 2020-11-11 12:51:28 +00:00
AUTHORS
binary.md [cfe] Add ConstructorTearOff Kernel AST node 2021-06-16 15:20:17 +00:00
codereview.settings
LICENSE Update LICENSE 2021-04-07 10:28:38 +00:00
PRESUBMIT.py
problems.md [CFE] Special case StrongModeNNBDPackageOptOut message in IncrementalCompiler 2020-11-05 09:43:23 +00:00
pubspec.yaml [kernel] Migrate more libraries in package:kernel 2021-03-18 11:06:18 +00:00
README.md

Dart Kernel

Dart Kernel is a small high-level language derived from Dart. It is designed for use as an intermediate format for whole-program analysis and transformations, and to be consumed by codegen and execution backends.

The kernel language has an in-memory representation in Dart and can be serialized as binary or text.

Both the kernel language and its implementations are unstable and are under development.

This package contains the Dart part of the implementation and contains:

  • A transformable IR for the kernel language
  • Serialization of kernel code

Note: The APIs in this package are in an early state; developers should be careful about depending on this package. In particular, there is no semver contract for release versions of this package. Please depend directly on individual versions.

See ast.dart for the in-memory IR, or binary.md for a description of the binary format. For now, the textual format is very ad-hoc and cannot be parsed back in.