ErrorBehaviorKind : public <<enumeration>> class
Created: |
2008-11-11 10:51:49 |
Modified: |
2010-03-08 16:07:14 |
|
Project: |
|
Author: |
DJ Chen |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{6BF8347A-3C18-451d-B2FD-C677C027143A} |
Appears In: |
ErrorBehavior |
<p>The ErrorBehaviorKind metaclass represents an enumeration of literals describing various types of formalisms used for specifying error behavior.<br/></p><p><br/></p><p>Semantics:<br/></p><p>ErrorBehaviorKind represents different formalisms for ErrorBehavior. The semantics is defined at each enumeration literal. <br/></p><p><br/></p><p>Extension: <br/></p><p>Enumeration, no extension.<br/></p>
Attribute |
Details |
public HIP_HOPS |
<<enum>>
Notes:
|
A specification of error behavior according to the external formalism HiP-HOPS.<br />
|
|
public ALTARICA |
<<enum>>
Notes:
|
A specification of error behavior according to the external formalism ALTARICA.<br />
|
|
public AADL |
<<enum>>
Notes:
|
A specification of error behavior according to the external formalism AADL.<br />
|
|
public OTHER |
<<enum>>
Notes:
|
A specification of error behavior according to other user defined formalism.<br />
|
|