final class Verification extends Statement with HasInfo with IsDeclaration with UseSerializer with Product with Serializable

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

Instance Constructors

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

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def canEqual(obj: Any): Boolean
    Definition Classes
    Verification → Equals
  6. val clk: Expression
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  8. def copy(op: Formal.Value = op, info: Info = info, clk: Expression = clk, pred: Expression = pred, en: Expression = en, msg: StringLit = msg): Verification
  9. val en: Expression
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(obj: Any): Boolean
    Definition Classes
    Verification → Equals → AnyRef → Any
  12. def foreachExpr(f: (Expression) => Unit): Unit
    Definition Classes
    Verification → Statement
  13. def foreachInfo(f: (Info) => Unit): Unit
    Definition Classes
    Verification → Statement
  14. def foreachStmt(f: (Statement) => Unit): Unit
    Definition Classes
    Verification → Statement
  15. def foreachString(f: (String) => Unit): Unit
    Definition Classes
    Verification → Statement
  16. def foreachType(f: (Type) => Unit): Unit
    Definition Classes
    Verification → Statement
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  18. def hashCode(): Int
    Definition Classes
    Verification → AnyRef → Any
  19. val info: Info
    Definition Classes
    Verification → HasInfo
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def mapExpr(f: (Expression) => Expression): Statement
    Definition Classes
    Verification → Statement
  22. def mapInfo(f: (Info) => Info): Statement
    Definition Classes
    Verification → Statement
  23. def mapStmt(f: (Statement) => Statement): Statement
    Definition Classes
    Verification → Statement
  24. def mapString(f: (String) => String): Statement
    Definition Classes
    Verification → Statement
  25. def mapType(f: (Type) => Type): Statement
    Definition Classes
    Verification → Statement
  26. val msg: StringLit
  27. val name: String
    Definition Classes
    Verification → HasName
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  31. val op: Formal.Value
  32. val pred: Expression
  33. def productArity: Int
    Definition Classes
    Verification → Product
  34. def productElement(n: Int): Any
    Definition Classes
    Verification → Product
  35. def productElementName(n: Int): String
    Definition Classes
    Verification → Product
  36. def productElementNames: Iterator[String]
    Definition Classes
    Product
  37. def productIterator: Iterator[Any]
    Definition Classes
    Product
  38. def productPrefix: String
    Definition Classes
    Verification → Product
  39. def serialize: String
    Definition Classes
    UseSerializer → FirrtlNode
  40. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  41. def toString(): String
    Definition Classes
    Verification → AnyRef → Any
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  45. def withClk(clk: Expression): Verification
  46. def withEn(en: Expression): Verification
  47. def withInfo(info: Info): Verification
  48. def withMsg(msg: StringLit): Verification
  49. def withName(name: String): Verification
  50. def withOp(op: Formal.Value): Verification
  51. def withPred(pred: Expression): Verification

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 Product

Inherited from Equals

Inherited from UseSerializer

Inherited from IsDeclaration

Inherited from HasName

Inherited from HasInfo

Inherited from Statement

Inherited from FirrtlNode

Inherited from AnyRef

Inherited from Any

Ungrouped