diff options
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext | 4 |
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 | ||
35 | ConstantDistribution returns ft::ConstantDistribution: | 35 | ConstantDistribution returns ft::ConstantDistribution: |
36 | "p" "=" p=Double; | 36 | "prob" "=" p=Double; |
37 | 37 | ||
38 | ExponentialDistribution returns ft::ExponentialDistribution: | 38 | ExponentialDistribution 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 | ||
82 | ComponentInstance: | 82 | ComponentInstance: |
83 | "=>" componentType=[cft::ComponentDefinition|QualifiedName] name=ID?; | 83 | "=>" componentType=[cft::ComponentDefinition|QualifiedName] name=ValidId?; |
84 | 84 | ||
85 | QualifiedName returns ecore::EString: | 85 | QualifiedName returns ecore::EString: |
86 | ValidId ("." ValidId)*; | 86 | ValidId ("." ValidId)*; |