| Class | Description |
|---|---|
| AbstractProjectCommand<T> |
Provides an abstract command from which other commands for controlling the
Whiley compiler can be derived.
|
| Interpreter | |
| Interpreter.Environment | |
| Interpreter.Record | |
| SmallWorldDomain |
The small world domain stems from the theory that all bugs can be found with
a "small world".
|
| TypeChecker |
Implements a flow-sensitive type checker for WyAL source files which
performs various tasks: firstly, it checks that the various kinds of
expression are used correctly using flow typing to help; secondly, it checks
that declarations are "sensible"; finally, it resolves function and macro
invocations based on their type signature.
|
| WyalFileResolver |
Responsible for resolving a name which occurs at some position in a WyalFile.
|
| Exception | Description |
|---|---|
| Interpreter.UndefinedException |
Copyright © 2017. All rights reserved.