trait ExprGen[E <: Expression] extends AnyRef

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExprGen
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Width = BigInt

Abstract Value Members

  1. abstract def boolSIntGen[S, G[_]](implicit arg0: ExprState[S], arg1: GenMonad[G]): Option[StateGen[S, G, E]]

    A StateGen that produces a one width SInt Expression

  2. abstract def boolUIntGen[S, G[_]](implicit arg0: ExprState[S], arg1: GenMonad[G]): Option[StateGen[S, G, E]]

    A StateGen that produces a one width UInt Expression

  3. abstract def name: String

    The name of this generator, used for logging

  4. abstract def sintGen[S, G[_]](implicit arg0: ExprState[S], arg1: GenMonad[G]): Option[(Width) ⇒ StateGen[S, G, E]]

    Takes a width and returns a StateGen that produces a SInt Expression with the given width

    Takes a width and returns a StateGen that produces a SInt Expression with the given width

    The input width will be greater than 1 and less than or equal to the maximum width allowed by the input state

  5. abstract def uintGen[S, G[_]](implicit arg0: ExprState[S], arg1: GenMonad[G]): Option[(Width) ⇒ StateGen[S, G, E]]

    Takes a width and returns a StateGen that produces a UInt Expression with the given width

    Takes a width and returns a StateGen that produces a UInt Expression with the given width

    The input width will be greater than 1 and less than or equal to the maximum width allowed specified by the input state

Concrete 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 clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  17. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. def withTrace: ExprGen[E]

    Returns a copy of this ExprGen that throws better exceptions

    Returns a copy of this ExprGen that throws better exceptions

    Wraps this ExprGen's functions with a try-catch that will wrap exceptions and record the name of this generator in an ExprGen.TraceException.

Deprecated Value Members

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

Inherited from AnyRef

Inherited from Any

Ungrouped