From da822f4a6b09ec61d5e19a984034459244e0e359 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 7 Jan 2011 09:03:58 +0000
Subject: [PATCH] Code comments.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2378 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/visitor/ASTTraverse.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/parser/visitor/ASTTraverse.java b/prism/src/parser/visitor/ASTTraverse.java
index e4845f2d..811ea2c3 100644
--- a/prism/src/parser/visitor/ASTTraverse.java
+++ b/prism/src/parser/visitor/ASTTraverse.java
@@ -180,6 +180,8 @@ public class ASTTraverse implements ASTVisitor
 	public void visitPre(Module e) throws PrismLangException { defaultVisitPre(e); }
 	public Object visit(Module e) throws PrismLangException
 	{
+		// Note: a few classes override this method (e.g. SemanticCheck)
+		// so take care to update those versions if changing this method
 		visitPre(e);
 		int i, n;
 		n = e.getNumDeclarations();
@@ -200,6 +202,8 @@ public class ASTTraverse implements ASTVisitor
 	public void visitPre(Command e) throws PrismLangException { defaultVisitPre(e); }
 	public Object visit(Command e) throws PrismLangException
 	{
+		// Note: a few classes override this method (e.g. SemanticCheck)
+		// so take care to update those versions if changing this method
 		visitPre(e);
 		e.getGuard().accept(this);
 		e.getUpdates().accept(this);