See: Description
| Interface | Description |
|---|---|
| BlackboardStorer<WRITTEN_TYPE extends Serializable> |
Interface for classes that wish to write their state to the Blackboard.
|
| LaunchConfiguration |
Interface for configurations capable of executing the measured software.
|
| MeasurableSeffElement |
An element of a component’s SEFF that shall be analysed for dynamic properties by
Beagle.
|
| Class | Description |
|---|---|
| AnalysisController |
Conducts a complete analysis of elements on a blackboard.
|
| Blackboard |
Central and only storage of all knowledge gained by Beagle.
|
| CodeSection |
Describes a section in examined software’s source code.
|
| ExternalCallParameter |
A parameter of an external call.
|
| ProjectInformation |
Holds information about the project under analysis.
|
| ResourceDemandingInternalAction |
Models an internal action demanding resources of a specific type when being executed.
|
| ResourceDemandType |
Represents a type of a measured resource, like CPU usage or HDD usage.
|
| SeffBranch |
Models branches in a component's SEFF, originating from conditional constructs.
|
| SeffLoop |
Models loops (like Java’s for , while and do - while statement) which affect the calls
a component makes to other components.
|
| Enum | Description |
|---|---|
| AnalysisState |
The current state of the analysis.
|