aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext4
1 files changed, 2 insertions, 2 deletions
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
index b4d5338b..ab053f67 100644
--- 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
@@ -33,7 +33,7 @@ Distribution returns ft::Distribution:
33 ConstantDistribution | ExponentialDistribution; 33 ConstantDistribution | ExponentialDistribution;
34 34
35ConstantDistribution returns ft::ConstantDistribution: 35ConstantDistribution returns ft::ConstantDistribution:
36 "p" "=" p=Double; 36 "prob" "=" p=Double;
37 37
38ExponentialDistribution returns ft::ExponentialDistribution: 38ExponentialDistribution returns ft::ExponentialDistribution:
39 "lambda" "=" lambda=Double; 39 "lambda" "=" lambda=Double;
@@ -80,7 +80,7 @@ EventReference:
80 component=[Variable|ValidId] "." event=[cft::EventDeclaration|ValidId]; 80 component=[Variable|ValidId] "." event=[cft::EventDeclaration|ValidId];
81 81
82ComponentInstance: 82ComponentInstance:
83 "=>" componentType=[cft::ComponentDefinition|QualifiedName] name=ID?; 83 "=>" componentType=[cft::ComponentDefinition|QualifiedName] name=ValidId?;
84 84
85QualifiedName returns ecore::EString: 85QualifiedName returns ecore::EString:
86 ValidId ("." ValidId)*; 86 ValidId ("." ValidId)*;