Packages

c

spinal.core.internals

AssertStatement

case class AssertStatement(cond: Expression, message: Seq[Any], severity: AssertNodeSeverity, kind: AssertStatementKind, trigger: AssertStatementTrigger, loc: Location) 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, trigger: AssertStatementTrigger, loc: Location)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val _spinalTags: LinkedHashSet[SpinalTag]
    Definition Classes
    SpinalTagReady
  5. def addAttribute(name: String, value: Int): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  6. def addAttribute(name: String, value: String): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  7. def addAttribute(name: String): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  8. def addAttribute(attribute: Attribute): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  9. def addTag[T <: SpinalTag](spinalTag: T): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  10. def addTags(h: SpinalTag, tail: SpinalTag*): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  11. def addTags[T <: SpinalTag](tags: Iterable[T]): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  12. val algoIncrementale: Int
    Definition Classes
    BaseNode
  13. val algoInt: Int
    Definition Classes
    BaseNode
  14. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  15. var clockDomain: ClockDomain
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  17. def component: Component
    Definition Classes
    ContextUser
  18. var cond: Expression
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def existsTag(cond: (SpinalTag) ⇒ Boolean): Boolean
    Definition Classes
    SpinalTagReady
  21. def filterTag(cond: (SpinalTag) ⇒ Boolean): Iterable[SpinalTag]
    Definition Classes
    SpinalTagReady
  22. def findTag(cond: (SpinalTag) ⇒ Boolean): Option[SpinalTag]
    Definition Classes
    SpinalTagReady
  23. def foreachClockDomain(func: (ClockDomain) ⇒ Unit): Unit
    Definition Classes
    AssertStatementStatement
  24. def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  25. def foreachExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    AssertStatementExpressionContainer
  26. def foreachTag(body: (SpinalTag) ⇒ Unit): Unit
    Definition Classes
    SpinalTagReady
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  28. def getInstanceCounter: Int
    Definition Classes
    ContextUser
  29. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  30. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  31. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  32. def getTag[T <: SpinalTag](clazz: Class[T]): Option[T]
    Definition Classes
    SpinalTagReady
  33. def getTags(): LinkedHashSet[SpinalTag]
    Definition Classes
    SpinalTagReady
  34. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  35. def hasTag[T <: SpinalTag](clazz: Class[T]): Boolean
    Definition Classes
    SpinalTagReady
  36. def hasTag(spinalTag: SpinalTag): Boolean
    Definition Classes
    SpinalTagReady
  37. def insertNext(s: Statement): Unit
    Definition Classes
    Statement
  38. def instanceAttributes(language: Language): Iterable[Attribute]
    Definition Classes
    SpinalTagReady
  39. def instanceAttributes: Iterable[Attribute]
    Definition Classes
    SpinalTagReady
  40. def isEmptyOfTag: Boolean
    Definition Classes
    SpinalTagReady
  41. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  42. val kind: AssertStatementKind
  43. val lastScopeStatement: Statement
    Definition Classes
    Statement
  44. val loc: Location
  45. val message: Seq[Any]
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. val nextScopeStatement: Statement
    Definition Classes
    Statement
  48. def normalizeInputs: Unit
    Definition Classes
    ExpressionContainer
  49. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  50. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  51. def onEachAttributes(doIt: (Attribute) ⇒ Unit): Unit
    Definition Classes
    SpinalTagReady
  52. val parentScope: ScopeStatement
    Definition Classes
    ContextUser
  53. def remapClockDomain(func: (ClockDomain) ⇒ ClockDomain): Unit
    Definition Classes
    AssertStatementStatement
  54. def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  55. def remapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    AssertStatementExpressionContainer
  56. def removeStatement(): Unit
    Definition Classes
    Statement
  57. def removeStatementFromScope(): Unit
    Definition Classes
    Statement
  58. def removeTag(spinalTag: SpinalTag): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  59. def removeTags(tags: Iterable[SpinalTag]): AssertStatement.this.type
    Definition Classes
    SpinalTagReady
  60. def rootScopeStatement: ScopeStatement
    Definition Classes
    Statement
  61. val scalaTrace: Throwable
    Definition Classes
    ScalaLocated
  62. def setScalaLocated(source: ScalaLocated): AssertStatement.this.type
    Definition Classes
    ScalaLocated
  63. val severity: AssertNodeSeverity
  64. def spinalTags: LinkedHashSet[SpinalTag]
    Definition Classes
    SpinalTagReady
  65. def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  66. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  67. def toStringMultiLine(): String
    Definition Classes
    BaseNode
  68. val trigger: AssertStatementTrigger
  69. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  71. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  72. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  73. def walkExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  74. def walkExpressionPostorder(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  75. def walkParentTreeStatements(func: (TreeStatement) ⇒ Unit): Unit
    Definition Classes
    Statement
  76. def walkParentTreeStatementsUntilRootScope(func: (TreeStatement) ⇒ Unit): Unit
    Definition Classes
    Statement
  77. def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  78. def walkRemapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

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