package jetbrains.mps.baseLanguage.test;

/*Generated by MPS */

import jetbrains.mps.MPSLaunch;
import jetbrains.mps.lang.test.runtime.BaseTransformationTest;
import org.junit.jupiter.api.extension.RegisterExtension;
import jetbrains.mps.lang.test.runtime.TestParametersCacheExtension;
import jetbrains.mps.lang.test.runtime.TestParametersCache;
import org.junit.jupiter.api.Test;
import jetbrains.mps.lang.test.runtime.BaseTestBody;
import jetbrains.mps.lang.test.runtime.TransformationTest;
import org.jetbrains.mps.openapi.model.SNode;
import jetbrains.mps.lang.test.runtime.CheckExpectedMessageRunnable;
import jetbrains.mps.errors.MessageStatus;
import jetbrains.mps.smodel.SNodePointer;
import jetbrains.mps.project.ProjectBase;
import jetbrains.mps.lang.test.runtime.CheckErrorMessagesRunnable;
import jetbrains.mps.internal.collections.runtime.ListSequence;
import java.util.ArrayList;

@MPSLaunch
public class SwitchStatementDuplicateCase_Test extends BaseTransformationTest {
  @RegisterExtension
  private static final TestParametersCacheExtension ourParametersCacheExtension = new TestParametersCacheExtension(new TestParametersCache(SwitchStatementDuplicateCase_Test.class, "${mps_home}", "r:00000000-0000-4000-0000-011c895902c7(jetbrains.mps.baseLanguage.test@tests)", false));

  public SwitchStatementDuplicateCase_Test() {
    super(ourParametersCacheExtension.getParametersCache());
  }

  @Test
  public void test_NodeDuplicateCaseCheck6427750727968830896() throws Throwable {
    new TestBody(this).test_NodeDuplicateCaseCheck6427750727968830896();
  }
  @Test
  public void test_NodeDuplicateCaseCheck6427750727968830978() throws Throwable {
    new TestBody(this).test_NodeDuplicateCaseCheck6427750727968830978();
  }
  @Test
  public void test_ErrorMessagesCheck6427750727968830833() throws Throwable {
    new TestBody(this).test_ErrorMessagesCheck6427750727968830833();
  }
  @Test
  public void test_NodeDuplicateCaseCheck8139570363454868788() throws Throwable {
    new TestBody(this).test_NodeDuplicateCaseCheck8139570363454868788();
  }
  @Test
  public void test_NodeDuplicateCaseCheck8139570363454868798() throws Throwable {
    new TestBody(this).test_NodeDuplicateCaseCheck8139570363454868798();
  }
  @Test
  public void test_ErrorMessagesCheck8139570363454868804() throws Throwable {
    new TestBody(this).test_ErrorMessagesCheck8139570363454868804();
  }

  /*package*/ static class TestBody extends BaseTestBody {

    /*package*/ TestBody(TransformationTest owner) {
      super(owner);
    }

    public void test_NodeDuplicateCaseCheck6427750727968830896() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("6427750727968830706");
        SNode operation = getRealNodeById("6427750727968830896");
        new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(nodeToCheck, MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeDuplicateCaseCheck6427750727968830978() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("6427750727968830812");
        SNode operation = getRealNodeById("6427750727968830978");
        new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(nodeToCheck, MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_ErrorMessagesCheck6427750727968830833() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("6427750727968817833");
        SNode operation = getRealNodeById("6427750727968830833");
        new CheckErrorMessagesRunnable(nodeToCheck, false, false, ((ProjectBase) myProject).getPlatform()).includeSelf(true).exclude(ListSequence.fromListAndArray(new ArrayList<CheckExpectedMessageRunnable>(), new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(getRealNodeById("6427750727968830706"), MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(getRealNodeById("6427750727968830812"), MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()))).run();
      });
    }
    public void test_NodeDuplicateCaseCheck8139570363454868788() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("8139570363454868786");
        SNode operation = getRealNodeById("8139570363454868788");
        new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(nodeToCheck, MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeDuplicateCaseCheck8139570363454868798() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("8139570363454868796");
        SNode operation = getRealNodeById("8139570363454868798");
        new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(nodeToCheck, MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_ErrorMessagesCheck8139570363454868804() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("8139570363454868778");
        SNode operation = getRealNodeById("8139570363454868804");
        new CheckErrorMessagesRunnable(nodeToCheck, false, false, ((ProjectBase) myProject).getPlatform()).includeSelf(true).exclude(ListSequence.fromListAndArray(new ArrayList<CheckExpectedMessageRunnable>(), new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(getRealNodeById("8139570363454868786"), MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckExpectedRuleMessageRunnable(getRealNodeById("8139570363454868796"), MessageStatus.ERROR, new SNodePointer("r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)", "8572110276180226257"), "Error: Duplicate case", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()))).run();
      });
    }

  }
}
