org.kiama.example.lambda2

Analysis

class Analysis extends AnyRef

Analyses for typed lambda calculus expressions. A simple free variable analysis plus name and type analysis. There are two versions of the latter here: one (tipe) that constructs an explicit environment separate from the AST, and one (tipe2) that represents names by references to the nodes of their binding lambda expressions.

Source: Analysis.scala

Linear Supertypes

AnyRef, Any

Ordering

Alphabetic
By inheritance

Inherited

Analysis
AnyRef
Any

Hide All
Show all

Learn more about member selection

Visibility

Public
All

Instance Constructors

new Analysis(messaging: Messaging)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def checkType(e: Exp, expectedType: Type): Boolean

Return whether the type of e is expectedType or unknown.
Return whether the type of e is expectedType or unknown. If it isn't either of these, also report an error.
def checkType2(e: Exp, expectedType: Type): Boolean

Return whether the type of e is expectedType or unknown.
Return whether the type of e is expectedType or unknown. If it isn't either of these, also report an error.
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def decl: (Var) ⇒ Option[Lam]

The declaration (if any) of an identifier use.
val env: (Exp) ⇒ Seq[(Idn, Type)]

The environment of an expression is the list of variable names that are visible in that expression and their types.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
val fv: (Exp) ⇒ Set[Idn]

The variables that are free in the given expression.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lookup(name: Idn): (Exp) ⇒ Option[Lam]

For a given variable reference, return the lambda node that binds it if there is one, otherwise return None.
val messaging: Messaging
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val tipe: (Exp) ⇒ Type

The type of an expression.
The type of an expression. Checks constituent names and types. Uses the env attribute to get the bound variables and their types.
val tipe2: (Exp) ⇒ Type

The type of an expression.
The type of an expression. Checks constituent names and types. Uses the lookup attribute to get the lambda node that binds a name. For other cases it behaves like tipe.
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped