ESCJava2GuardedCommandASTExplanation

The old GC AST available within the PVE takes the following non-terminals as primitives: Identifier, Literal, UnaryOp, BinOp, Function. The first four of these are supersets of the corresponding non-terminals in the Java AST. The guarded command non-terminal variable includes every Java variable, field, and label, as well as some variables introduced by the translation. The non-terminal Function includes the functions described in the Logic of ESC/Java.

Version: 1 Time: Thu Mar 27 17:20:37 2008 Author: dcochran (dcochran) IP: 193.1.132.32