Project

General

Profile

Bug #2134

Exception when opening MIRA

Added by Anonymous about 6 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
09/15/2014
Due date:
% Done:

100%

Estimated time:

Description

When opening the attached model, an exception occurs in method MiraUtils.getTraceNameString:

java.lang.StringIndexOutOfBoundsException: String index out of range: -2
at java.lang.String.substring(Unknown Source)
at org.fortiss.af3.mira.utils.MiraUtils.getTraceNameString(MiraUtils.java:943)
at org.fortiss.af3.mira.verification.ConstraintMessage.createTraceNotAnalyzedViolation(ConstraintMessage.java:172)
at org.fortiss.af3.mira.verification.RequirementTraceAnalyzedChecker.apply(RequirementTraceAnalyzedChecker.java:51)
at org.fortiss.af3.mira.verification.RequirementTraceAnalyzedChecker.apply(RequirementTraceAnalyzedChecker.java:1)
at org.fortiss.tooling.kernel.internal.ConstraintCheckerService.performConstraintCheck(ConstraintCheckerService.java:92)
at org.fortiss.tooling.kernel.internal.ConstraintCheckerService.performAllConstraintChecksRecursively(ConstraintCheckerService.java:61)
at org.fortiss.tooling.kernel.utils.ServicesUtils.performAllConstraintChecksRecursively(ServicesUtils.java:40)
at org.fortiss.tooling.kernel.ui.internal.MarkerService.refreshMarkers(MarkerService.java:188)
at org.fortiss.tooling.kernel.ui.internal.MarkerService$2.run(MarkerService.java:117)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:53)

!ENTRY org.eclipse.core.jobs 4 2 2014-09-15 11:13:18.497
!MESSAGE An internal error occurred during: "Model Constraint Checker Job".
!STACK 0
java.lang.StringIndexOutOfBoundsException: String index out of range: -2
at java.lang.String.substring(Unknown Source)
at org.fortiss.af3.mira.utils.MiraUtils.getTraceNameString(MiraUtils.java:943)
at org.fortiss.af3.mira.verification.ConstraintMessage.createTraceNotAnalyzedViolation(ConstraintMessage.java:172)
at org.fortiss.af3.mira.verification.RequirementTraceAnalyzedChecker.apply(RequirementTraceAnalyzedChecker.java:51)
at org.fortiss.af3.mira.verification.RequirementTraceAnalyzedChecker.apply(RequirementTraceAnalyzedChecker.java:1)
at org.fortiss.tooling.kernel.internal.ConstraintCheckerService.performConstraintCheck(ConstraintCheckerService.java:92)
at org.fortiss.tooling.kernel.internal.ConstraintCheckerService.performAllConstraintChecksRecursively(ConstraintCheckerService.java:61)
at org.fortiss.tooling.kernel.utils.ServicesUtils.performAllConstraintChecksRecursively(ServicesUtils.java:40)
at org.fortiss.tooling.kernel.ui.internal.MarkerService.refreshMarkers(MarkerService.java:188)
at org.fortiss.tooling.kernel.ui.internal.MarkerService$2.run(MarkerService.java:117)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:53)

History

#1 Updated by Anonymous about 6 years ago

  • Description updated (diff)

#2 Updated by Anonymous about 6 years ago

  • % Done changed from 0 to 100

#3 Updated by Anonymous about 6 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous

#4 Updated by Anonymous about 6 years ago

  • Status changed from Resolved to Closed

test ok

Also available in: Atom PDF