kiama 0.9.0 API
kiama.example.oberon0.compiler

object NameAnalysis
[source: kiama/example/oberon0/compiler/NameAnalysis.scala]
object NameAnalysis
extends AnyRef
Semantic attributes
Value Summary
val decl : scala.PartialFunction[Ident, Declaration]
The declaration associated with each applied occurrence of an Ident.
val env : scala.PartialFunction[Attributable, Environment]
The accessible names and types at a given point in the program.
val isMultiplyDefined : scala.PartialFunction[Declaration, Boolean]
Is the name already declared in this scope or not?
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 isMultiplyDefined : scala.PartialFunction[Declaration, Boolean]
Is the name already declared in this scope or not?
val env : scala.PartialFunction[Attributable, Environment]
The accessible names and types at a given point in the program.
val decl : scala.PartialFunction[Ident, Declaration]
The declaration associated with each applied occurrence of an Ident.
kiama 0.9.0 API