From d6bc7b263d90cfaf4e36ec40ecbb86fbd657a1f2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 8 Jun 2011 08:55:21 +0000 Subject: [PATCH] ModulesFile: getRewardStructByName method + cmment tidies. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3041 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/ModulesFile.java | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java index e31f812f..64fbff26 100644 --- a/prism/src/parser/ast/ModulesFile.java +++ b/prism/src/parser/ast/ModulesFile.java @@ -259,8 +259,9 @@ public class ModulesFile extends ASTElement } /** - * Get a reward structure by its index. - * (indexed from 0, not from 1 like at the user (property language) level) + * Get a reward structure by its index + * (indexed from 0, not from 1 like at the user (property language) level). + * Returns null if index is out of range. */ public RewardStruct getRewardStruct(int i) { @@ -277,7 +278,8 @@ public class ModulesFile extends ASTElement /** * Get the index of a module by its name - * (indexed from 0, not from 1 like at the user (property language) level) + * (indexed from 0, not from 1 like at the user (property language) level). + * Returns -1 if name does not exist. */ public int getRewardStructIndex(String name) { @@ -290,6 +292,16 @@ public class ModulesFile extends ASTElement return -1; } + /** + * Get a reward structure by its name + * Returns null if name does not exist. + */ + public RewardStruct getRewardStructByName(String name) + { + int i = getRewardStructIndex(name); + return i == -1 ? null : getRewardStruct(i); + } + /** * Get the first reward structure (exists for backwards compatibility only). */