kiama 0.9.0 API
kiama.example.imperative.AST

class Stmt
[source: kiama/example/imperative/AST.scala]
abstract class Stmt
extends PrettyPrintable with scala.Product
Statements.
Direct Known Subclasses:
AST.Null, AST.Seqn, AST.Asgn, AST.While
Method Summary
def vars : scala.collection.immutable.Set[java.lang.String]
The set of all variable references in the statement.
Methods inherited from scala.Product
scala.Product.productElement (abstract), scala.Product.productArity (abstract), scala.Product.productPrefix
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Methods inherited from PrettyPrintable
pretty (abstract)
Method Details
def vars : scala.collection.immutable.Set[java.lang.String]
The set of all variable references in the statement.
kiama 0.9.0 API