Package tools.refinery.language.typesystem

Class TypedModule

java.lang.Object

tools.refinery.language.typesystem.TypedModule

public class TypedModule
extends Object

Constructor Summary

Constructors

Constructor	Description
TypedModule()

Method Summary

Modifier and Type	Method	Description
List<org.eclipse.xtext.validation.FeatureBasedDiagnostic>	getDiagnostics()
@NotNull ExprType	getExpressionType(Expr expr)
FixedType	getVariableType(Variable variable)

Methods inherited from class java.lang.Object

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

Constructor Details

TypedModule

public TypedModule()

Method Details

getDiagnostics

public List<org.eclipse.xtext.validation.FeatureBasedDiagnostic> getDiagnostics()

getVariableType

public FixedType getVariableType(Variable variable)

getExpressionType

@NotNull
public @NotNull ExprType getExpressionType(Expr expr)