Removing all of the unneeded Clafer stuff from the Task integrator

eclipse-cognicrypt · Jul 7, 2020 · c6cfe5d · c6cfe5d
1 parent 54ccd3e
commit c6cfe5d
Show file tree

Hide file tree

Showing 48 changed files with 39 additions and 5,628 deletions.
diff --git a/...tegrator.task/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferCompiler.java b/...tegrator.task/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferCompiler.java
diff --git a/...k/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferModelContentProvider.java b/...k/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferModelContentProvider.java
diff --git a/...ask/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferModelLabelProvider.java b/...ask/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferModelLabelProvider.java
diff --git a/...k/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferPatternEnumGenerator.java b/...k/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferPatternEnumGenerator.java
diff --git a/...grator.task/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferValidation.java b/...grator.task/src/main/java/de/cognicrypt/integrator/task/controllers/ClaferValidation.java