aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java
blob: 96cac653d5f3bacbddf59718d0f2f7a80b0aeab3 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
/**
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.ui;

import ca.mcgill.ecse.dslreasoner.ui.AbstractVampireLanguageUiModule;
import org.eclipse.ui.plugin.AbstractUIPlugin;
import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;

/**
 * Use this class to register components to be used within the Eclipse IDE.
 */
@FinalFieldsConstructor
@SuppressWarnings("all")
public class VampireLanguageUiModule extends AbstractVampireLanguageUiModule {
  public VampireLanguageUiModule(final AbstractUIPlugin plugin) {
    super(plugin);
  }
}