case class CexParser(rawCex: String) extends Product with Serializable
A CEX parser making blocks of a CEX String available as a named map of label -> vectors of data.
- rawCex
CEX data to parse.
- Annotations
- @JSExportAll()
- Alphabetic
- By Inheritance
- CexParser
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
CexParser(rawCex: String)
- rawCex
CEX data to parse.
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
-
val
blockLabels: Set[String]
Set of block labels in this CEX library
-
def
blockMap: Map[String, Vector[String]]
Map of block labels to one or more data sets.
-
def
blockString(blockLabel: String): String
Concatenate all content lines for a block type into a single string.
Concatenate all content lines for a block type into a single string.
- blockLabel
Block to look for.
-
def
blockVector(blockLabel: String): Vector[String]
Find content for block label.
Find content for block label.
- blockLabel
Block to look for.
-
def
blocksContentLines: Vector[Vector[String]]
Each block of data as a vector of non-empty, non-comment lines.
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
def
dimensions: Map[String, (Int, Int)]
Report number of blocks and total number of lines for each block type.
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val invalid: Set[String]
-
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
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def printDimensions: Unit
-
def
rawBlocks: Vector[String]
Vector of labelled blocks of CEX strings.
- val rawCex: String
-
def
sum(counts: Vector[Int]): Int
Sum up counts of lines in Vector of integers.
Sum up counts of lines in Vector of integers.
- counts
Vector of line counts.
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
version: Option[String]
Find optional string value for cex version reported for this source.
-
def
versionString: String
Find a string value for the cex version reported for this source, or a null string if None.
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.