Uses of Class
com.io7m.jpra.model.type_expressions.TypeExprFloat

Packages that use TypeExprFloat

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.model.type_expressions	Type expressions.

Uses of TypeExprFloat in com.io7m.jpra.compiler.core.checker

Methods in com.io7m.jpra.compiler.core.checker with parameters of type TypeExprFloat

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.floatSizeNotSupported(TypeExprFloat<IdentifierType,Untyped> e, Size<SizeUnitBitsType> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)

Uses of TypeExprFloat in com.io7m.jpra.model.type_expressions

Methods in com.io7m.jpra.model.type_expressions with parameters of type TypeExprFloat

Modifier and Type	Method and Description
A	TypeExprMatcherType.matchExprFloat(TypeExprFloat<I,T> e) Match a float expression.