AssertStatement

Instance Constructors

new AssertStatement(cond: Expression, message: Seq[Any], severity: AssertNodeSeverity, kind: AssertStatementKind, trigger: AssertStatementTrigger, loc: Location)

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

Definition Classes
SpinalTagReady
def addAttribute(name: String, value: Int): AssertStatement.this.type

Definition Classes
SpinalTagReady
def addAttribute(name: String, value: String): AssertStatement.this.type

Definition Classes
SpinalTagReady
def addAttribute(name: String): AssertStatement.this.type

Definition Classes
SpinalTagReady
def addAttribute(attribute: Attribute): AssertStatement.this.type

Definition Classes
SpinalTagReady
def addTag[T <: SpinalTag](spinalTag: T): AssertStatement.this.type

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

Definition Classes
SpinalTagReady
var algoIncrementale: Int

Definition Classes
BaseNode
var algoInt: Int

Definition Classes
BaseNode
final def asInstanceOf[T0]: T0

Definition Classes
Any
var clockDomain: ClockDomain
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def component: Component

Definition Classes
ContextUser
var cond: Expression
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def existsTag(cond: (SpinalTag) ⇒ Boolean): Boolean

Definition Classes
SpinalTagReady
def filterTag(cond: (SpinalTag) ⇒ Boolean): Iterable[SpinalTag]

Definition Classes
SpinalTagReady
def findTag(cond: (SpinalTag) ⇒ Boolean): Option[SpinalTag]

Definition Classes
SpinalTagReady
def foreachClockDomain(func: (ClockDomain) ⇒ Unit): Unit

Definition Classes
AssertStatement → Statement
def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit

Definition Classes
ExpressionContainer
def foreachExpression(func: (Expression) ⇒ Unit): Unit

Definition Classes
AssertStatement → ExpressionContainer
def foreachTag(body: (SpinalTag) ⇒ Unit): Unit

Definition Classes
SpinalTagReady
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def getInstanceCounter: Int

Definition Classes
ContextUser
def getScalaLocationLong: String

Definition Classes
ScalaLocated
def getScalaLocationShort: String

Definition Classes
ScalaLocated
def getScalaTrace(): Throwable

Definition Classes
ScalaLocated
def getTag[T <: SpinalTag](clazz: Class[T]): Option[T]

Definition Classes
SpinalTagReady
def getTags(): LinkedHashSet[SpinalTag]

Definition Classes
SpinalTagReady
val globalData: GlobalData

Definition Classes
GlobalDataUser
def hasTag[T <: SpinalTag](clazz: Class[T]): Boolean

Definition Classes
SpinalTagReady
def hasTag(spinalTag: SpinalTag): Boolean

Definition Classes
SpinalTagReady
def insertNext(s: Statement): Unit

Definition Classes
Statement
def instanceAttributes(language: Language): Iterable[Attribute]

Definition Classes
SpinalTagReady
def instanceAttributes: Iterable[Attribute]

Definition Classes
SpinalTagReady
def isEmptyOfTag: Boolean

Definition Classes
SpinalTagReady
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val kind: AssertStatementKind
var lastScopeStatement: Statement

Definition Classes
Statement
val loc: Location
val message: Seq[Any]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
var nextScopeStatement: Statement

Definition Classes
Statement
def normalizeInputs: Unit

Definition Classes
ExpressionContainer
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def onEachAttributes(doIt: (Attribute) ⇒ Unit): Unit

Definition Classes
SpinalTagReady
var parentScope: ScopeStatement

Definition Classes
ContextUser
def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit

Definition Classes
ExpressionContainer
def remapExpressions(func: (Expression) ⇒ Expression): Unit

Definition Classes
AssertStatement → ExpressionContainer
def removeStatement(): Unit

Definition Classes
Statement
def removeStatementFromScope(): Unit

Definition Classes
Statement
def removeTag(spinalTag: SpinalTag): AssertStatement.this.type

Definition Classes
SpinalTagReady
def removeTags(tags: Iterable[SpinalTag]): AssertStatement.this.type

Definition Classes
SpinalTagReady
def rootScopeStatement: ScopeStatement

Definition Classes
Statement
var scalaTrace: Throwable

Definition Classes
ScalaLocated
def setScalaLocated(source: ScalaLocated): AssertStatement.this.type

Definition Classes
ScalaLocated
val severity: AssertNodeSeverity
def spinalTags: LinkedHashSet[SpinalTag]

Definition Classes
SpinalTagReady
def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression

Definition Classes
ExpressionContainer
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toStringMultiLine(): String

Definition Classes
BaseNode
val trigger: AssertStatementTrigger
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit

Definition Classes
ExpressionContainer
def walkExpression(func: (Expression) ⇒ Unit): Unit

Definition Classes
ExpressionContainer
def walkExpressionPostorder(func: (Expression) ⇒ Unit): Unit

Definition Classes
ExpressionContainer
def walkParentTreeStatements(func: (TreeStatement) ⇒ Unit): Unit

Definition Classes
Statement
def walkParentTreeStatementsUntilRootScope(func: (TreeStatement) ⇒ Unit): Unit

Definition Classes
Statement
def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit

Definition Classes
ExpressionContainer
def walkRemapExpressions(func: (Expression) ⇒ Expression): Unit

Definition Classes
ExpressionContainer

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package internals

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

Instance Constructors

new AssertStatement(cond: Expression, message: Seq[Any], severity: AssertNodeSeverity, kind: AssertStatementKind, trigger: AssertStatementTrigger, loc: Location)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

var _spinalTags: LinkedHashSet[SpinalTag]

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

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

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

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

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

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

var algoIncrementale: Int

var algoInt: Int

final def asInstanceOf[T0]: T0

var clockDomain: ClockDomain

def clone(): AnyRef

def component: Component

var cond: Expression

final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

final def getClass(): Class[_]

def getInstanceCounter: Int

def getScalaLocationLong: String

def getScalaLocationShort: String

def getScalaTrace(): Throwable

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

def getTags(): LinkedHashSet[SpinalTag]

val globalData: GlobalData

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

def hasTag(spinalTag: SpinalTag): Boolean

def insertNext(s: Statement): Unit

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

def instanceAttributes: Iterable[Attribute]

def isEmptyOfTag: Boolean

final def isInstanceOf[T0]: Boolean

val kind: AssertStatementKind

var lastScopeStatement: Statement

val loc: Location

val message: Seq[Any]

final def ne(arg0: AnyRef): Boolean

var nextScopeStatement: Statement

def normalizeInputs: Unit

final def notify(): Unit

final def notifyAll(): Unit

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

var parentScope: ScopeStatement

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

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

def removeStatement(): Unit

def removeStatementFromScope(): Unit

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

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

def rootScopeStatement: ScopeStatement

var scalaTrace: Throwable

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

val severity: AssertNodeSeverity

def spinalTags: LinkedHashSet[SpinalTag]

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

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

def toStringMultiLine(): String

val trigger: AssertStatementTrigger

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

final def wait(arg0: Long): Unit

final def wait(): Unit

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

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

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

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

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