Uses of Class
com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

Packages that use JPRACompilerCheckerException

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.

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

Methods in com.io7m.jpra.compiler.core.checker that return JPRACompilerCheckerException

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)
static JPRACompilerCheckerException	JPRACompilerCheckerException.floatSizeNotSupported(TypeExprFloat<IdentifierType,Untyped> e, Size<SizeUnitBitsType> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)
static <T extends SizeUnitType> JPRACompilerCheckerException	JPRACompilerCheckerException.integerSizeNotSupported(TypeExprType<IdentifierType,Untyped> e, Size<T> size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixFloatSizeNotSupported(TFloat e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixIntegerSizeNotSupported(TIntegerType e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNonScalarElement(TypeExprMatrix<IdentifierType,Untyped> e)
static JPRACompilerCheckerException	JPRACompilerCheckerException.matrixNotSupported(TypeExprMatrix<IdentifierType,Untyped> e, BigInteger tw, BigInteger th, com.gs.collections.api.list.ImmutableList<com.io7m.jfunctional.Pair<com.io7m.jranges.RangeInclusiveB,com.io7m.jranges.RangeInclusiveB>> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedNonIntegerType(PackedFieldDeclValue<IdentifierType,Untyped> r, TypeExprType<IdentifierType,TType> rvt)
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedSizeNotSupported(TypeName name, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.paddingSizeInvalid(Optional<com.io7m.jlexing.core.ImmutableLexicalPositionType<Path>> lex, BigInteger value) The size of a padding field was invalid.
static JPRACompilerCheckerException	JPRACompilerCheckerException.stringEncodingNotSupported(TypeExprString<IdentifierType,Untyped> e, String encoding, com.gs.collections.api.set.ImmutableSet<String> encodings)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorFloatSizeNotSupported(TFloat e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorIntegerSizeNotSupported(TIntegerType e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorNonScalarElement(TypeExprVector<IdentifierType,Untyped> e)
static JPRACompilerCheckerException	JPRACompilerCheckerException.vectorSizeNotSupported(TypeExprVector<IdentifierType,Untyped> e, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)

Methods in com.io7m.jpra.compiler.core.checker that throw JPRACompilerCheckerException

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,TType>	JPRACheckerType.checkCommandType(StatementCommandType<IdentifierType,Untyped> s) Check a :type command.
StatementCommandType<IdentifierType,TType>	JPRAChecker.checkCommandType(StatementCommandType<IdentifierType,Untyped> s)
void	JPRACheckerType.checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s) Check a package begin statement.
void	JPRAChecker.checkPackageBegin(StatementPackageBegin<IdentifierType,Untyped> s)
PackageContextType	JPRACheckerType.checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s) Complete the current package.
PackageContextType	JPRAChecker.checkPackageEnd(StatementPackageEnd<IdentifierType,Untyped> s)
TypeDeclType<IdentifierType,TType>	JPRACheckerType.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl) Check a type declaration.
TypeDeclType<IdentifierType,TType>	JPRAChecker.checkTypeDeclaration(TypeDeclType<IdentifierType,Untyped> decl)
TypeExprType<IdentifierType,TType>	JPRACheckerType.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr) Check a type expression.
TypeExprType<IdentifierType,TType>	JPRAChecker.checkTypeExpression(TypeExprType<IdentifierType,Untyped> expr)