Mercurial > hg > Applications > JavaLite

changeset 77:c92c9e11d525

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
comments
author kono
date Thu, 17 Jan 2008 10:42:05 +0900
parents 854477cf9aa9
children 70cc3ff5c73b
files src/parser/LogicNodeScope.java
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/parser/LogicNodeScope.java	Thu Jan 17 03:45:54 2008 +0900
+++ b/src/parser/LogicNodeScope.java	Thu Jan 17 10:42:05 2008 +0900
@@ -4,10 +4,12 @@
 
 /*
  * Scope mechnism for local variable
- *    exists(x,(x,y))
- *    previous x token is stored in assocation list
- *    pop() remove local x token and restore previous x
- *    previous x may be null. 
+ *    define("<>(x)","~(true& ~x)");
+ *    previous x token is stored in an assocation list
+ *    pop() remove local x token and restore previous x.
+ *    previous x may be null. We cannot use this scope
+ *    for quantifiers since our macro evaluator alreday
+ *    convert everything in symbols.
  */
 public class LogicNodeScope<Node> {
 	public TreeMap<String,Token<Node>> scope;