[Stochastic] Fault tree transformation langauge

36 files changed, 1388 insertions, 0 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.classpath b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.classpath
new file mode 100644
index 00000000..9081d4f7
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.classpath
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry kind="src" path="src"/>
+        <classpathentry kind="src" path="src-gen"/>
+        <classpathentry kind="src" path="xtend-gen"/>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore
new file mode 100644
index 00000000..ae3c1726
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.project b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.project
new file mode 100644
index 00000000..ff20123a
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.project
@@ -0,0 +1,34 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>hu.bme.mit.inf.dslreasoner.faulttree.components.ui</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.ManifestBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.SchemaBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+                <nature>org.eclipse.pde.PluginNature</nature>
+        </natures>
+</projectDescription>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.core.resources.prefs b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000..99f26c02
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.jdt.core.prefs b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..0c68a61d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/META-INF/MANIFEST.MF b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..0b82fe96
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/META-INF/MANIFEST.MF
@@ -0,0 +1,26 @@
+Manifest-Version: 1.0
+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.faulttree.components.ui
+Bundle-ManifestVersion: 2
+Bundle-Name: hu.bme.mit.inf.dslreasoner.faulttree.components.ui
+Bundle-Vendor: My Company
+Bundle-Version: 1.0.0.qualifier
+Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.faulttree.components.ui; singleton:=true
+Bundle-ActivationPolicy: lazy
+Require-Bundle: hu.bme.mit.inf.dslreasoner.faulttree.components,
+ hu.bme.mit.inf.dslreasoner.faulttree.components.ide,
+ org.eclipse.xtext.ui,
+ org.eclipse.xtext.ui.shared,
+ org.eclipse.xtext.ui.codetemplates.ui,
+ org.eclipse.ui.editors;bundle-version="3.5.0",
+ org.eclipse.ui.ide;bundle-version="3.5.0",
+ org.eclipse.ui,
+ org.eclipse.compare,
+ org.eclipse.xtext.builder,
+ org.eclipse.xtext.xbase.lib;bundle-version="2.14.0",
+ org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional
+Import-Package: org.apache.log4j
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Export-Package: hu.bme.mit.inf.dslreasoner.faulttree.components.ui.internal,
+ hu.bme.mit.inf.dslreasoner.faulttree.components.ui.quickfix,
+ hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist
+Bundle-Activator: hu.bme.mit.inf.dslreasoner.faulttree.components.ui.internal.ComponentsActivator
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/build.properties b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/build.properties
new file mode 100644
index 00000000..323f56c5
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/build.properties
@@ -0,0 +1,7 @@
+source.. = src/,\
+           src-gen/,\
+           xtend-gen/
+bin.includes = .,\
+               META-INF/,\
+               plugin.xml
+bin.excludes = **/*.xtend
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml
new file mode 100644
index 00000000..afad4516
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/plugin.xml
@@ -0,0 +1,434 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.0"?>
+<plugin>
+        <extension
+                point="org.eclipse.ui.editors">
+                <editor
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
+                        contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+                        default="true"
+                        extensions="cft"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        name="CftLanguage Editor">
+                </editor>
+        </extension>
+        <extension
+                point="org.eclipse.ui.handlers">
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclarationHandler"
+                        commandId="org.eclipse.xtext.ui.editor.hyperlinking.OpenDeclaration">
+                        <activeWhen>
+                                <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.handler.ValidateActionHandler"
+                        commandId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate">
+                <activeWhen>
+                        <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                        </reference>
+                </activeWhen>
+                </handler>
+                <!-- copy qualified name -->
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedNameHandler"
+                        commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName">
+                        <activeWhen>
+                                <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
+                        </activeWhen>
+                </handler>
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedNameHandler"
+                        commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName">
+                        <activeWhen>
+                                <and>
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened" />
+                                        <iterate>
+                                                <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
+                                        </iterate>
+                                </and>
+                        </activeWhen>
+                </handler>
+        </extension>
+        <extension point="org.eclipse.core.expressions.definitions">
+                <definition id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                        <and>
+                                <reference definitionId="isActiveEditorAnInstanceOfXtextEditor"/>
+                                <with variable="activeEditor">
+                                        <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
+                                                value="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                                                forcePluginActivation="true"/>
+                                </with>
+                        </and>
+                </definition>
+                <definition id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened">
+                        <and>
+                                <reference definitionId="isXtextEditorActive"/>
+                                <with variable="activeEditor">
+                                        <test property="org.eclipse.xtext.ui.editor.XtextEditor.languageName"
+                                                value="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                                                forcePluginActivation="true"/>
+                                </with>
+                        </and>
+                </definition>
+        </extension>
+        <extension
+                        point="org.eclipse.ui.preferencePages">
+                <page
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        name="CftLanguage">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.coloring"
+                        name="Syntax Coloring">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.templates"
+                        name="Templates">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+        </extension>
+        <extension
+                        point="org.eclipse.ui.propertyPages">
+                <page
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.preferences.LanguageRootPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        name="CftLanguage">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                        <enabledWhen>
+                                <adapt type="org.eclipse.core.resources.IProject"/>
+                        </enabledWhen>
+                        <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
+                </page>
+        </extension>
+        <extension
+                point="org.eclipse.ui.keywords">
+                <keyword
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"
+                        label="CftLanguage"/>
+        </extension>
+        <extension
+                point="org.eclipse.ui.commands">
+        <command
+                        description="Trigger expensive validation"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate"
+                        name="Validate">
+        </command>
+        <!-- copy qualified name -->
+        <command
+                        id="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
+                        categoryId="org.eclipse.ui.category.edit"
+                        description="Copy the qualified name for the selected element"
+                        name="Copy Qualified Name">
+        </command>
+        <command
+                        id="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
+                        categoryId="org.eclipse.ui.category.edit"
+                        description="Copy the qualified name for the selected element"
+                        name="Copy Qualified Name">
+        </command>
+        </extension>
+        <extension point="org.eclipse.ui.menus">
+                <menuContribution
+                        locationURI="popup:#TextEditorContext?after=group.edit">
+                         <command
+                                 commandId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validate"
+                                 style="push"
+                                 tooltip="Trigger expensive validation">
+                        <visibleWhen checkEnabled="false">
+                                <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                </reference>
+                        </visibleWhen>
+                </command>
+                </menuContribution>
+                <!-- copy qualified name -->
+                <menuContribution locationURI="popup:#TextEditorContext?after=copy">
+                        <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
+                                style="push" tooltip="Copy Qualified Name">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+                <menuContribution locationURI="menu:edit?after=copy">
+                        <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.EditorCopyQualifiedName"
+                                style="push" tooltip="Copy Qualified Name">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+                <menuContribution locationURI="popup:org.eclipse.xtext.ui.outline?after=additions">
+                        <command commandId="org.eclipse.xtext.ui.editor.copyqualifiedname.OutlineCopyQualifiedName"
+                                style="push" tooltip="Copy Qualified Name">
+                                <visibleWhen checkEnabled="false">
+                                        <and>
+                                                <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.XtextEditor.opened" />
+                                                <iterate>
+                                                        <adapt type="org.eclipse.xtext.ui.editor.outline.IOutlineNode" />
+                                                </iterate>
+                                        </and>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.menus">
+                <menuContribution locationURI="popup:#TextEditorContext?endof=group.find">
+                        <command commandId="org.eclipse.xtext.ui.editor.FindReferences">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                        </reference>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.handlers">
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.findrefs.FindReferencesHandler"
+                        commandId="org.eclipse.xtext.ui.editor.FindReferences">
+                        <activeWhen>
+                                <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+        </extension>
+        <extension point="org.eclipse.core.contenttype.contentTypes">
+                <content-type
+                        base-type="org.eclipse.core.runtime.text"
+                        file-extensions="cft"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
+                        name="CftLanguage File"
+                        priority="normal">
+                </content-type>
+        </extension>
+        <!-- adding resource factories -->
+        <extension
+                point="org.eclipse.emf.ecore.extension_parser">
+                <parser
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.resource.IResourceFactory"
+                        type="cft">
+                </parser>
+        </extension>
+        <extension point="org.eclipse.xtext.extension_resourceServiceProvider">
+                <resourceServiceProvider
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.resource.IResourceUIServiceProvider"
+                        uriExtension="cft">
+                </resourceServiceProvider>
+        </extension>
+        <!-- marker definitions for hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage -->
+        <extension
+                        id="cftlanguage.check.fast"
+                        name="CftLanguage Problem"
+                        point="org.eclipse.core.resources.markers">
+                <super type="org.eclipse.xtext.ui.check.fast"/>
+                <persistent value="true"/>
+        </extension>
+        <extension
+                        id="cftlanguage.check.normal"
+                        name="CftLanguage Problem"
+                        point="org.eclipse.core.resources.markers">
+                <super type="org.eclipse.xtext.ui.check.normal"/>
+                <persistent value="true"/>
+        </extension>
+        <extension
+                        id="cftlanguage.check.expensive"
+                        name="CftLanguage Problem"
+                        point="org.eclipse.core.resources.markers">
+                <super type="org.eclipse.xtext.ui.check.expensive"/>
+                <persistent value="true"/>
+        </extension>
+        <extension point="org.eclipse.ui.preferencePages">
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.validation.ValidatorPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.validator.preferencePage"
+                        name="Errors/Warnings">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.xtext.builder.participant">
+                <participant
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.IXtextBuilderParticipant"
+                        fileExtensions="cft"/>
+        </extension>
+        <extension point="org.eclipse.ui.preferencePages">
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compiler.preferencePage"
+                        name="Compiler">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.ui.propertyPages">
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.builder.preferences.BuilderPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compiler.propertyPage"
+                        name="Compiler">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                        <enabledWhen>
+                                <adapt type="org.eclipse.core.resources.IProject"/>
+                        </enabledWhen>
+                        <filter name="projectNature" value="org.eclipse.xtext.ui.shared.xtextNature"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.ui.menus">
+                <menuContribution locationURI="popup:#TextEditorContext?after=xtext.ui.openDeclaration">
+                        <command
+                                commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand"
+                                id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.OpenGeneratedCode"
+                                style="push">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.handlers">
+                <handler
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.generator.trace.OpenGeneratedFileHandler"
+                        commandId="org.eclipse.xtext.ui.OpenGeneratedFileCommand">
+                        <activeWhen>
+                                <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened" />
+                        </activeWhen>
+                </handler>
+        </extension>
+        <!-- Quick Outline -->
+        <extension
+                point="org.eclipse.ui.handlers">
+                <handler 
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.outline.quickoutline.ShowQuickOutlineActionHandler"
+                        commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline">
+                        <activeWhen>
+                                <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+        </extension>
+        <extension
+                point="org.eclipse.ui.commands">
+                <command
+                        description="Open the quick outline."
+                        id="org.eclipse.xtext.ui.editor.outline.QuickOutline"
+                        name="Quick Outline">
+                </command>
+        </extension>
+        <extension point="org.eclipse.ui.menus">
+                <menuContribution
+                        locationURI="popup:#TextEditorContext?after=group.open">
+                        <command commandId="org.eclipse.xtext.ui.editor.outline.QuickOutline"
+                                style="push"
+                                tooltip="Open Quick Outline">
+                                <visibleWhen checkEnabled="false">
+                                        <reference definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened"/>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <!-- quickfix marker resolution generator for hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage -->
+        <extension
+                        point="org.eclipse.ui.ide.markerResolution">
+                <markerResolutionGenerator
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.fast">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+                <markerResolutionGenerator
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.normal">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+                <markerResolutionGenerator
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.quickfix.MarkerResolutionGenerator"
+                        markerType="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.cftlanguage.check.expensive">
+                        <attribute
+                                name="FIXABLE_KEY"
+                                value="true">
+                        </attribute>
+                </markerResolutionGenerator>
+        </extension>
+        <!-- Rename Refactoring -->
+        <extension point="org.eclipse.ui.handlers">
+                <handler 
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.DefaultRenameElementHandler"
+                        commandId="org.eclipse.xtext.ui.refactoring.RenameElement">
+                        <activeWhen>
+                                <reference
+                                        definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                </reference>
+                        </activeWhen>
+                </handler>
+        </extension>
+        <extension point="org.eclipse.ui.menus">
+                <menuContribution
+                        locationURI="popup:#TextEditorContext?after=group.edit">
+                        <command commandId="org.eclipse.xtext.ui.refactoring.RenameElement"
+                                style="push">
+                                <visibleWhen checkEnabled="false">
+                                        <reference
+                                                definitionId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.Editor.opened">
+                                        </reference>
+                                </visibleWhen>
+                        </command>
+                </menuContribution>
+        </extension>
+        <extension point="org.eclipse.ui.preferencePages">
+                <page
+                        category="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferencePage"
+                        id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.refactoring"
+                        name="Refactoring">
+                        <keywordReference id="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.keyword_CftLanguage"/>
+                </page>
+        </extension>
+        <extension point="org.eclipse.compare.contentViewers">
+                <viewer id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentViewers"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
+                        extensions="cft">
+                </viewer>
+                <contentTypeBinding
+                        contentTypeId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
+                        contentViewerId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentViewers" />
+        </extension>
+        <extension point="org.eclipse.compare.contentMergeViewers">
+                <viewer id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentMergeViewers"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.compare.InjectableViewerCreator"
+                        extensions="cft" label="CftLanguage Compare">
+                </viewer>
+                <contentTypeBinding
+                        contentTypeId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.contenttype"
+                        contentMergeViewerId="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.compare.contentMergeViewers" />
+        </extension>
+        <extension point="org.eclipse.ui.editors.documentProviders">
+                <provider id="hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage.editors.documentProviders"
+                        class="hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageExecutableExtensionFactory:org.eclipse.xtext.ui.editor.model.XtextDocumentProvider"
+                        extensions="cft">
+                </provider>
+        </extension>
+        <extension point="org.eclipse.team.core.fileTypes">
+                <fileTypes
+                        extension="cft"
+                        type="text">
+                </fileTypes>
+        </extension>
+</plugin>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/AbstractCftLanguageUiModule.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/AbstractCftLanguageUiModule.java
new file mode 100644
index 00000000..ba2f3d51
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/AbstractCftLanguageUiModule.java
@@ -0,0 +1,293 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui;
+
+import com.google.inject.Binder;
+import com.google.inject.Provider;
+import com.google.inject.name.Names;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ide.contentassist.antlr.CftLanguageParser;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ide.contentassist.antlr.PartialCftLanguageContentAssistParser;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ide.contentassist.antlr.internal.InternalCftLanguageLexer;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist.CftLanguageProposalProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.labeling.CftLanguageDescriptionLabelProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.labeling.CftLanguageLabelProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.outline.CftLanguageOutlineTreeProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.quickfix.CftLanguageQuickfixProvider;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.validation.CftLanguageValidatorConfigurationBlock;
+import org.eclipse.compare.IViewerCreator;
+import org.eclipse.core.resources.IWorkspaceRoot;
+import org.eclipse.core.resources.ResourcesPlugin;
+import org.eclipse.jface.viewers.ILabelProvider;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.eclipse.xtext.builder.BuilderParticipant;
+import org.eclipse.xtext.builder.EclipseOutputConfigurationProvider;
+import org.eclipse.xtext.builder.IXtextBuilderParticipant;
+import org.eclipse.xtext.builder.builderState.IBuilderState;
+import org.eclipse.xtext.builder.clustering.CurrentDescriptions;
+import org.eclipse.xtext.builder.impl.PersistentDataAwareDirtyResource;
+import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback;
+import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess;
+import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider;
+import org.eclipse.xtext.ide.LexerIdeBindings;
+import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
+import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
+import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser;
+import org.eclipse.xtext.parser.antlr.AntlrTokenDefProvider;
+import org.eclipse.xtext.parser.antlr.ITokenDefProvider;
+import org.eclipse.xtext.parser.antlr.LexerProvider;
+import org.eclipse.xtext.resource.IResourceDescriptions;
+import org.eclipse.xtext.resource.containers.IAllContainersState;
+import org.eclipse.xtext.resource.impl.ResourceDescriptionsProvider;
+import org.eclipse.xtext.service.SingletonBinding;
+import org.eclipse.xtext.ui.DefaultUiModule;
+import org.eclipse.xtext.ui.UIBindings;
+import org.eclipse.xtext.ui.codetemplates.ui.AccessibleCodetemplatesActivator;
+import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialEditingContentAssistContextFactory;
+import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.PartialEditingContentAssistContextFactory;
+import org.eclipse.xtext.ui.codetemplates.ui.preferences.AdvancedTemplatesPreferencePage;
+import org.eclipse.xtext.ui.codetemplates.ui.preferences.TemplatesLanguageConfiguration;
+import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistrar;
+import org.eclipse.xtext.ui.codetemplates.ui.registry.LanguageRegistry;
+import org.eclipse.xtext.ui.compare.DefaultViewerCreator;
+import org.eclipse.xtext.ui.editor.DocumentBasedDirtyResource;
+import org.eclipse.xtext.ui.editor.IXtextEditorCallback;
+import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
+import org.eclipse.xtext.ui.editor.contentassist.FQNPrefixMatcher;
+import org.eclipse.xtext.ui.editor.contentassist.IContentProposalProvider;
+import org.eclipse.xtext.ui.editor.contentassist.IProposalConflictHelper;
+import org.eclipse.xtext.ui.editor.contentassist.PrefixMatcher;
+import org.eclipse.xtext.ui.editor.contentassist.antlr.AntlrProposalConflictHelper;
+import org.eclipse.xtext.ui.editor.contentassist.antlr.DelegatingContentAssistContextFactory;
+import org.eclipse.xtext.ui.editor.outline.IOutlineTreeProvider;
+import org.eclipse.xtext.ui.editor.outline.impl.IOutlineTreeStructureProvider;
+import org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer;
+import org.eclipse.xtext.ui.editor.quickfix.IssueResolutionProvider;
+import org.eclipse.xtext.ui.editor.templates.XtextTemplatePreferencePage;
+import org.eclipse.xtext.ui.refactoring.IDependentElementsCalculator;
+import org.eclipse.xtext.ui.refactoring.IReferenceUpdater;
+import org.eclipse.xtext.ui.refactoring.IRenameRefactoringProvider;
+import org.eclipse.xtext.ui.refactoring.IRenameStrategy;
+import org.eclipse.xtext.ui.refactoring.impl.DefaultDependentElementsCalculator;
+import org.eclipse.xtext.ui.refactoring.impl.DefaultReferenceUpdater;
+import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameRefactoringProvider;
+import org.eclipse.xtext.ui.refactoring.impl.DefaultRenameStrategy;
+import org.eclipse.xtext.ui.refactoring.ui.DefaultRenameSupport;
+import org.eclipse.xtext.ui.refactoring.ui.IRenameSupport;
+import org.eclipse.xtext.ui.refactoring.ui.RefactoringPreferences;
+import org.eclipse.xtext.ui.resource.ResourceServiceDescriptionLabelProvider;
+import org.eclipse.xtext.ui.shared.Access;
+import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
+
+/**
+ * Manual modifications go to {@link CftLanguageUiModule}.
+ */
+@SuppressWarnings("all")
+public abstract class AbstractCftLanguageUiModule extends DefaultUiModule {
+
+        public AbstractCftLanguageUiModule(AbstractUIPlugin plugin) {
+                super(plugin);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ImplicitFragment
+        public Provider<? extends IAllContainersState> provideIAllContainersState() {
+                return Access.getJavaProjectsState();
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {
+                return AntlrProposalConflictHelper.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public void configureContentAssistLexer(Binder binder) {
+                binder.bind(Lexer.class)
+                        .annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))
+                        .to(InternalCftLanguageLexer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public void configureHighlightingLexer(Binder binder) {
+                binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class)
+                        .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
+                        .to(hu.bme.mit.inf.dslreasoner.faulttree.components.parser.antlr.internal.InternalCftLanguageLexer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public void configureHighlightingTokenDefProvider(Binder binder) {
+                binder.bind(ITokenDefProvider.class)
+                        .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING))
+                        .to(AntlrTokenDefProvider.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends ContentAssistContext.Factory> bindContentAssistContext$Factory() {
+                return DelegatingContentAssistContextFactory.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public Class<? extends IContentAssistParser> bindIContentAssistParser() {
+                return CftLanguageParser.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2
+        public void configureContentAssistLexerProvider(Binder binder) {
+                binder.bind(InternalCftLanguageLexer.class).toProvider(LexerProvider.create(InternalCftLanguageLexer.class));
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2
+        public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() {
+                return CftLanguageValidatorConfigurationBlock.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
+        public Class<? extends PrefixMatcher> bindPrefixMatcher() {
+                return FQNPrefixMatcher.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2
+        public Class<? extends IDependentElementsCalculator> bindIDependentElementsCalculator() {
+                return DefaultDependentElementsCalculator.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public void configureIResourceDescriptionsBuilderScope(Binder binder) {
+                binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.NAMED_BUILDER_SCOPE)).to(CurrentDescriptions.ResourceSetAware.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public Class<? extends IXtextEditorCallback> bindIXtextEditorCallback() {
+                return NatureAddingEditorCallback.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public Class<? extends IContextualOutputConfigurationProvider> bindIContextualOutputConfigurationProvider() {
+                return EclipseOutputConfigurationProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public void configureIResourceDescriptionsPersisted(Binder binder) {
+                binder.bind(IResourceDescriptions.class).annotatedWith(Names.named(ResourceDescriptionsProvider.PERSISTED_DESCRIPTIONS)).to(IBuilderState.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.builder.BuilderIntegrationFragment2
+        public Class<? extends DocumentBasedDirtyResource> bindDocumentBasedDirtyResource() {
+                return PersistentDataAwareDirtyResource.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
+        public Class<? extends IXtextBuilderParticipant> bindIXtextBuilderParticipant() {
+                return BuilderParticipant.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
+        public IWorkspaceRoot bindIWorkspaceRootToInstance() {
+                return ResourcesPlugin.getWorkspace().getRoot();
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.generator.GeneratorFragment2
+        public void configureBuilderPreferenceStoreInitializer(Binder binder) {
+                binder.bind(IPreferenceStoreInitializer.class)
+                        .annotatedWith(Names.named("builderPreferenceInitializer"))
+                        .to(BuilderPreferenceAccess.Initializer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
+        public Class<? extends ILabelProvider> bindILabelProvider() {
+                return CftLanguageLabelProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.labeling.LabelProviderFragment2
+        public void configureResourceUIServiceLabelProvider(Binder binder) {
+                binder.bind(ILabelProvider.class).annotatedWith(ResourceServiceDescriptionLabelProvider.class).to(CftLanguageDescriptionLabelProvider.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
+        public Class<? extends IOutlineTreeProvider> bindIOutlineTreeProvider() {
+                return CftLanguageOutlineTreeProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.outline.OutlineTreeProviderFragment2
+        public Class<? extends IOutlineTreeStructureProvider> bindIOutlineTreeStructureProvider() {
+                return CftLanguageOutlineTreeProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.quickfix.QuickfixProviderFragment2
+        public Class<? extends IssueResolutionProvider> bindIssueResolutionProvider() {
+                return CftLanguageQuickfixProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.contentAssist.ContentAssistFragment2
+        public Class<? extends IContentProposalProvider> bindIContentProposalProvider() {
+                return CftLanguageProposalProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+        public void configureIPreferenceStoreInitializer(Binder binder) {
+                binder.bind(IPreferenceStoreInitializer.class)
+                        .annotatedWith(Names.named("RefactoringPreferences"))
+                        .to(RefactoringPreferences.Initializer.class);
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+        public Class<? extends IRenameStrategy> bindIRenameStrategy() {
+                return DefaultRenameStrategy.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+        public Class<? extends IReferenceUpdater> bindIReferenceUpdater() {
+                return DefaultReferenceUpdater.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+        public Class<? extends IRenameRefactoringProvider> bindIRenameRefactoringProvider() {
+                return DefaultRenameRefactoringProvider.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+        public Class<? extends IRenameSupport.Factory> bindIRenameSupport$Factory() {
+                return DefaultRenameSupport.Factory.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        public Provider<? extends TemplatesLanguageConfiguration> provideTemplatesLanguageConfiguration() {
+                return AccessibleCodetemplatesActivator.getTemplatesLanguageConfigurationProvider();
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        public Provider<? extends LanguageRegistry> provideLanguageRegistry() {
+                return AccessibleCodetemplatesActivator.getLanguageRegistry();
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        @SingletonBinding(eager=true)
+        public Class<? extends LanguageRegistrar> bindLanguageRegistrar() {
+                return LanguageRegistrar.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        public Class<? extends XtextTemplatePreferencePage> bindXtextTemplatePreferencePage() {
+                return AdvancedTemplatesPreferencePage.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        public Class<? extends IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser() {
+                return PartialCftLanguageContentAssistParser.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.templates.CodetemplatesGeneratorFragment2
+        public Class<? extends IPartialEditingContentAssistContextFactory> bindIPartialEditingContentAssistContextFactory() {
+                return PartialEditingContentAssistContextFactory.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
+        public Class<? extends IViewerCreator> bindIViewerCreator() {
+                return DefaultViewerCreator.class;
+        }
+        
+        // contributed by org.eclipse.xtext.xtext.generator.ui.compare.CompareFragment2
+        public void configureCompareViewerTitle(Binder binder) {
+                binder.bind(String.class).annotatedWith(Names.named(UIBindings.COMPARE_VIEWER_TITLE)).toInstance("CftLanguage Compare");
+        }
+        
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageExecutableExtensionFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageExecutableExtensionFactory.java
new file mode 100644
index 00000000..cf453a4f
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageExecutableExtensionFactory.java
@@ -0,0 +1,29 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui;
+
+import com.google.inject.Injector;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.internal.ComponentsActivator;
+import org.eclipse.core.runtime.Platform;
+import org.eclipse.xtext.ui.guice.AbstractGuiceAwareExecutableExtensionFactory;
+import org.osgi.framework.Bundle;
+
+/**
+ * This class was generated. Customizations should only happen in a newly
+ * introduced subclass. 
+ */
+public class CftLanguageExecutableExtensionFactory extends AbstractGuiceAwareExecutableExtensionFactory {
+
+        @Override
+        protected Bundle getBundle() {
+                return Platform.getBundle(ComponentsActivator.PLUGIN_ID);
+        }
+        
+        @Override
+        protected Injector getInjector() {
+                ComponentsActivator activator = ComponentsActivator.getInstance();
+                return activator != null ? activator.getInjector(ComponentsActivator.HU_BME_MIT_INF_DSLREASONER_FAULTTREE_COMPONENTS_CFTLANGUAGE) : null;
+        }
+
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/AbstractCftLanguageProposalProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/AbstractCftLanguageProposalProvider.java
new file mode 100644
index 00000000..89cd0833
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/AbstractCftLanguageProposalProvider.java
@@ -0,0 +1,193 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtext.Assignment;
+import org.eclipse.xtext.CrossReference;
+import org.eclipse.xtext.RuleCall;
+import org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider;
+import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
+import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
+
+/**
+ * Represents a generated, default implementation of superclass {@link TerminalsProposalProvider}.
+ * Methods are dynamically dispatched on the first parameter, i.e., you can override them 
+ * with a more concrete subtype. 
+ */
+public abstract class AbstractCftLanguageProposalProvider extends TerminalsProposalProvider {
+
+        public void completeCftModel_PackageName(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeCftModel_Imports(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeCftModel_ComponentDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeCftModel_TransformationDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeImportDeclaration_ImportedNamespace(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentDefinition_InputEvents(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentDefinition_OutputEvents(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentDefinition_EventDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeInputEvent_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeInputEvent_Multiple(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void completeBasicEventDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeBasicEventDefinition_Rate(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeAndGate_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeAndGate_InputEvents(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeOrGate_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeOrGate_InputEvents(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeTransformationDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeTransformationDefinition_MappingDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingDefinition_TopLevel(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void completeMappingDefinition_Pattern(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingDefinition_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingDefinition_ComponentInstance(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingDefinition_LookupDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingDefinition_Assignments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeMappingParameter_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeLookupDefinition_Mapping(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeLookupDefinition_Arguments(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeLookupDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeAssignment_Input(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeAssignment_Multiple(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void completeAssignment_Output(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeEventReference_Component(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeEventReference_Event(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentInstance_ComponentType(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
+        }
+        public void completeComponentInstance_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
+        }
+
+        public void complete_CftModel(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_ImportDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_ComponentDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_EventDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_InputEvent(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_EventDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_BasicEventDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_GateDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_AndGate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_OrGate(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_TransformationDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_MappingDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_MappingParameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_LookupDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_Variable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_Assignment(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_EventReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_ComponentInstance(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_QualifiedName(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_QualifiedNameWithWildcard(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+        public void complete_DOULBE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
+                // subclasses may override
+        }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/internal/ComponentsActivator.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/internal/ComponentsActivator.java
new file mode 100644
index 00000000..3b4702dd
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/internal/ComponentsActivator.java
@@ -0,0 +1,94 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.internal;
+
+import com.google.common.collect.Maps;
+import com.google.inject.Guice;
+import com.google.inject.Injector;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguageRuntimeModule;
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.CftLanguageUiModule;
+import java.util.Collections;
+import java.util.Map;
+import org.apache.log4j.Logger;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.eclipse.xtext.ui.shared.SharedStateModule;
+import org.eclipse.xtext.util.Modules2;
+import org.osgi.framework.BundleContext;
+
+/**
+ * This class was generated. Customizations should only happen in a newly
+ * introduced subclass. 
+ */
+public class ComponentsActivator extends AbstractUIPlugin {
+
+        public static final String PLUGIN_ID = "hu.bme.mit.inf.dslreasoner.faulttree.components.ui";
+        public static final String HU_BME_MIT_INF_DSLREASONER_FAULTTREE_COMPONENTS_CFTLANGUAGE = "hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage";
+        
+        private static final Logger logger = Logger.getLogger(ComponentsActivator.class);
+        
+        private static ComponentsActivator INSTANCE;
+        
+        private Map<String, Injector> injectors = Collections.synchronizedMap(Maps.<String, Injector> newHashMapWithExpectedSize(1));
+        
+        @Override
+        public void start(BundleContext context) throws Exception {
+                super.start(context);
+                INSTANCE = this;
+        }
+        
+        @Override
+        public void stop(BundleContext context) throws Exception {
+                injectors.clear();
+                INSTANCE = null;
+                super.stop(context);
+        }
+        
+        public static ComponentsActivator getInstance() {
+                return INSTANCE;
+        }
+        
+        public Injector getInjector(String language) {
+                synchronized (injectors) {
+                        Injector injector = injectors.get(language);
+                        if (injector == null) {
+                                injectors.put(language, injector = createInjector(language));
+                        }
+                        return injector;
+                }
+        }
+        
+        protected Injector createInjector(String language) {
+                try {
+                        com.google.inject.Module runtimeModule = getRuntimeModule(language);
+                        com.google.inject.Module sharedStateModule = getSharedStateModule();
+                        com.google.inject.Module uiModule = getUiModule(language);
+                        com.google.inject.Module mergedModule = Modules2.mixin(runtimeModule, sharedStateModule, uiModule);
+                        return Guice.createInjector(mergedModule);
+                } catch (Exception e) {
+                        logger.error("Failed to create injector for " + language);
+                        logger.error(e.getMessage(), e);
+                        throw new RuntimeException("Failed to create injector for " + language, e);
+                }
+        }
+        
+        protected com.google.inject.Module getRuntimeModule(String grammar) {
+                if (HU_BME_MIT_INF_DSLREASONER_FAULTTREE_COMPONENTS_CFTLANGUAGE.equals(grammar)) {
+                        return new CftLanguageRuntimeModule();
+                }
+                throw new IllegalArgumentException(grammar);
+        }
+        
+        protected com.google.inject.Module getUiModule(String grammar) {
+                if (HU_BME_MIT_INF_DSLREASONER_FAULTTREE_COMPONENTS_CFTLANGUAGE.equals(grammar)) {
+                        return new CftLanguageUiModule(this);
+                }
+                throw new IllegalArgumentException(grammar);
+        }
+        
+        protected com.google.inject.Module getSharedStateModule() {
+                return new SharedStateModule();
+        }
+        
+        
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidatorConfigurationBlock.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidatorConfigurationBlock.java
new file mode 100644
index 00000000..151699a2
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/validation/CftLanguageValidatorConfigurationBlock.java
@@ -0,0 +1,35 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.validation;
+
+import org.eclipse.jface.dialogs.IDialogSettings;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;
+
+@SuppressWarnings("restriction")
+public class CftLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock {
+
+        protected static final String SETTINGS_SECTION_NAME = "CftLanguage";
+
+        @Override
+        protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) {
+                addComboBox(CftLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent);
+        }
+
+        @Override
+        public void dispose() {
+                storeSectionExpansionStates(getDialogSettings());
+                super.dispose();
+        }
+
+        @Override
+        protected IDialogSettings getDialogSettings() {
+                IDialogSettings dialogSettings = super.getDialogSettings();
+                IDialogSettings section = dialogSettings.getSection(SETTINGS_SECTION_NAME);
+                if (section == null) {
+                        return dialogSettings.addNewSection(SETTINGS_SECTION_NAME);
+                }
+                return section;
+        }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend
new file mode 100644
index 00000000..9aa9ba9c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.xtend
@@ -0,0 +1,13 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui
+
+import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
+
+/**
+ * Use this class to register components to be used within the Eclipse IDE.
+ */
+@FinalFieldsConstructor
+class CftLanguageUiModule extends AbstractCftLanguageUiModule {
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend
new file mode 100644
index 00000000..2d173d73
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.xtend
@@ -0,0 +1,12 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist
+
+
+/**
+ * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist
+ * on how to customize the content assistant.
+ */
+class CftLanguageProposalProvider extends AbstractCftLanguageProposalProvider {
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend
new file mode 100644
index 00000000..17a734e1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.xtend
@@ -0,0 +1,24 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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
+ */
+class CftLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider {
+
+        // Labels and icons can be computed like this:
+        
+//      override text(IEObjectDescription ele) {
+//              ele.name.toString
+//      }
+//       
+//      override image(IEObjectDescription ele) {
+//              ele.EClass.name + '.gif'
+//      }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend
new file mode 100644
index 00000000..a6ea8f90
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.xtend
@@ -0,0 +1,31 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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
+ */
+class CftLanguageLabelProvider extends DefaultEObjectLabelProvider {
+
+        @Inject
+        new(AdapterFactoryLabelProvider delegate) {
+                super(delegate);
+        }
+
+        // Labels and icons can be computed like this:
+        
+//      def text(Greeting ele) {
+//              'A greeting to ' + ele.name
+//      }
+//
+//      def image(Greeting ele) {
+//              'Greeting.gif'
+//      }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend
new file mode 100644
index 00000000..5ffa82ad
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.xtend
@@ -0,0 +1,15 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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
+ */
+class CftLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider {
+
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend
new file mode 100644
index 00000000..4ca09e2b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/src/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.xtend
@@ -0,0 +1,24 @@
+/*
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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
+ */
+class CftLanguageQuickfixProvider extends DefaultQuickfixProvider {
+
+//      @Fix(CftLanguageValidator.INVALID_NAME)
+//      def capitalizeName(Issue issue, IssueResolutionAcceptor acceptor) {
+//              acceptor.accept(issue, 'Capitalize name', 'Capitalize the name.', 'upcase.png') [
+//                      context |
+//                      val xtextDocument = context.xtextDocument
+//                      val firstLetter = xtextDocument.get(issue.offset, 1)
+//                      xtextDocument.replace(issue.offset, 1, firstLetter.toUpperCase)
+//              ]
+//      }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.CftLanguageUiModule.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.CftLanguageUiModule.xtendbin
new file mode 100644
index 00000000..7eb6190d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.CftLanguageUiModule.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.gitignore
new file mode 100644
index 00000000..bee88ba2
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageUiModule.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.java
new file mode 100644
index 00000000..4f1409d9
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/CftLanguageUiModule.java
@@ -0,0 +1,19 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.AbstractCftLanguageUiModule;
+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 CftLanguageUiModule extends AbstractCftLanguageUiModule {
+  public CftLanguageUiModule(final AbstractUIPlugin plugin) {
+    super(plugin);
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.CftLanguageProposalProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.CftLanguageProposalProvider.xtendbin
new file mode 100644
index 00000000..a6a68b91
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.CftLanguageProposalProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.gitignore
new file mode 100644
index 00000000..31aac8dc
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageProposalProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.java
new file mode 100644
index 00000000..0d61f5be
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/contentassist/CftLanguageProposalProvider.java
@@ -0,0 +1,14 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.components.ui.contentassist.AbstractCftLanguageProposalProvider;
+
+/**
+ * See https://www.eclipse.org/Xtext/documentation/304_ide_concepts.html#content-assist
+ * on how to customize the content assistant.
+ */
+@SuppressWarnings("all")
+public class CftLanguageProposalProvider extends AbstractCftLanguageProposalProvider {
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageDescriptionLabelProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageDescriptionLabelProvider.xtendbin
new file mode 100644
index 00000000..e2a540db
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageDescriptionLabelProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageLabelProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageLabelProvider.xtendbin
new file mode 100644
index 00000000..58dd1f71
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.CftLanguageLabelProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.gitignore
new file mode 100644
index 00000000..20d80a0b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/.gitignore
@@ -0,0 +1,2 @@
+/.CftLanguageDescriptionLabelProvider.java._trace
+/.CftLanguageLabelProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.java
new file mode 100644
index 00000000..f38d3fb5
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageDescriptionLabelProvider.java
@@ -0,0 +1,15 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageDescriptionLabelProvider extends DefaultDescriptionLabelProvider {
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.java
new file mode 100644
index 00000000..3a03868d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/labeling/CftLanguageLabelProvider.java
@@ -0,0 +1,21 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageLabelProvider extends DefaultEObjectLabelProvider {
+  @Inject
+  public CftLanguageLabelProvider(final AdapterFactoryLabelProvider delegate) {
+    super(delegate);
+  }
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.CftLanguageOutlineTreeProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.CftLanguageOutlineTreeProvider.xtendbin
new file mode 100644
index 00000000..b785c6e2
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.CftLanguageOutlineTreeProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.gitignore
new file mode 100644
index 00000000..a0d017e3
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageOutlineTreeProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.java
new file mode 100644
index 00000000..76ea64c4
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/outline/CftLanguageOutlineTreeProvider.java
@@ -0,0 +1,15 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageOutlineTreeProvider extends DefaultOutlineTreeProvider {
+}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.CftLanguageQuickfixProvider.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.CftLanguageQuickfixProvider.xtendbin
new file mode 100644
index 00000000..d199f277
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.CftLanguageQuickfixProvider.xtendbin
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.gitignore
new file mode 100644
index 00000000..1f83fa55
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/.gitignore
@@ -0,0 +1 @@
+/.CftLanguageQuickfixProvider.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.java
new file mode 100644
index 00000000..361a00ca
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ui/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ui/quickfix/CftLanguageQuickfixProvider.java
@@ -0,0 +1,15 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.components.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 CftLanguageQuickfixProvider extends DefaultQuickfixProvider {
+}