eMoflon
/
emoflon-ibex-tests
mirror of https://github.com/eMoflon/emoflon-ibex-tests.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
A collection of all tests for ibex variants
1,186 Commits 26 Branches 3 Tags 86 MiB
Java 91.7%
GAP 4.2%
Xtend 3.8%
Haskell 0.3%
Go to file
Maximilian Kratz 26fe2c5436 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Algorithms Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BPMN Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BPMN-GraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BenchmarxFamiliesToPersons Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BlockCodeAdapter Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BlockDiagram Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BlockDiagramCodeAdapter Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BlockDiagramCodeAdapter_EdgeRules Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
BlockLanguage Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ClassInhHier2DB Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ClassInheritanceHierarchy Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ClassMultipleInheritanceHierarchy Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ClassMultipleInheritanceHierarchyGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Clazz2GlossarDoc Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
CompanyLanguage Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
CompanyToIT Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ConstructionPlan Added models for benchmark 2023-01-24 18:18:25 +01:00
Database Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Documents Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
EconomicsModel MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
Express2UML Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExpressModel MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
ExtDocModel Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExtType2Doc_ConcSync Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExtType2Doc_LookAhead Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExtType2Doc_SCDerived Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExtType2Doc_ShortCut Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ExtTypeModel Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FamiliesToPersons_V0 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FamiliesToPersons_V1 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FamiliesWithSiblings Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FastEconomy Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FeatureModelConcise Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FeatureModelConciseToSafe Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FeatureModelSafe Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FerrymanProblem Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
FerrymanProblemGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
GlossarDocumentation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
GroupVotersModel MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
HospitalExample MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
HospitalTransformRules/META-INF Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
HospitalTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
IBeXTGGGantt2CPM Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ITLanguage Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Java MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
Java2Doc Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
META-INF everythin else 2021-06-05 15:16:32 +02:00
MetamodelInheritance Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MetamodelInheritance2 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MetamodelInheritance3 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MetamodelInheritanceTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MoDiscoIbexTGG Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MocaTree Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
MocaTreeToProcess Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ProcessCodeAdapter Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
ProcessDefinition Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SheRememberedCaterpillars Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SheRememberedCaterpillarsGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleChemistry MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
SimpleChemistryGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleClassInheritance Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleDoc Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleEconomy MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
SimpleEconomyGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleFamilies Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleFamiliesGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleFamiliesToSimplePersonsGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleJava Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleNetwork Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleNetworkGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimpleNetworkGraphTransformation2 Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimplePersons Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SimplePersonsGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
SlowEconomy Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Strategies Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
TerraceHouses Merge remote-tracking branch 'origin/AdrianM/higher-order-scr' 2023-02-28 13:32:33 +01:00
TerraceHouses2BlockSet Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Testsuite Added expected models for diamand test 2023-01-04 17:29:18 +01:00
TestsuiteGT Updates JUnit dependency (naming scheme) 2022-09-15 15:08:27 +02:00
TrainLanguage MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
TrainToVehicle Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Triangles Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
TrianglesGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
Types MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
UML Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
UML2 MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
VHDLModel Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
VHDLTGGCodeAdapter Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
VehicleLanguage MANIFEST changes: JDK17 + new formatter 2023-02-23 16:10:10 +01:00
Village Added models for benchmark 2023-01-24 18:18:25 +01:00
Village2ConstrPlan Add stub constructor 2023-02-03 11:48:03 +01:00
VoterModelGraphTransformation Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
WoodenBlockSet Merge remote-tracking branch 'origin/AdrianM/higher-order-scr' 2023-02-28 13:32:33 +01:00
benchmarx Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
org.emoflon.express Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
org.emoflon.express.ide Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
org.emoflon.express.ui Updates Java version to JDK 17 in all projects 2023-10-12 16:36:25 +02:00
tggs/IBeXTGGGantt2CPM/src/org/emoflon/ibex/tgg/run/ibextgggantt2cpm Add newly generated run files for IBeXTGGGantt2CPM 2019-05-08 13:27:27 +02:00
.gitignore ignoring generated files in /src-gen/ 2019-05-31 10:30:36 +02:00
README.md Style adjustments in README.md 2022-06-21 16:09:21 +02:00
testProjectSet-GT.psf Updates complete PSF file 2023-03-12 16:44:26 +01:00
testProjectSet-TGG.psf Updates complete PSF file 2023-03-12 16:44:26 +01:00
testProjectSet.psf Updates complete PSF file 2023-03-12 16:44:26 +01:00

README.md

Tests for eMoflon::IBeX

A collection of JUnit tests for eMoflon::IBeX.

Testsuites

  • testsuites/TestsuiteGT: JUnit tests for graph transformations (GT) via the Java API generated from the GT rule specification.
  • testsuites/Testsuite: JUnit tests for consistency checking, synchronization, and model generation with Triple Graph Grammars (TGGs).

How to run the tests

  1. Install eMoflon::IBeX.
  2. Go to File/Import.../Team/Team Project Set, check URL and enter in and import one of these PSF files:
  3. Click on the projects TestsuiteGT and Testsuite by selecting one of the *.launch files. Typically, you want to run one of these files:
    • TestsuiteGT_HiPE.launch
    • Testsuite_HiPE_SAT4J.launch