From a066e5db8e58e86e5c87a951edfc88ab133f7c35 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Oct 2011 07:38:15 +0000 Subject: [PATCH] =?UTF-8?q?Bugfix=20in=20handling=20of=20init/deadlock=20l?= =?UTF-8?q?abels=20during=20constant=20processing=20-=20e.g.=20P=3D=3F[F?= =?UTF-8?q?=20"deadlock"&x=3Di]=20failed=20if=20i=20was=20a=20constant.?= git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4085 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../parser/visitor/GetAllUndefinedConstantsRecursively.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java b/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java index b76ad0cc..baff391c 100644 --- a/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java +++ b/prism/src/parser/visitor/GetAllUndefinedConstantsRecursively.java @@ -72,6 +72,10 @@ public class GetAllUndefinedConstantsRecursively extends ASTTraverse public void visitPost(ExpressionLabel e) throws PrismLangException { + // Ignore special cases of labels (no constants there) + if (e.getName().equals("deadlock") || e.getName().equals("init")) { + return; + } // Look up this label in the label list int i = labelList.getLabelIndex(e.getName()); if (i == -1)