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

Extensions

extension [T](self: T)
def interferenceDiff(that: Platform)(using ev: PostProcess[T]): Seq[File]

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

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

def parseFreeScenarioFile(n: Int)(using ev: PostProcess[T]): Array[Seq[String]]

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

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

def parseITFScenarioFile()(using ev: PostProcess[T]): Array[Seq[String]]

Try to find and parse itf results for the considered element

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

def parseITFScenarioFile(n: Int)(using ev: PostProcess[T]): Array[Seq[String]]

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

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

def sortMultiPathByITFImpact(max: Option[Int])(using ev: PostProcess[T]): Set[File]

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

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

def sortPLByITFImpact(max: Option[Int])(using ev: PostProcess[T]): Set[File]

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

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