wytp.types

Interface TypeInferer

All Known Implementing Classes:

StdTypeInfererence

public interface TypeInferer

Responsible for inferring the type for a given expression. More specifically, a conservative type which includes every value this expression could generate in a given environment. For example, consider the expression x+1. In an environment where x has type int a reasonable type to infer would be int. However, that is not the only possible type. For example, a very coarse approximation would be any.

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	TypeInferer.Environment The typing environment determines the current type for all variables at a given point.

Method Summary

Modifier and Type	Method and Description
WyalFile.Type	getInferredType(TypeInferer.Environment environment, WyalFile.Expr expression) Get the type inferred for a given expression in a given environment.

Method Detail

getInferredType

WyalFile.Type getInferredType(TypeInferer.Environment environment,
                              WyalFile.Expr expression)
                       throws wybs.lang.NameResolver.ResolutionError

Get the type inferred for a given expression in a given environment.

Parameters:

environment - Environment to be used when resolving the type of a variable

expression - The expression whose type is to be infered.

Returns:

Throws:

wybs.lang.NameResolver.ResolutionError - Occurs when a particular named type cannot be resolved.