Minnesota Extensible Language Tools Group
Silver runtime
| silver | A main function for invoking the Silver compiler. (To set up the class path to find the runtime jars, etc.) |
|---|---|
| common.rawlib | Adapters for some Java data structures, so they can be called easier from Silver. |
| common.javainterop | Some utilities for working with Silver stuffs from Java code. (currently iterator for lists and comparator from silver functions.) |
| common.exceptions | Contains the Silver-specific exceptions. See the JavaDocs for the class for details. |
| common | See below |
The basic mechanics:
- Lazy - Essentially just a function pointer. Given a context to evaluate.
- Thunk - Thunk. No context necessary.
- There’s also PatternLazy - just a detail about pattern matching translation
- Also CollectionAttribute - A Lazy, that allows contributions to be mutated in.
The basic data structures:
- StringCatter - A special string representation to make appends efficient.
- ConsCell - List cons cells. (They’re special-cased because lists are so common that it’s important to be space efficient. And also to have efficient appends…) (NilConsCell is a nested class inside ConsCell, and not referenceable.)
- AppendCell - Actually implements the special optimization for list appends.
Attribute-grammary data structures:
- Terminal - Representation for terminals.
- Node - represents undecorated nodes. (i.e. given children, but nothing more.)
- DecoratedNode - Given inherited attribute values. Can be examined for attributes, etc.
Related attribute-grammary stuffs:
- FunctionNode - Closes off parts of Node that don’t apply for functions.
- NodeFactory - Represents the type of Silver functions.
- AttributeSection - A kind NodeFactory for accessing an attribute (the (.pp) syntax)
- PartialNodeFactory - Implements partial application.
- TopNode - A decorated node that errors if it’s ever used. Maybe slightly nicer than using ‘null’ whenever a ‘context’ is required, but nonexistent.
Util is just a random collection of static methods, often used by the ‘core’ library.
Ignore this crap:
- IOToken - not yet used, but will eventually just be the ‘
IO’ value. - Statistics - ignore it. Nasty.
- Every nonterminal is class that inherits from Node
- Every production is a class that inherits from the nonterminal class
- Every production and function has a static ‘invoke’ method, and a ‘factory’ field that is the NodeFactory value for that function.
- The Init.java for every grammar has a count of number of syn/inh on every nonterminal and locals on every production.
- This is used during initialization to give indexes into arrays for all syn/inh/locals. (Typically given names like occurs.grammar.name.Init.attribute_grammar_attrONnonterminal_grammar_nt)
Grep for things to see how they’re used.