onera.pmlanalyzer.views.patterns.model

Members list

Concise view

Type members

Classlikes

case class Backing(label: String, implementation: Option[String], textWidth: Option[Int]) extends PatternAST

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Builder(content: String, short: Option[String], implementation: Option[String], textWidth: Option[Int], width: Option[Int])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Claim(label: String, short: Option[String], implementation: Option[String], textWidth: Option[Int], width: Option[Int], strategy: Strategy, evidences: Evidence*) extends Evidence

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Evidence
class Object
trait Matchable
class Any
object Claim

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Claim.type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Defeater(label: String, implementation: Option[String], textWidth: Option[Int]) extends PatternAST

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed trait Evidence extends PatternAST

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Claim
class Given
case class FinalEvidence(label: String, implementation: Option[String], textWidth: Option[Int], refOf: Option[Claim]) extends Evidence

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Evidence
class Object
trait Matchable
class Any
case class Given(label: String, implementation: Option[String], textWidth: Option[Int]) extends Evidence

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Evidence
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Backing
class Defeater
trait Evidence
class Claim
class Given
class Strategy
case class Strategy(label: String, backing: Option[Backing], defeater: Option[Defeater], implementation: Option[String], textWidth: Option[Int]) extends PatternAST

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any