diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-02-16 00:43:11 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-19 19:18:25 +0100 |
| commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
| tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/src/hu/bme/mit/inf/dslreasoner/faulttree/components/CftLanguage.xtext | |
| parent | Ecore2Cft transformation (diff) | |
| download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip | |
Two-valued fault tree analyzer WIP
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.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)*; |