wytp.types.util

Class StdTypeInfererence

java.lang.Object

wytp.types.util.StdTypeInfererence

All Implemented Interfaces:

TypeInferer

public class StdTypeInfererence
extends Object
implements TypeInferer

A simple type inference for expressions found in WyalFiles.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wytp.types.TypeInferer

TypeInferer.Environment

Constructor Summary

Constructors

Constructor and Description
StdTypeInfererence(TypeSystem types)

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.
protected WyalFile.Type	inferArithmeticOperator(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferArrayGenerator(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferArrayIndex(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferArrayInitialiser(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferArrayLength(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferArrayUpdate(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferCast(TypeInferer.Environment environment, WyalFile.Expr.Cast expr)
protected WyalFile.Type	inferConstant(TypeInferer.Environment environment, WyalFile.Expr.Constant expr)
protected WyalFile.Type	inferDereference(TypeInferer.Environment environment, WyalFile.Expr.Dereference expr)
protected WyalFile.Type	inferExpression(TypeInferer.Environment environment, WyalFile.Expr expr)
protected WyalFile.Type	inferInvoke(TypeInferer.Environment environment, WyalFile.Expr.Invoke expr)
protected WyalFile.Type	inferIs(TypeInferer.Environment environment, WyalFile.Expr.Is expr)
protected WyalFile.Type	inferLogicalOperator(TypeInferer.Environment environment, WyalFile.Expr.Operator expr)
protected WyalFile.Type	inferQuantifier(TypeInferer.Environment environment, WyalFile.Expr.Quantifier expr)
protected WyalFile.Type	inferRecordAccess(TypeInferer.Environment environment, WyalFile.Expr.RecordAccess expr)
protected WyalFile.Type	inferRecordInitialiser(TypeInferer.Environment environment, WyalFile.Expr.RecordInitialiser expr)
protected WyalFile.Type	inferRecordUpdate(TypeInferer.Environment environment, WyalFile.Expr.RecordUpdate expr)
protected WyalFile.Type	inferValue(wybs.util.AbstractCompilationUnit.Value val)
protected WyalFile.Type	inferVariableAccess(TypeInferer.Environment environment, WyalFile.Expr.VariableAccess expr)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StdTypeInfererence

public StdTypeInfererence(TypeSystem types)

Method Detail

getInferredType

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

Description copied from interface: TypeInferer

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

Specified by:

getInferredType in interface TypeInferer

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.

inferExpression

protected WyalFile.Type inferExpression(TypeInferer.Environment environment,
                                        WyalFile.Expr expr)
                                 throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferCast

protected WyalFile.Type inferCast(TypeInferer.Environment environment,
                                  WyalFile.Expr.Cast expr)

inferLogicalOperator

protected WyalFile.Type inferLogicalOperator(TypeInferer.Environment environment,
                                             WyalFile.Expr.Operator expr)
                                      throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferArithmeticOperator

protected WyalFile.Type inferArithmeticOperator(TypeInferer.Environment environment,
                                                WyalFile.Expr.Operator expr)
                                         throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferVariableAccess

protected WyalFile.Type inferVariableAccess(TypeInferer.Environment environment,
                                            WyalFile.Expr.VariableAccess expr)

inferConstant

protected WyalFile.Type inferConstant(TypeInferer.Environment environment,
                                      WyalFile.Expr.Constant expr)

inferIs

protected WyalFile.Type inferIs(TypeInferer.Environment environment,
                                WyalFile.Expr.Is expr)

inferInvoke

protected WyalFile.Type inferInvoke(TypeInferer.Environment environment,
                                    WyalFile.Expr.Invoke expr)

inferQuantifier

protected WyalFile.Type inferQuantifier(TypeInferer.Environment environment,
                                        WyalFile.Expr.Quantifier expr)

inferArrayLength

protected WyalFile.Type inferArrayLength(TypeInferer.Environment environment,
                                         WyalFile.Expr.Operator expr)

inferArrayInitialiser

protected WyalFile.Type inferArrayInitialiser(TypeInferer.Environment environment,
                                              WyalFile.Expr.Operator expr)
                                       throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferArrayGenerator

protected WyalFile.Type inferArrayGenerator(TypeInferer.Environment environment,
                                            WyalFile.Expr.Operator expr)
                                     throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferArrayIndex

protected WyalFile.Type inferArrayIndex(TypeInferer.Environment environment,
                                        WyalFile.Expr.Operator expr)
                                 throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferArrayUpdate

protected WyalFile.Type inferArrayUpdate(TypeInferer.Environment environment,
                                         WyalFile.Expr.Operator expr)
                                  throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferRecordAccess

protected WyalFile.Type inferRecordAccess(TypeInferer.Environment environment,
                                          WyalFile.Expr.RecordAccess expr)
                                   throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferRecordUpdate

protected WyalFile.Type inferRecordUpdate(TypeInferer.Environment environment,
                                          WyalFile.Expr.RecordUpdate expr)
                                   throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferRecordInitialiser

protected WyalFile.Type inferRecordInitialiser(TypeInferer.Environment environment,
                                               WyalFile.Expr.RecordInitialiser expr)
                                        throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferDereference

protected WyalFile.Type inferDereference(TypeInferer.Environment environment,
                                         WyalFile.Expr.Dereference expr)
                                  throws wybs.lang.NameResolver.ResolutionError

Throws:

wybs.lang.NameResolver.ResolutionError

inferValue

protected WyalFile.Type inferValue(wybs.util.AbstractCompilationUnit.Value val)