From 972baab642bd889d2c3476c0c9e17a6929e0c318 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Thu, 1 Aug 2019 14:49:53 +0200
Subject: [Stochastic] Remove fault tree support for now

---
 .../faulttree/components/CftLanguage.xtext         | 101 ---------------------
 1 file changed, 101 deletions(-)
 delete mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext
deleted file mode 100644
index ab053f67..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext
+++ /dev/null
@@ -1,101 +0,0 @@
-grammar hu.bme.mit.inf.dslreasoner.faulttree.components.CftLanguage with org.eclipse.xtext.common.Terminals
-
-import "http://www.eclipse.org/emf/2002/Ecore" as ecore
-import "http://www.eclipse.org/viatra/query/patternlanguage/emf/PatternLanguage" as vql
-import "http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft" as ft
-import "http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft" as cft
-generate cftLanguage "http://www.bme.hu/mit/inf/dslreasoner/faulttree/components/CftLanguage"
-
-CftModel:
-	"package" packageName=QualifiedName ";"?
-	imports+=ImportDeclaration*
-	(componentDefinitions+=ComponentDefinition | transformationDefinitions+=TransformationDefinition)*;
-
-ImportDeclaration:
-	"import" importedNamespace=QualifiedNameWithWildcard ";"?;
-
-ComponentDefinition returns cft::ComponentDefinition:
-	"cft" name=ValidId "{"
-	(("in" inputEvents+=InputEvent* ";")? & ("out" outputEvents+=[cft::EventDeclaration|ValidId]* ";")?)
-	(eventDefinitions+=EventDefinition ";")*
-	"}";
-
-InputEvent returns cft::InputEvent:
-	name=ValidId multiple?="[]"?;
-
-EventDefinition returns cft::EventDefinition:
-	BasicEventDefinition | GateDefinition;
-
-BasicEventDefinition returns cft::BasicEventDefinition:
-	name=ValidId distribution=Distribution;
-
-Distribution returns ft::Distribution:
-	ConstantDistribution | ExponentialDistribution;
-
-ConstantDistribution returns ft::ConstantDistribution:
-	"prob" "=" p=Double;
-
-ExponentialDistribution returns ft::ExponentialDistribution:
-	"lambda" "=" lambda=Double;
-
-GateDefinition returns cft::GateDefinition:
-	AndGateDefinition | OrGateDefinition | KOfMGateDefinition;
-
-AndGateDefinition returns cft::AndGateDefinition:
-	name=ValidId "and" inputEvents+=[cft::EventDeclaration|ValidId]*;
-
-OrGateDefinition returns cft::OrGateDefinition:
-	name=ValidId "or" inputEvents+=[cft::EventDeclaration|ValidId]*;
-
-KOfMGateDefinition returns cft::KOfMGateDefinition:
-	name=ValidId k=INT ("of" m=INT | m=OF_INT) inputEvents+=[cft::EventDeclaration|ValidId]*;
-
-TransformationDefinition:
-	"transformation" name=ValidId "{"
-	mappingDefinitions+=MappingDefinition*
-	"}";
-
-MappingDefinition:
-	topLevel?="toplevel"? "mapping" pattern=[vql::Pattern|QualifiedName]
-	"(" parameters+=MappingParameter ("," parameters+=MappingParameter)* ")"
-	(componentInstance=ComponentInstance)? ("{"
-	((lookupDefinitions+=LookupDefinition | assignments+=Assignment) ";")*
-	"}")?;
-
-MappingParameter:
-	name=ValidId;
-
-LookupDefinition:
-	"lookup" mapping=[MappingDefinition|QualifiedName]
-	"(" arguments+=[MappingParameter|ValidId] ("," arguments+=[MappingParameter|ValidId])* ")"
-	"as" name=ValidId;
-
-Variable:
-	ComponentInstance | LookupDefinition;
-
-Assignment:
-	input=EventReference (multiple?="+=" | ":=") output=EventReference;
-
-EventReference:
-	component=[Variable|ValidId] "." event=[cft::EventDeclaration|ValidId];
-
-ComponentInstance:
-	"=>" componentType=[cft::ComponentDefinition|QualifiedName] name=ValidId?;
-
-QualifiedName returns ecore::EString:
-	ValidId ("." ValidId)*;
-
-QualifiedNameWithWildcard returns ecore::EString:
-	QualifiedName ("." "*")?;
-
-ValidId:
-	ID | OF_INT;
-
-Double returns ecore::EDouble:
-	INT | T_DOUBLE;
-
-terminal OF_INT returns ecore::EInt:
-	"o" "f" ('0'..'9')+;
-
-terminal T_DOUBLE:
-	('0'..'9')+ ("." ('0'..'9')+ | ("." ('0'..'9')+)? ("e" | "E") ("+" | "-")? ('0'..'9')+);
-- 
cgit v1.2.3-70-g09d2