https://github.com/SeelabFhdo/lemma
Tip revision: 2e9ccc882352116b253a7700b5ecf2c9316a5829 authored by Florian Rademacher on 24 March 2023, 08:03:13 UTC
Eclipse Launchers: Fix Docker image selection
Eclipse Launchers: Fix Docker image selection
Tip revision: 2e9ccc8
SourceModelValidator.kt
package de.fhdo.lemma.model_processing.annotations
/**
* Annotation to identify source model validators.
*
* @author [Florian Rademacher](mailto:florian.rademacher@fh-dortmund.de)
*/
@Target(AnnotationTarget.CLASS)
annotation class SourceModelValidator