diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java deleted file mode 100644 index 4363fc63..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/ui/Activator.java +++ /dev/null | |||
@@ -1,44 +0,0 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.faulttree.ui; | ||
2 | |||
3 | import org.eclipse.ui.plugin.AbstractUIPlugin; | ||
4 | import org.osgi.framework.BundleContext; | ||
5 | |||
6 | /** | ||
7 | * The activator class controls the plug-in life cycle | ||
8 | */ | ||
9 | public class Activator extends AbstractUIPlugin { | ||
10 | |||
11 | // The plug-in ID | ||
12 | public static final String PLUGIN_ID = "hu.bme.mit.inf.dslreasoner.faulttree.ui"; //$NON-NLS-1$ | ||
13 | |||
14 | // The shared instance | ||
15 | private static Activator plugin; | ||
16 | |||
17 | /** | ||
18 | * The constructor | ||
19 | */ | ||
20 | public Activator() { | ||
21 | } | ||
22 | |||
23 | @Override | ||
24 | public void start(BundleContext context) throws Exception { | ||
25 | super.start(context); | ||
26 | plugin = this; | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public void stop(BundleContext context) throws Exception { | ||
31 | plugin = null; | ||
32 | super.stop(context); | ||
33 | } | ||
34 | |||
35 | /** | ||
36 | * Returns the shared instance | ||
37 | * | ||
38 | * @return the shared instance | ||
39 | */ | ||
40 | public static Activator getDefault() { | ||
41 | return plugin; | ||
42 | } | ||
43 | |||
44 | } | ||