trait
Pure extends AnyRef
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): java.lang.Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Reporters should implement the Constant interface (which extends Pure) if they are truly constant, i.e., _constdouble, _conststring.
They should implement the Pure interface if they are constant-preserving (i.e. the result is constant when all of their args are constant.)
The main point here is that this distinction allows us to compute some values at compile-time, rather than run-time.
Specifically, PureConstantOptimizer looks for reporters that are entirely pure. A reporter is "entirely pure" if it implements Pure, and all of it's children are "entirely pure". Entirely pure reporters get evaluated at compile time, and replaced with the appropriate constant reporter.
"Pure" reporters *must* not depend on "context", "workspace", "world", etc.