object DataflowAST in kiama.example.dataflow

kiama.example.dataflow

object DataflowAST

[source: kiama/example/dataflow/DataflowAST.scala]

object DataflowAST: extends AnyRef

Imperative language AST for dataflow example.

Type Summary
`type`	Var

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Class Summary
`case class`	Assign (`val` left : java.lang.String, `val` right : java.lang.String) `extends` Stm `with` scala.Product
`case class`	Block (`val` stms : Stm*) `extends` Stm `with` scala.Product
`case class`	Empty `extends` Stm `with` scala.Product
`case class`	If (`val` cond : java.lang.String, `val` tru : Stm, `val` fls : Stm) `extends` Stm `with` scala.Product
`case class`	Program (`val` body : Stm) `extends` Attributable
`case class`	Return (`val` ret : java.lang.String) `extends` Stm `with` scala.Product
`abstract class`	Stm `extends` Attributable
`case class`	While (`val` cond : java.lang.String, `val` body : Stm) `extends` Stm `with` scala.Product

Type Details

type Var