Trait

org.genivi.sota.datatype

PackageCommon

Related Doc: package datatype

Permalink

trait PackageCommon extends AnyRef

A (software) package has a notion of id which is shared between the core and the resolver.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PackageCommon
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. case class Id(name: Name, version: Version) extends Product with Serializable

    Permalink

  2. type Name = Refined[String, ValidName]

    Permalink

  3. type NameVersion = Refined[String, ValidId]

    Permalink

  4. trait ValidId extends AnyRef

    Permalink

  5. trait ValidName extends AnyRef

    Permalink

    A valid package id consists of two refined strings, the first being the name of the package and the second being the version.

    A valid package id consists of two refined strings, the first being the name of the package and the second being the version. See the predicate below for what constitutes as valid.

    See also

    https://github.com/fthomas/refined

  6. trait ValidVersion extends AnyRef

    Permalink

  7. type Version = Refined[String, ValidVersion]

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. object Id extends Serializable

    Permalink

  5. implicit val PackageIdOrdering: Ordering[Id]

    Permalink

    Use the underlaying (string) ordering, show and equality for package ids.

  6. implicit lazy val arbPackageId: Arbitrary[Id]

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  10. implicit val eqInstance: Eq[Id]

    Permalink

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. val genPackageId: Gen[Id]

    Permalink

    For property based testing purposes, we need to explain how to randomly generate package ids.

    For property based testing purposes, we need to explain how to randomly generate package ids.

    See also

    https://www.scalacheck.org/

  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. implicit val showInstance: Show[Id]

    Permalink

  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  22. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  23. implicit val validPackageId: Predicate[ValidId, String]

    Permalink

  24. implicit val validPackageName: Predicate[ValidName, String]

    Permalink

  25. implicit val validPackageVersion: Predicate[ValidVersion, String]

    Permalink

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped