case class PiecewiseTmcCoverage(parts: Seq[TmcCoverage]) extends Product with Serializable
Generalized result of TMC reference creation.
This is needed as arbitrary LinearLocations are not necessarily
representable in TMC, but clients might still be interested in
partial results.
The following should hold:
-
Where the parts touch the start or the end of the original LinearLocation
they will have appropriate PreciseTMCInformation to match
the original LinearLocation.
- Those references that are dominated, that is fully covered by a longer reference, are not returned.
-
If references overlap, the first (in the direction of the original LinearLocation)
one will be given the preference.
- Should two references have the same coverage an arbitrary one will get eliminated.
-
The references are ordered in the direction of the originally requested LinearLocation.
- parts
Ordered parts of the original linear location, along with their optional TMC coverage.
- Alphabetic
- By Inheritance
- PiecewiseTmcCoverage
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new PiecewiseTmcCoverage(parts: List[TmcCoverage])
- new PiecewiseTmcCoverage(parts: Seq[TmcCoverage])
- parts
Ordered parts of the original linear location, along with their optional TMC coverage.
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def getParts: List[TmcCoverage]
Returns ordered parts of the original linear location, along with their optional TMC coverage.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- val parts: Seq[TmcCoverage]
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)