public class FlaSystem
extends java.lang.Object
Constructor and Description |
---|
FlaSystem() |
FlaSystem(Component rootComponent) |
Modifier and Type | Method and Description |
---|---|
static void |
addUpdatedComponent(Component updatedComponent)
Add an updated component to the list to be analyzed.
|
Component |
getRootComponent() |
static boolean |
initializeNoFailure()
Should all connections (input ports) be initialized with a noFailure token?
Default: true |
void |
initializeNoFailure(boolean initToNoFailure)
Should all connections (input ports) be initialized with a noFailure token?
Default: true |
void |
performAnalysis(FlaLogger logger) |
static boolean |
propagateUnmatchedFailures()
Should unmatched errors be propagated to all output ports?
|
void |
propagateUnmatchedFailures(boolean propagateUnmatchedFailures)
Should unmatched errors be propagated to all output ports?
Default: true |
static boolean |
treatUnmentionedPortsAsWildcards()
Should unmatched errors be propagated to all output ports?
|
void |
treatUnmentionedPortsAsWildcards(boolean treatUnmentionedPortsAsWildcards)
Should unmatched errors be propagated to all output ports?
Default: true |
public FlaSystem()
public FlaSystem(Component rootComponent)
public Component getRootComponent()
public void initializeNoFailure(boolean initToNoFailure)
true
initToNoFailure
- public void propagateUnmatchedFailures(boolean propagateUnmatchedFailures)
true
propagateUnmatchedFailures
- public void treatUnmentionedPortsAsWildcards(boolean treatUnmentionedPortsAsWildcards)
true
propagateUnmatchedFailures
- public void performAnalysis(FlaLogger logger)
public static boolean initializeNoFailure()
true
initToNoFailure
- public static boolean propagateUnmatchedFailures()
public static boolean treatUnmentionedPortsAsWildcards()
public static void addUpdatedComponent(Component updatedComponent)
updatedComponent
- updated component.