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