Uses of Class
fmrisc.Semantics.TypeExpression

Packages that use TypeExpression

fmrisc.Semantics

Uses of TypeExpression in fmrisc.Semantics

Methods in fmrisc.Semantics that return TypeExpression

static TypeExpression	Checking.clearSubtypes(Type type, Expression exp) return version of type where subtypes and subranges (including NAT) are replaced by their base types; the corresponding constraints are returned as a formula which a corresponding expression exp has to fulfill
TypeExpression	ValueSymbol.getClearType() Get clear type.
TypeExpression	TypeExpression.instantiate() create instantiated copy of type expression

Methods in fmrisc.Semantics with parameters of type TypeExpression

void	ValueSymbol.setClearType(TypeExpression clearType) Set clear type to typexp.