Class

mimir.algebra

Proc

Related Doc: package algebra

Permalink

abstract class Proc extends Expression

A placeholder for use in extending Eval; A proc is an expression that can be evaluated, but is not itself part of mimir's grammar.

The proc defines the method of evaluation.

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Proc
  2. Expression
  3. ExpressionConstructors
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Proc(args: Seq[Expression])

    Permalink

Abstract Value Members

  1. abstract def get(v: Seq[PrimitiveValue]): PrimitiveValue

    Permalink
  2. abstract def getType(argTypes: Seq[Type]): Type

    Permalink
  3. abstract def rebuild(c: Seq[Expression]): Expression

    Permalink

    Return a new instance of the same object, but with the children replaced with the provided list.

    Return a new instance of the same object, but with the children replaced with the provided list. The list must be of the same size returned by children. This is mostly to facilitate recur, below

    Definition Classes
    Expression

Concrete 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. def add(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  5. def and(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  6. val args: Seq[Expression]

    Permalink
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def bitAnd(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  9. def bitOr(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  10. def children: Seq[Expression]

    Permalink

    Return all of the children of the current tree node

    Return all of the children of the current tree node

    Definition Classes
    ProcExpression
  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def div(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  13. def eq(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  14. def eq(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  15. def eq(other: Int): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  16. def eq(other: String): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  17. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def getArgs: Seq[Expression]

    Permalink
  21. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  22. def gt(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  23. def gt(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  24. def gt(other: Long): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  25. def gte(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  26. def gte(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  27. def gte(other: Long): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  28. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  29. def in(other: Seq[Expression]): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  30. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  31. def isNull: Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  32. def lt(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  33. def lt(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  34. def lt(other: Long): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  35. def lte(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  36. def lte(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  37. def lte(other: Long): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  38. def mult(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  39. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  40. def neq(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  41. def neq(other: Double): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  42. def neq(other: Int): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  43. def neq(other: String): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  44. def not: Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  45. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  46. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  47. def or(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  48. def recur(f: (Expression) ⇒ Expression): Expression

    Permalink

    Perform a recursive rewrite.

    Perform a recursive rewrite. The following pattern is pretty common throughout Mimir: def replaceFooWithBar(e:Expression): Expression = e match { case Foo(a, b, c, ...) => Bar(a, b, c, ...) case _ => e.recur(replaceFooWithBar(_)) } Note how specific rewrites are applied to specific patterns in the tree, and recur is used to ignore/descend through every other class of object

    Definition Classes
    Expression
  49. def shiftLeft(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  50. def shiftRight(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  51. def sub(other: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  52. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  53. def thenElse(thenClause: Expression)(elseClause: Expression): Expression

    Permalink
    Definition Classes
    ExpressionConstructors
  54. def toExpression: Expression

    Permalink

    Return this

    Return this

    Definition Classes
    ExpressionExpressionConstructors
  55. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  56. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long, arg1: Int): Unit

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

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

Inherited from Expression

Inherited from ExpressionConstructors

Inherited from AnyRef

Inherited from Any

Ungrouped