From 3e8f246006dce4511a766fee7071f691a166486c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Aug 2011 14:25:22 +0000 Subject: [PATCH] Typos in javadoc comments. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3550 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/ModulesFile.java | 2 +- prism/src/parser/ast/PropertiesFile.java | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java index ac51e38f..0a532e69 100644 --- a/prism/src/parser/ast/ModulesFile.java +++ b/prism/src/parser/ast/ModulesFile.java @@ -761,7 +761,7 @@ public class ModulesFile extends ASTElement * Set values for *all* undefined constants and then evaluate all constants. * If there are no undefined constants, {@code someValues} can be null. * Undefined constants can be subsequently redefined to different values with the same method. - * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. + * The current constant values (if set) are available via {@link #getConstantValues()}. * Calling this method also triggers some additional semantic checks * that can only be done once constant values have been specified. */ diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java index 1a14d8e3..ebd36208 100644 --- a/prism/src/parser/ast/PropertiesFile.java +++ b/prism/src/parser/ast/PropertiesFile.java @@ -421,7 +421,7 @@ public class PropertiesFile extends ASTElement * Set values for *all* undefined constants and then evaluate all constants. * If there are no undefined constants, {@code someValues} can be null. * Undefined constants can be subsequently redefined to different values with the same method. - * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. + * The current constant values (if set) are available via {@link #getConstantValues()}. */ public void setUndefinedConstants(Values someValues) throws PrismLangException { @@ -436,7 +436,7 @@ public class PropertiesFile extends ASTElement * Set values for *some* undefined constants and then evaluate all constants where possible. * If there are no undefined constants, {@code someValues} can be null. * Undefined constants can be subsequently redefined to different values with the same method. - * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. + * The current constant values (if set) are available via {@link #getConstantValues()}. */ public void setSomeUndefinedConstants(Values someValues) throws PrismLangException {