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
boolean	expectType(org.eclipse.xtext.validation.ValidationMessageAcceptor acceptor, Expr expr, FixedType expectedType)
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)

expectType

public boolean expectType(org.eclipse.xtext.validation.ValidationMessageAcceptor acceptor,
 Expr expr,
 FixedType expectedType)