kiama 0.9.0 API
kiama.example.oberon0.compiler

object ValueAnalysis
[source: kiama/example/oberon0/compiler/ValueAnalysis.scala]
object ValueAnalysis
extends AnyRef
Value analysis for Oberon0 expressions.
Value Summary
val boolValue : scala.PartialFunction[Exp, Boolean]
The Boolean value of an expression that is assumed to be of BooleanType and constant.
val intValue : scala.PartialFunction[Exp, Int]
The integer value of an expression that is assumed to be of IntegerType and constant.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val intValue : scala.PartialFunction[Exp, Int]
The integer value of an expression that is assumed to be of IntegerType and constant.
val boolValue : scala.PartialFunction[Exp, Boolean]
The Boolean value of an expression that is assumed to be of BooleanType and constant.
kiama 0.9.0 API