|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FaultType
Author: Andrew
File history: Created on July 22, 2011. Last update on Oct. 13, 2012
Description: The types of faults supported in our system.
Field Summary | |
---|---|
static int |
ADAPTATION_RACE
adaptation race fault |
static int |
DEAD_PREDICATE
dead rule predicate fault |
static int |
DEAD_STATE
dead state fault |
static int |
UNDETERMINISM
undeterministic adaptation fault |
static int |
UNRECHABILITY
unreachability fault |
Field Detail |
---|
static final int UNDETERMINISM
static final int DEAD_PREDICATE
static final int DEAD_STATE
static final int ADAPTATION_RACE
static final int UNRECHABILITY
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |