Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/be5invis/patrisika
An AST Library
https://github.com/be5invis/patrisika
Last synced: about 2 months ago
JSON representation
An AST Library
- Host: GitHub
- URL: https://github.com/be5invis/patrisika
- Owner: be5invis
- License: mit
- Created: 2013-07-31T13:02:16.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2024-02-23T09:23:20.000Z (10 months ago)
- Last Synced: 2024-04-25T11:41:21.852Z (8 months ago)
- Language: JavaScript
- Size: 226 KB
- Stars: 50
- Watchers: 6
- Forks: 6
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
Patrisika [Revented]
===================================
An library converts orthogonal AST into SpiderMonkey AST.
Semantics
-----------------------------------
AST for Patrisika is provided as JavaScript arraies. The following forms represents a node:
### 'identifier'
Represents a variable.
### ['.quote', value]
Represents a literal value.
### ['.unit']
Represents `undefined` value.
### ['.thisp']
Represents `this` reference.
### ['.argsp']
Represents argument list passed into the current function.
### ['.lambda', [...params], body]
Defines an anonymous function.
### ['.list', ...items]
Represents an array.
### ['.hash', ...['propName', propValue]]
Represents an object.
### ['.', base, member]
Represents a membering operation, i.e. `base[member]`.
### ['.if', condition, consequent, alternate?]
Represents a conditional evaluation.
### ['.while', condition, body]
Represents a while loop evaluation. It returns the value of `body` in the last evaluation.
### ['.begin', ...items]
Represents a sequencial evaluation. Returns the last item evaluated.
### ['.return', value]
Return a value. Similar to JavaScript `return` statement.
### ['.try', block, [param], handler]
Represents a exception handling expression. Returns the value of `block` normally, or the value of `handler1` when a exception is thrown during evaluating `block`.
### ['.throw', value]
Throws value as an exception.
### ['.set', left, right]
Assign `right` to variable or property node `left`.
### [fn, ...args]
Once `fn` is a valid node, it means a common function invocation.
### ['.new', callee, ...args]
Initiates an instance of constructor `callee`, with `args` as arguments.
### ['.yield', value]
Represents a ES6 `yield` expression. Any functions directly containing such node will become a generator function described in ES6 specification.
### ['.beta', [...params], body, ...args]
Represents a beta redex which is similar to `[['.lambda', [...params], body], ...args]`, used to implement semantics of `let` in scheme.
### Operators
- Unary operator
- `['.typeof', x]` : `typeof`
- `['!', x]` : `!`
- `['+', x]` : `+`
- `['-', x]` : `-`
- Binary and Logical operator
- `['+', x, y]` : `+` (both numeric and string)
- `['-', x, y]` : `-`
- `['*', x, y]` : `*`
- `['/', x, y]` : `/`
- `['%', x, y]` : `%`
- `['<', x, y]` : `<`
- `['>', x, y]` : `>`
- `['<=', x, y]` : `<=`
- `['>=', x, y]` : `>=`
- `['===', x, y]` : `===`
- `['!==', x, y]` : `!==`
- `['=~', x, y]` : `==`
- `['!~', x, y]` : `!=`
- `['.is', x, y]` : `instanceof`
- `['&&', x, y]` : `&&`
- `['||', x, y]` : `||`
Usage
-----------------------------------
Using Patrisika is pretty simple and straight forward:
```javascript
// Note : global scopes must be provided. Undeclared variables in Patrisika
// are treated as local variables, instead of global.
var globalScope = new Patrisika.DefaultExterns;
globalScope.declare("globalVariable");
patrisika.compile(ast, globals);
```