Package org.erights.e.elang.evm

The classes supporting the E Virtual Machine.

See:
Description

Interface Summary

Evaluator

Untamed: Evaluates and matches Kernel-E expressions and patterns explicitly, so that this evaluation can happen, for example, remotely.

Class Summary

AssignExpr	Safe: BNF: varName ":=" eExpr
AtomicExpr	Untamed:
CallExpr	Safe: BNF: eExpr.verb(args...
CatchExpr	Safe: BNF: "try" block "catch" pattern block.
CdrPattern	Safe: BNF: listPattern "+" pattern This tries to match a list that's at least listPattern long by matching each sub-pattern against the corresponding listPattern elements, and matching rest-pattern against a list of the rest of the elements.
DefineExpr	Safe: BNF: "def" pattern ":=" eExpr
EExpr	Untamed: Those ParseNodes that--after expansion--define the kernel expressions evaluated by the E Virtual Machine.
EImpl	Untamed: What an object expression evaluates to.
EImplByProxy	Untamed: An EImpl that's PassByProxy
EMethod	Safe:
EMethodNode	Safe:
EMethodTable	Untamed:
ENode	Untamed: Those ParseNodes that--after expansion--define the kernel nodes evaluated by the E Virtual Machine.
EscapeExpr	Safe: BNF: "escape" pattern "{" expr "}"
EScript	Safe:
FinallyExpr	Safe: BNF: "try" block "finally" block
FinalPattern	Safe: BNF: ID ':' expr
FrameFinalNounExpr	Untamed: What an object expression evaluates to.
FrameSlotNounExpr	Untamed: What an object expression evaluates to.
HideExpr	Safe: BNF: '{' expr '}'
IfExpr	Safe: BNF: "if" "(" cond-expr ")" "{" then-expr "}" "else" "{" else-expr "}"
IgnorePattern	Safe: BNF: "_"
ListPattern	Safe:
LiteralExpr	Safe: BNF: LiteralInteger | LiteralFloat64 | LiteralChar | LiteralString # (perhaps someday): | LiteralTwine
LiteralNounExpr	Untamed: A noun-expr for compile-time literals, particularly universal constants.
LiteralSlotNounExpr	Untamed:
LocalFinalNounExpr	Untamed:
LocalSlotNounExpr	Untamed:
MatchBindExpr	Safe: BNF: eExpr "=~" pattern
Matcher	Safe:
NounExpr	Untamed:
NounPattern	Safe: BNF: ID ':' expr
ObjectExpr	Safe: BNF: "def" litString [ "implements" eExpr* ] "{" method* [ matcher ] "}"
OuterNounExpr	Untamed:
ParseNode	Safe: A ParseNode of a program written in "kernel E".
Pattern	Untamed: A Pattern 1) "evaluates" in a scope, 2) matches some specimen object, 3) binding names in this scope to values derived (usually extracted) from the specimen, and 4) returns whether the match was successful.
QuasiLiteralExpr	Untamed: BNF: '$' '{' '}'
QuasiLiteralPatt	Untamed: BNF: '$' '{' '}'
QuasiPatternExpr	Untamed: BNF: '@' '{' '}'
QuasiPatternPatt	Untamed: BNF: '@' '{' '}'
ScopeExpr	Safe: BNF: "meta scope()"
SendExpr	Safe: BNF: eExpr "<-" request
SeqExpr	Safe: BNF: eExpr "\n" eExpr
SimpleNounExpr	Safe:
SlotExpr	Safe: BNF: "&" varName
StaticScope	Untamed:
SuchThatPattern	Safe: BNF: pattern "?" expr
TopNounExpr	Untamed:
VarPattern	Safe: BNF: 'var' ID ':' expr

Exception Summary

AuditFailedException

Untamed: This exception signals that an audit has failed.

Package org.erights.e.elang.evm Description

The classes supporting the E Virtual Machine.

This package consists primarily of the Kernel-E parse-tree classes, which will be replaced by the qdom classes, as explained in the links off the the Kernel-E Quick Reference Card.

Author:

Mark S. Miller