Class

firrtl.ir

Verification

Related Doc: package ir

Permalink

case class Verification(op: Formal.Value, info: Info, clk: Expression, pred: Expression, en: Expression, msg: StringLit) extends Statement with HasInfo with UseSerializer with Product with Serializable

Source
IR.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, UseSerializer, HasInfo, Statement, FirrtlNode, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Verification
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. UseSerializer
  7. HasInfo
  8. Statement
  9. FirrtlNode
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Verification(op: Formal.Value, info: Info, clk: Expression, pred: Expression, en: Expression, msg: StringLit)

    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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. val clk: Expression

    Permalink

  6. def clone(): AnyRef

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

  7. val en: Expression

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  9. def finalize(): Unit

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

  10. def foreachExpr(f: (Expression) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Verification → Statement

  11. def foreachInfo(f: (Info) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Verification → Statement

  12. def foreachStmt(f: (Statement) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Verification → Statement

  13. def foreachString(f: (String) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Verification → Statement

  14. def foreachType(f: (Type) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Verification → Statement

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

    Permalink
    Definition Classes
    AnyRef → Any

  16. val info: Info

    Permalink
    Definition Classes
    Verification → HasInfo

  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  18. def mapExpr(f: (Expression) ⇒ Expression): Statement

    Permalink
    Definition Classes
    Verification → Statement

  19. def mapInfo(f: (Info) ⇒ Info): Statement

    Permalink
    Definition Classes
    Verification → Statement

  20. def mapStmt(f: (Statement) ⇒ Statement): Statement

    Permalink
    Definition Classes
    Verification → Statement

  21. def mapString(f: (String) ⇒ String): Statement

    Permalink
    Definition Classes
    Verification → Statement

  22. def mapType(f: (Type) ⇒ Type): Statement

    Permalink
    Definition Classes
    Verification → Statement

  23. val msg: StringLit

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  27. val op: Formal.Value

    Permalink

  28. val pred: Expression

    Permalink

  29. def serialize: String

    Permalink
    Definition Classes
    UseSerializer → FirrtlNode

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

    Permalink
    Definition Classes
    AnyRef

  31. final def wait(): Unit

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

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

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from UseSerializer

Inherited from HasInfo

Inherited from Statement

Inherited from FirrtlNode

Inherited from AnyRef

Inherited from Any

Ungrouped