From 3997c2408f192e22f809cd96faa5bc552530289d Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 14 Jun 2020 19:38:40 -0400 Subject: This branch is ready to be merged into master --- .../ui/.VampireLanguageUiModule.xtendbin | Bin 2342 -> 0 bytes .../ca/mcgill/ecse/dslreasoner/ui/.gitignore | 3 --- .../dslreasoner/ui/VampireLanguageUiModule.java | 19 ------------------- .../.VampireLanguageProposalProvider.xtendbin | Bin 1792 -> 0 bytes .../ecse/dslreasoner/ui/contentassist/.gitignore | 3 --- .../VampireLanguageProposalProvider.java | 14 -------------- ...ampireLanguageDescriptionLabelProvider.xtendbin | Bin 1965 -> 0 bytes .../.VampireLanguageLabelProvider.xtendbin | Bin 2405 -> 0 bytes .../mcgill/ecse/dslreasoner/ui/labeling/.gitignore | 6 ------ .../VampireLanguageDescriptionLabelProvider.java | 15 --------------- .../ui/labeling/VampireLanguageLabelProvider.java | 21 --------------------- .../.VampireLanguageOutlineTreeProvider.xtendbin | Bin 1819 -> 0 bytes .../mcgill/ecse/dslreasoner/ui/outline/.gitignore | 3 --- .../VampireLanguageOutlineTreeProvider.java | 15 --------------- .../.VampireLanguageQuickfixProvider.xtendbin | Bin 1786 -> 0 bytes .../mcgill/ecse/dslreasoner/ui/quickfix/.gitignore | 3 --- .../quickfix/VampireLanguageQuickfixProvider.java | 15 --------------- 17 files changed, 117 deletions(-) delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore delete mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin deleted file mode 100644 index 20e0c17a..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.VampireLanguageUiModule.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore deleted file mode 100644 index 90c31edb..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.VampireLanguageUiModule.java._trace -/.VampireLanguageUiModule.xtendbin -/VampireLanguageUiModule.java diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java deleted file mode 100644 index 96cac653..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/VampireLanguageUiModule.java +++ /dev/null @@ -1,19 +0,0 @@ -/** - * 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); - } -} diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin deleted file mode 100644 index f3d2dece..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.VampireLanguageProposalProvider.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore deleted file mode 100644 index 47e411f4..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.VampireLanguageProposalProvider.java._trace -/.VampireLanguageProposalProvider.xtendbin -/VampireLanguageProposalProvider.java diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java deleted file mode 100644 index ca5ef1f5..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/contentassist/VampireLanguageProposalProvider.java +++ /dev/null @@ -1,14 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.ui.contentassist; - -import ca.mcgill.ecse.dslreasoner.ui.contentassist.AbstractVampireLanguageProposalProvider; - -/** - * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist - * on how to customize the content assistant. - */ -@SuppressWarnings("all") -public class VampireLanguageProposalProvider extends AbstractVampireLanguageProposalProvider { -} diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin deleted file mode 100644 index 1d0354a7..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageDescriptionLabelProvider.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin deleted file mode 100644 index c64b5e2f..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.VampireLanguageLabelProvider.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore deleted file mode 100644 index 8f778c6c..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore +++ /dev/null @@ -1,6 +0,0 @@ -/.VampireLanguageDescriptionLabelProvider.java._trace -/.VampireLanguageLabelProvider.java._trace -/.VampireLanguageDescriptionLabelProvider.xtendbin -/.VampireLanguageLabelProvider.xtendbin -/VampireLanguageDescriptionLabelProvider.java -/VampireLanguageLabelProvider.java diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java deleted file mode 100644 index 1a6a3a2a..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageDescriptionLabelProvider.java +++ /dev/null @@ -1,15 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.ui.labeling; - -import org.eclipse.xtext.ui.label.DefaultDescriptionLabelProvider; - -/** - * Provides labels for IEObjectDescriptions and IResourceDescriptions. - * - * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider - */ -@SuppressWarnings("all") -public class VampireLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider { -} diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java deleted file mode 100644 index 53f93e82..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/VampireLanguageLabelProvider.java +++ /dev/null @@ -1,21 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.ui.labeling; - -import com.google.inject.Inject; -import org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider; -import org.eclipse.xtext.ui.label.DefaultEObjectLabelProvider; - -/** - * Provides labels for EObjects. - * - * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#label-provider - */ -@SuppressWarnings("all") -public class VampireLanguageLabelProvider extends DefaultEObjectLabelProvider { - @Inject - public VampireLanguageLabelProvider(final AdapterFactoryLabelProvider delegate) { - super(delegate); - } -} diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin deleted file mode 100644 index ef4b984c..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.VampireLanguageOutlineTreeProvider.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore deleted file mode 100644 index 7162ffad..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.VampireLanguageOutlineTreeProvider.java._trace -/.VampireLanguageOutlineTreeProvider.xtendbin -/VampireLanguageOutlineTreeProvider.java diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java deleted file mode 100644 index 45cb952e..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/outline/VampireLanguageOutlineTreeProvider.java +++ /dev/null @@ -1,15 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.ui.outline; - -import org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider; - -/** - * Customization of the default outline structure. - * - * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#outline - */ -@SuppressWarnings("all") -public class VampireLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider { -} diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin deleted file mode 100644 index 38907aa5..00000000 Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.VampireLanguageQuickfixProvider.xtendbin and /dev/null differ diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore deleted file mode 100644 index b439e483..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/.VampireLanguageQuickfixProvider.java._trace -/.VampireLanguageQuickfixProvider.xtendbin -/VampireLanguageQuickfixProvider.java diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java deleted file mode 100644 index 8b69829c..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/quickfix/VampireLanguageQuickfixProvider.java +++ /dev/null @@ -1,15 +0,0 @@ -/** - * generated by Xtext 2.12.0 - */ -package ca.mcgill.ecse.dslreasoner.ui.quickfix; - -import org.eclipse.xtext.ui.editor.quickfix.DefaultQuickfixProvider; - -/** - * Custom quickfixes. - * - * See https://www.eclipse.org/Xtext/documentation/310_eclipse_support.html#quick-fixes - */ -@SuppressWarnings("all") -public class VampireLanguageQuickfixProvider extends DefaultQuickfixProvider { -} -- cgit v1.2.3-54-g00ecf