Uses of Class
com.io7m.jpra.model.Untyped

Packages that use Untyped

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.parser	Parser.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.model	Types and functions implementing the jpra model.

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

Method parameters in com.io7m.jpra.compiler.core.checker with type arguments of type Untyped

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)
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)
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.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.stringEncodingNotSupported(TypeExprString<IdentifierType,Untyped> e, String encoding, com.gs.collections.api.set.ImmutableSet<String> encodings)
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)

Uses of Untyped in com.io7m.jpra.compiler.core.parser

Methods in com.io7m.jpra.compiler.core.parser that return types with arguments of type Untyped

Modifier and Type	Method and Description
SizeExprType<Unresolved,Untyped>	JPRAParserType.parseSizeExpression(com.io7m.jsx.SExpressionType expr) Parse a size expression.
SizeExprType<Unresolved,Untyped>	JPRAParser.parseSizeExpression(com.io7m.jsx.SExpressionType e)
StatementType<Unresolved,Untyped>	JPRAParserType.parseStatement(com.io7m.jsx.SExpressionType expr) Parse a statement.
StatementType<Unresolved,Untyped>	JPRAParser.parseStatement(com.io7m.jsx.SExpressionType expr)
TypeExprType<Unresolved,Untyped>	JPRAParserType.parseTypeExpression(com.io7m.jsx.SExpressionType expr) Parse a type expression.
TypeExprType<Unresolved,Untyped>	JPRAParser.parseTypeExpression(com.io7m.jsx.SExpressionType expr)

Uses of Untyped in com.io7m.jpra.compiler.core.resolver

Methods in com.io7m.jpra.compiler.core.resolver that return types with arguments of type Untyped

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,Untyped>	JPRAResolverType.resolveCommandType(StatementCommandType<Unresolved,Untyped> s) Resolve a :type command.
StatementCommandType<IdentifierType,Untyped>	JPRAResolver.resolveCommandType(StatementCommandType<Unresolved,Untyped> s)
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolverType.resolveGetCurrentTypes()
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolver.resolveGetCurrentTypes()
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolverType.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s) Resolve a package begin statement.
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolver.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s)
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolverType.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s) Resolve a package end statement.
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolver.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s)
StatementPackageImport<IdentifierType,Untyped>	JPRAResolverType.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s) Resolve a package import statement.
StatementPackageImport<IdentifierType,Untyped>	JPRAResolver.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s)
SizeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr) Resolve a size expression.
SizeExprType<IdentifierType,Untyped>	JPRAResolver.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr)
TypeDeclType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr) Resolve a type declaration.
TypeDeclType<IdentifierType,Untyped>	JPRAResolver.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)
TypeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr) Resolve a type expression.
TypeExprType<IdentifierType,Untyped>	JPRAResolver.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)

Method parameters in com.io7m.jpra.compiler.core.resolver with type arguments of type Untyped

Modifier and Type	Method and Description
StatementCommandType<IdentifierType,Untyped>	JPRAResolverType.resolveCommandType(StatementCommandType<Unresolved,Untyped> s) Resolve a :type command.
StatementCommandType<IdentifierType,Untyped>	JPRAResolver.resolveCommandType(StatementCommandType<Unresolved,Untyped> s)
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolverType.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s) Resolve a package begin statement.
StatementPackageBegin<IdentifierType,Untyped>	JPRAResolver.resolvePackageBegin(StatementPackageBegin<Unresolved,Untyped> s)
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolverType.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s) Resolve a package end statement.
StatementPackageEnd<IdentifierType,Untyped>	JPRAResolver.resolvePackageEnd(StatementPackageEnd<Unresolved,Untyped> s)
StatementPackageImport<IdentifierType,Untyped>	JPRAResolverType.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s) Resolve a package import statement.
StatementPackageImport<IdentifierType,Untyped>	JPRAResolver.resolvePackageImport(StatementPackageImport<Unresolved,Untyped> s)
SizeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr) Resolve a size expression.
SizeExprType<IdentifierType,Untyped>	JPRAResolver.resolveSizeExpression(SizeExprType<Unresolved,Untyped> expr)
TypeDeclType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr) Resolve a type declaration.
TypeDeclType<IdentifierType,Untyped>	JPRAResolver.resolveTypeDeclaration(TypeDeclType<Unresolved,Untyped> expr)
TypeExprType<IdentifierType,Untyped>	JPRAResolverType.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr) Resolve a type expression.
TypeExprType<IdentifierType,Untyped>	JPRAResolver.resolveTypeExpression(TypeExprType<Unresolved,Untyped> expr)

Uses of Untyped in com.io7m.jpra.model

Methods in com.io7m.jpra.model that return Untyped

Modifier and Type	Method and Description
static Untyped	Untyped.get()