pml_analyzer/onera.pmlanalyzer.views.interference.operators/PostProcess/Ops

Ops

onera.pmlanalyzer.views.interference.operators.PostProcess$.Ops

trait Ops

If an element x of type T can be post processed then the operator can be used as follows:

If y is a pml.model.hardware.Platform then we can compare the interferences computed for x and y

x.interferenceDiff(y)

Try to find and parse itf results for the considered element

x.parseITFScenarioFile()

Try to find and parse the n-itf results for the considered element

x.parseITFScenarioFile(n)

Try to find and parse the n-itf-free results for the considered element

x.parseFreeScenarioFile(n)

Compute for each hardware component the number of up to n-itf scenario where the component is involved in the interference channel. The result is provided in a file of the analysis directory

x.sortPLByITFImpact(n)

Compute for each multi path transaction the number of up to itf scenario involving at least one of its branches The result is provided in a file of the analysis directory

x.sortMultiPathByITFImpact(n)

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any

Members list

Concise view

Extensions

extension [T](self: T)

Compare the interference results with another element and store the result in a dedicated file in the analysis folder

Attributes

ev: the proof that any element of T is analysable
that: the other element
Returns:: the location of the result files

Try to find and parse the n-itf-free results for the considered element

Attributes

ev: the proof that any element of T is analysable
n: the maximal size of transaction per itf scenario
Returns:: the set of set of scenario identifiers that are interference free scenarios

Try to find and parse itf results for the considered element

Attributes

ev: the proof that any element of T is analysable
Returns:: the set of set of scenario identifiers that are interference scenarios

Try to find and parse the n-itf results for the considered element

Attributes

ev: the proof that any element of T is analysable
n: the maximal size of transaction per itf scenario
Returns:: the set of set of scenario identifiers that are interference scenarios

Compute for each multi path transaction the number of itf scenario involving at least one of its branches The result is provided in a file of the analysis directory

Attributes

ev: the proof that any element of T is analysable
max: the optional maximal size of the considered itf
Returns:: the location of the result files

Compute for each hardware component the number of itf scenario where the component is involved in the interference channel The result is provided in a file of the analysis directory

Attributes

ev: the proof that any element of T is analysable
max: the optional maximal size of the considered itf
Returns:: the location of the result files

Generated with