| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
| |
This makes things easier for users and packagers of libwabt.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
`ErrorHandler` complicated all error handling in wabt, since it was
callback-based. Callbacks would be useful if we ever wanted to change
behavior when an error occurred, but instead all that the handler ever
did was write the errors to stdout/stderr or to a buffer.
This change adds a new class `Error`, which contains an `ErrorLevel`, a
`Location` and an error message. It also replaces ErrorHandler with
`Errors` (a typedef for `std::vector<Error>`), and adds a couple of
functions that can format a list of `Errors` for output:
`FormatErrorsTo{String,File}`.
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Fixes issue #623.
* Move Token into its own file.
* Add WastParser tests. These ones are used because the source text is
very large, and it may be useful to generate parser tests
programmatically in the future too.
* Reorganize TokenType by the union data member it uses. This makes it
easier to determine which member needs to be
constructed/copied/destroyed.
- Bare (no data)
- Literal
- Opcode
- String
- Type
* Make Token store its string/literal data directly, rather than share
with lexer. This actually fixes the bug.
* Fix a couple of line-printing bugs:
- Very long tokens (e.g. "a" 20000 times) are now clamped to 80 chars.
- Very long lines are displayed properly in errors (e.g. a line with
65000 columns).
|
| |
|
| |
This way the names won't conflict with other headers with the same name.
|
| |
|
|
|
|
|
| |
* Unify all uses of `CHECK_RESULT`
* Use `CHECK_RESULT` in a few more places
* Add `operator|` and `operator|=` to `Result`, use it instead of
`COMBINE_RESULT`
* Change a few occurrences of `!Succeeded` to `Failed`
|
| |
|
|
|
|
|
|
| |
* Remove WABT_ZERO_MEMORY WABT_FAILED and WABT_SUCCEEDED macros.
* Add source generated files.
* Add pod check.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* Add support for quoted modules: `(module quote "...")`
* Binary modules must be annotated: `(module binary "...")`
* Multiple result blocks are no longer a parser error:
`(func (result i32) (result i32) ...)`
* Function types can specify unused bind variables:
`(type (func (param $foo)))`
* Rename `RawModule` -> `ScriptModule`. This encapsulates a module that
may not be parsed yet, whether binary or "quoted".
* Validate load/store offsets and alignment in the parser, not in the
validator. The spec tests assume that you can catch these errors with
`assert_malformed`.
* Parse wast files in `wasm-interp` when checking malformed/invalid/etc.
modules. This allows us to run all assertions at the same time, which
is nice. `wasm-interp` should probably be renamed, though.
* Two tests in `type.wast` fail because they use:
`(assert_invalid (module quote "..."))`. I'd prefer that we don't
support this, since it's unnecessary, and additional work. I'll fix in
a follow-up CL if we decide this is worth keeping.
|
|
|
* Add class LexerSource: it encapsulates reading data from a source,
either buffer or file.
* Add class LexerSourceLineFinder: it uses a LexerSource to read a line
from the source for displaying in errors. It lazily caches line
numbers -> file offsets, so no work is done unless an error occurs.
* Make WastLexer a class instead of a struct.
|
