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

Packages that use TypeExprBooleanSet

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

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

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

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.booleanSetSizeInvalid(TypeExprBooleanSet<IdentifierType,Untyped> e, com.io7m.jranges.RangeInclusiveB range, BigInteger value)
static JPRACompilerCheckerException	JPRACompilerCheckerException.booleanSetSizeLessThanRequired(TypeExprBooleanSet<IdentifierType,Untyped> e, BigInteger required, BigInteger value)

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

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

Modifier and Type	Method and Description
A	TypeExprMatcherType.matchBooleanSet(TypeExprBooleanSet<I,T> e) Match a boolean-set expression.