Package Toolbox UI smoke tests for p2 update manager testing approach.

[Tests][Toolbox]

org.lamport.tla.toolbox.feature.uitest/.project

+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.lamport.tla.toolbox.feature.uitest</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.pde.FeatureBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.pde.FeatureNature</nature>
+	</natures>
+</projectDescription>

org.lamport.tla.toolbox.feature.uitest/build.properties

+bin.includes = feature.xml

org.lamport.tla.toolbox.feature.uitest/feature.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<feature
+      id="org.lamport.tla.toolbox.feature.uitest"
+      label="TLA+ Toolbox UI test Feature"
+      version="1.0.0.qualifier"
+      provider-name="Markus Kuppe"
+      license-feature="org.lamport.tla.toolbox.feature.branding"
+      license-feature-version="1.0.0.qualifier">
+
+   <description>
+      This feature contains all UI tests.
+   </description>
+
+   <includes
+         id="org.eclipse.swtbot"
+         version="0.0.0"/>
+
+   <includes
+         id="org.eclipse.swtbot.eclipse"
+         version="0.0.0"/>
+
+   <includes
+         id="org.eclipse.swtbot.eclipse.test.junit"
+         version="0.0.0"/>
+
+   <includes
+         id="org.eclipse.swtbot.forms"
+         version="0.0.0"/>
+
+   <plugin
+         id="org.lamport.tla.toolbox.uitest"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.lamport.tla.toolbox.tool.tlc.ui.uitest"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.lamport.tla.toolbox.tool.tla2tex.uitest"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.apache.log4j"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.hamcrest.library"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.eclipse.jdt.junit.runtime"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
+   <plugin
+         id="org.apache.ant"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"/>
+
+</feature>

org.lamport.tla.toolbox.feature.uitest/pom.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<project
+  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
+  xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <modelVersion>4.0.0</modelVersion>
+  <parent>
+    <artifactId>parent</artifactId>
+    <groupId>tlatoolbox</groupId>
+    <version>0.0.1-SNAPSHOT</version>
+    <relativePath>../pom.xml</relativePath>
+  </parent>
+  <groupId>tlatoolbox</groupId>
+  <artifactId>org.lamport.tla.toolbox.feature.uitest</artifactId>
+  <version>1.0.0-SNAPSHOT</version>
+  <packaging>eclipse-feature</packaging>
+  <properties>
+      <!-- Do not include non-code project in Sonar reporting. -->
+      <sonar.skip>true</sonar.skip>
+  </properties>
+</project>

org.lamport.tla.toolbox.p2repository/category.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <site>
+   <feature url="features/org.lamport.tla.toolbox.feature.uitest_1.0.0.qualifier.jar" id="org.lamport.tla.toolbox.feature.uitest" version="1.0.0.qualifier">
+      <category name="tychotest.category"/>
+   </feature>
    <feature url="features/org.lamport.tla.toolbox.feature.standalone_1.0.0.qualifier.jar" id="org.lamport.tla.toolbox.feature.standalone" version="1.0.0.qualifier">
       <category name="tychodemo.category"/>
    </feature>
@@ -11,4 +14,9 @@
          TLA+ Toolbox Category
       </description>
    </category-def>
+   <category-def name="tychotest.category" label="Test Category - please ignore">
+      <description>
+         Please ignore this category which is only relevant for Toolbox testing!
+      </description>
+   </category-def>
 </site>

org.lamport.tla.toolbox.tool.tlc.ui.uitest/src/org/lamport/tla/toolbox/SmokeTests.java

+package org.lamport.tla.toolbox;
+
+import org.junit.runner.RunWith;
+import org.junit.runners.Suite;
+import org.junit.runners.Suite.SuiteClasses;
+import org.lamport.tla.toolbox.tool.tlc.ui.test.ModelCheckerTest;
+import org.lamport.tla.toolbox.ui.handler.CloneModelTest;
+import org.lamport.tla.toolbox.ui.handler.RenameSpecHandlerTest;
+
+@RunWith(Suite.class)
+@SuiteClasses({
+    ModelCheckerTest.class,
+    CloneModelTest.class,
+    RenameSpecHandlerTest.class
+})
+
+public class SmokeTests {}

pom.xml

@@ -66,6 +66,7 @@
 		<module>org.lamport.tla.toolbox.feature.prover</module>
 		<module>org.lamport.tla.toolbox.feature.tla2tex</module>
 		<module>org.lamport.tla.toolbox.feature.tlc</module>
+		<module>org.lamport.tla.toolbox.feature.uitest</module>
 		<module>org.lamport.tla.toolbox.feature.branding</module>
 		<module>org.lamport.tla.toolbox.feature.standalone</module>