Code doc

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3380 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/ModulesFile.java

@@ -772,8 +772,8 @@ public class ModulesFile extends ASTElement
 	}
 
 	/**
-	 * Get access to the values assigned to undefined constants in the model,
-	 * as set previously via the method {@link #setUndefinedConstants(Values)}.
+	 * Get access to the values for all constants in the model, including the 
+	 * undefined constants set previously via the method {@link #setUndefinedConstants(Values)}.
 	 * Until they are set for the first time, this method returns null.  
 	 */
 	public Values getConstantValues()

prism/src/parser/ast/PropertiesFile.java

@@ -448,8 +448,8 @@ public class PropertiesFile extends ASTElement
 	}
 	
 	/**
-	 * Get access to the values assigned to constants in the model,
-	 * as set previously via the method {@link #setUndefinedConstants(Values)}
+	 * Get access to the values for all constants in the properties file, including the
+	 * undefined constants set previously via the method {@link #setUndefinedConstants(Values)}
 	 * or {@link #setUndefinedConstants(Values)}. If neither method has been called
 	 * constant values will have been evaluated assuming that there are no undefined constants.
 	 */