Transaction

onera.pmlanalyzer.pml.model.configuration.TransactionLibrary.Transaction
See theTransaction companion object
final class Transaction extends ScenarioLike

Class encoding the used defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the transaction (not evaluated during the object initialisation)

sw

the application that can use this transaction

userName

the name of the node

Companion:
object
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any

Members list

Concise view

identifier

val name: Symbol

Name of the node

Name of the node

Attributes

Inherited from:
ScenarioLike
final val typeName: Symbol

Name of the type of PML node

Name of the type of PML node

Attributes

Inherited from:
PMLNode

printer_function

override def toString: String

Print a node only by its name

Print a node only by its name

Attributes

Returns:

string representation of a PMLNode

Definition Classes
PMLNode -> Any

Value members

Concrete methods

Consider the transaction for the analysis

Consider the transaction for the analysis

Attributes

Returns:

the used transaction

Concrete fields

val iniTgt: () => Set[(Service, Service)]
val sw: () => Set[Application]