Class

spinal.core.internals

AssertStatement

Related Doc: package internals

Permalink

case class AssertStatement(cond: Expression, message: Seq[Any], severity: AssertNodeSeverity, kind: AssertStatementKind) extends LeafStatement with SpinalTagReady with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, SpinalTagReady, LeafStatement, Statement, BaseNode, ContextUser, ScalaLocated, GlobalDataUser, ExpressionContainer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssertStatement
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. SpinalTagReady
  7. LeafStatement
  8. Statement
  9. BaseNode
  10. ContextUser
  11. ScalaLocated
  12. GlobalDataUser
  13. ExpressionContainer
  14. AnyRef
  15. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AssertStatement(cond: Expression, message: Seq[Any], severity: AssertNodeSeverity, kind: AssertStatementKind)

    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. var _spinalTags: LinkedHashSet[SpinalTag]

    Permalink
    Definition Classes
    SpinalTagReady

  5. def addAttribute(name: String, value: String): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  6. def addAttribute(name: String): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  7. def addAttribute(attribute: Attribute): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  8. def addTag[T <: SpinalTag](spinalTag: T): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  9. def addTags[T <: SpinalTag](tags: Iterable[T]): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  10. var algoIncrementale: Int

    Permalink
    Definition Classes
    BaseNode

  11. var algoInt: Int

    Permalink
    Definition Classes
    BaseNode

  12. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  13. var clockDomain: ClockDomain

    Permalink

  14. def clone(): AnyRef

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

  15. def component: Component

    Permalink
    Definition Classes
    ContextUser

  16. var cond: Expression

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  18. def existsTag(cond: (SpinalTag) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    SpinalTagReady

  19. def filterTag(cond: (SpinalTag) ⇒ Boolean): Iterable[SpinalTag]

    Permalink
    Definition Classes
    SpinalTagReady

  20. def findTag(cond: (SpinalTag) ⇒ Boolean): Option[SpinalTag]

    Permalink
    Definition Classes
    SpinalTagReady

  21. def foreachClockDomain(func: (ClockDomain) ⇒ Unit): Unit

    Permalink
    Definition Classes
    AssertStatement → Statement

  22. def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  23. def foreachExpression(func: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    AssertStatement → ExpressionContainer

  24. def foreachTag(body: (SpinalTag) ⇒ Unit): Unit

    Permalink
    Definition Classes
    SpinalTagReady

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

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  26. def getInstanceCounter: Int

    Permalink
    Definition Classes
    ContextUser

  27. def getScalaLocationLong: String

    Permalink
    Definition Classes
    ScalaLocated

  28. def getScalaLocationShort: String

    Permalink
    Definition Classes
    ScalaLocated

  29. def getScalaTrace(): Throwable

    Permalink
    Definition Classes
    ScalaLocated

  30. def getTag[T <: SpinalTag](clazz: Class[T]): Option[T]

    Permalink
    Definition Classes
    SpinalTagReady

  31. def getTags(): LinkedHashSet[SpinalTag]

    Permalink
    Definition Classes
    SpinalTagReady

  32. val globalData: GlobalData

    Permalink
    Definition Classes
    GlobalDataUser

  33. def hasTag[T <: SpinalTag](clazz: Class[T]): Boolean

    Permalink
    Definition Classes
    SpinalTagReady

  34. def hasTag(spinalTag: SpinalTag): Boolean

    Permalink
    Definition Classes
    SpinalTagReady

  35. def insertNext(s: Statement): Unit

    Permalink
    Definition Classes
    Statement

  36. def instanceAttributes(language: Language): Iterable[Attribute]

    Permalink
    Definition Classes
    SpinalTagReady

  37. def instanceAttributes: Iterable[Attribute]

    Permalink
    Definition Classes
    SpinalTagReady

  38. def isEmptyOfTag: Boolean

    Permalink
    Definition Classes
    SpinalTagReady

  39. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  40. val kind: AssertStatementKind

    Permalink

  41. var lastScopeStatement: Statement

    Permalink
    Definition Classes
    Statement

  42. val message: Seq[Any]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  44. var nextScopeStatement: Statement

    Permalink
    Definition Classes
    Statement

  45. def normalizeInputs: Unit

    Permalink
    Definition Classes
    ExpressionContainer

  46. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  47. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  48. def onEachAttributes(doIt: (Attribute) ⇒ Unit): Unit

    Permalink
    Definition Classes
    SpinalTagReady

  49. var parentScope: ScopeStatement

    Permalink
    Definition Classes
    ContextUser

  50. def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  51. def remapExpressions(func: (Expression) ⇒ Expression): Unit

    Permalink
    Definition Classes
    AssertStatement → ExpressionContainer

  52. def removeStatement(): Unit

    Permalink
    Definition Classes
    Statement

  53. def removeStatementFromScope(): Unit

    Permalink
    Definition Classes
    Statement

  54. def removeTag(spinalTag: SpinalTag): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  55. def removeTags(tags: Iterable[SpinalTag]): AssertStatement.this.type

    Permalink
    Definition Classes
    SpinalTagReady

  56. def rootScopeStatement: ScopeStatement

    Permalink
    Definition Classes
    Statement

  57. def setScalaLocated(source: ScalaLocated): AssertStatement.this.type

    Permalink
    Definition Classes
    ScalaLocated

  58. val severity: AssertNodeSeverity

    Permalink

  59. def spinalTags: LinkedHashSet[SpinalTag]

    Permalink
    Definition Classes
    SpinalTagReady

  60. def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression

    Permalink
    Definition Classes
    ExpressionContainer

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

    Permalink
    Definition Classes
    AnyRef

  62. def toStringMultiLine(): String

    Permalink
    Definition Classes
    BaseNode

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

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

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

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

  65. final def wait(): Unit

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

  66. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  67. def walkExpression(func: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  68. def walkExpressionPostorder(func: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  69. def walkParentTreeStatements(func: (TreeStatement) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Statement

  70. def walkParentTreeStatementsUntilRootScope(func: (TreeStatement) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Statement

  71. def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit

    Permalink
    Definition Classes
    ExpressionContainer

  72. def walkRemapExpressions(func: (Expression) ⇒ Expression): Unit

    Permalink
    Definition Classes
    ExpressionContainer

Deprecated Value Members

  1. def finalize(): Unit

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from SpinalTagReady

Inherited from LeafStatement

Inherited from Statement

Inherited from BaseNode

Inherited from ContextUser

Inherited from ScalaLocated

Inherited from GlobalDataUser

Inherited from ExpressionContainer

Inherited from AnyRef

Inherited from Any

Ungrouped