Skip to content

Commit

Permalink
fixed Tests, Addresses Issue #25
Browse files Browse the repository at this point in the history
  • Loading branch information
APHDKO committed Mar 5, 2024
1 parent b704a1d commit 0848706
Showing 1 changed file with 3 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,6 @@
import carisma.tests.modelutils.uml.TestHelper;


@Ignore
public class AuthorizedStatusEvolutionChecksTest {

private class TestHost implements AnalysisHost{
Expand Down Expand Up @@ -237,7 +236,7 @@ public final void testASAddTransition() {
AddElement addTransition = new AddElement(region1, transition.eClass(), null);
addTransition.addKeyValuePair(NAME, "newTransition");
addTransition.addKeyValuePair("source", "State2");
addTransition.addKeyValuePair("target", "Region::State1");
addTransition.addKeyValuePair("target", "State1");
List<DeltaElement> content = new ArrayList<>();
content.add(addTransition);
this.deltas.add(new Delta(new ArrayList<String>(), content));
Expand Down Expand Up @@ -265,7 +264,7 @@ public final void testASAddTransition() {
public final void testASSubstPermission() {
init("testASSubstPermission.uml");
try {
State authorizedState = UMLHelper.getElementOfNameAndType(this.model, "Region::State1", State.class);
State authorizedState = UMLHelper.getElementOfNameAndType(this.model, "State1", State.class);
assertNotNull(authorizedState);
StereotypeApplication authorizedApp = UMLHelper.getStereotypeApplication(authorizedState, AUTHORIZED_STATUS);
assertNotNull(authorizedApp);
Expand Down Expand Up @@ -330,7 +329,7 @@ public final void testASSubstGuard() {
AuthorizedStatusEvolutionModifierCheck theCheck = new AuthorizedStatusEvolutionModifierCheck();
assertFalse(theCheck.perform(null, this.testHost));

State authorizedState = UMLHelper.getElementOfNameAndType(this.model, "Region::State1", State.class);
State authorizedState = UMLHelper.getElementOfNameAndType(this.model, "State1", State.class);
assertNotNull(authorizedState);
UMLHelper.unapplyStereotype(authorizedState, QUALIFIED_AUTHORIZED_STATUS);
this.deltas.clear();
Expand Down

0 comments on commit 0848706

Please sign in to comment.