onera.pmlanalyzer.views.interference.operators.Analyse$.Ops
If an element x of type T can be analysed then
To provide a computation future (computation is not executed yet) of all interference up to maxSize
x.computeKInterference(maxSize)
To actually perform the interference calculus up to maxSize
x.computeKInterference(maxSize, duration)
Attributes
- Graph
- Supertypes
class Object
trait Matchable
class Any
Members list
Concise view
Extensions
Perform the interference analysis considering that all the initiators can execute a transaction
Perform the interference analysis considering that all the initiators can execute a transaction
Attributes
- ev
the proof that the component is analysable
- ignoreExistingAnalysisFiles
do the analysis only even if result files for the considered platform
can be found in the analysis directory (false by default)
- timeout
the maximal duration that is allowed to perform the interference computation.
- verboseResultFile
add extra information on analysis files (false by default)
- Returns:
the computation future
Provide a computation future (computation is not executed yet) of all interference up to maxsize
Provide a computation future (computation is not executed yet) of all interference up to maxsize
Attributes
- ev
the proof that the component is analysable
- ignoreExistingAnalysisFiles
do the analysis only even if result files for the considered platform
can be found in the analysis directory
- maxSize
the maximal number of initiator that can execute a transaction,
it should be less or equal to the total number of initiators in the platform.
- verboseResultFile
add extra information on analysis files
- Returns:
the computation future
Perform the interference analysis
Perform the interference analysis
Attributes
- ev
the proof that the component is analysable
- ignoreExistingAnalysisFiles
do the analysis only even if result files for the considered platform
can be found in the analysis directory (false by default)
- maxSize
the maximal number of initiator that can execute a transaction,
it should be less or equal to the total number of initiators in the platform.
- timeout
the maximal duration that is allowed to perform the interference computation.
- verboseResultFile
add extra information on analysis files (false by default)
- Returns:
the computation future
