A B C D E F G H I J L M N O P R S T U V W Z

## A

add(Size<U>) - Method in class com.io7m.jpra.model.types.Size
addField(FieldName, IdentifierType, TIntegerType) - Method in interface com.io7m.jpra.model.types.TPackedBuilderType
  Add a value field.
addField(FieldName, IdentifierType, TType) - Method in interface com.io7m.jpra.model.types.TRecordBuilderType
  Add a value field.
addPaddingBits(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Method in interface com.io7m.jpra.model.types.TPackedBuilderType
  Add a field of padding bits.
addPaddingOctets(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitOctetsType>) - Method in interface com.io7m.jpra.model.types.TRecordBuilderType
  Add a field of padding octets.

## B

badFieldName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
badPackageName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
badTypeName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
badTypeReference(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
booleanSetSizeInvalid(TypeExprBooleanSet<IdentifierType, Untyped>, RangeInclusiveB, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
booleanSetSizeLessThanRequired(TypeExprBooleanSet<IdentifierType, Untyped>, BigInteger, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
build() - Method in interface com.io7m.jpra.model.types.TPackedBuilderType
build() - Method in interface com.io7m.jpra.model.types.TRecordBuilderType

## C

checkCommandType(StatementCommandType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
checkCommandType(StatementCommandType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType
  Check a `:type` command.
checkPackageBegin(StatementPackageBegin<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
checkPackageBegin(StatementPackageBegin<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType
  Check a package begin statement.
checkPackageEnd(StatementPackageEnd<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
checkPackageEnd(StatementPackageEnd<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType
  Complete the current package.
checkTypeDeclaration(TypeDeclType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
checkTypeDeclaration(TypeDeclType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType
  Check a type declaration.
checkTypeExpression(TypeExprType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
checkTypeExpression(TypeExprType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType
  Check a type expression.
com.io7m.jpra.compiler.core - package com.io7m.jpra.compiler.core
  Shared compiler types.
com.io7m.jpra.compiler.core.checker - package com.io7m.jpra.compiler.core.checker
  Type checking.
com.io7m.jpra.compiler.core.driver - package com.io7m.jpra.compiler.core.driver
  Driver.
com.io7m.jpra.compiler.core.parser - package com.io7m.jpra.compiler.core.parser
  Parser.
com.io7m.jpra.compiler.core.pipeline - package com.io7m.jpra.compiler.core.pipeline
  Compiler pipeline.
com.io7m.jpra.compiler.core.resolver - package com.io7m.jpra.compiler.core.resolver
  Name resolution.
com.io7m.jpra.compiler.frontend - package com.io7m.jpra.compiler.frontend
  Command line compiler frontend.
com.io7m.jpra.compiler.java - package com.io7m.jpra.compiler.java
  Java backend for the compiler.
com.io7m.jpra.core - package com.io7m.jpra.core
  Core types.
com.io7m.jpra.documentation - package com.io7m.jpra.documentation
  Documentation.
com.io7m.jpra.model - package com.io7m.jpra.model
  Types and functions implementing the `jpra` type_model.
com.io7m.jpra.model.contexts - package com.io7m.jpra.model.contexts
  Context types.
com.io7m.jpra.model.loading - package com.io7m.jpra.model.loading
  Model loading.
com.io7m.jpra.model.names - package com.io7m.jpra.model.names
  Unresolved name types.
com.io7m.jpra.model.size_expressions - package com.io7m.jpra.model.size_expressions
  Size expressions.
com.io7m.jpra.model.statements - package com.io7m.jpra.model.statements
  Statements.
com.io7m.jpra.model.type_declarations - package com.io7m.jpra.model.type_declarations
  Type declarations.
com.io7m.jpra.model.type_expressions - package com.io7m.jpra.model.type_expressions
  Type expressions.
com.io7m.jpra.model.types - package com.io7m.jpra.model.types
  Types.
com.io7m.jpra.runtime.java - package com.io7m.jpra.runtime.java
  Runtime components.
CommandCheck() - Constructor for class com.io7m.jpra.compiler.frontend.Main.CommandCheck
  Construct a command.
CommandGenerateJava() - Constructor for class com.io7m.jpra.compiler.frontend.Main.CommandGenerateJava
  Construct a command.
compilePackage(PackageNameQualified) - Method in class com.io7m.jpra.compiler.core.driver.JPRADriver
compilePackage(PackageNameQualified) - Method in interface com.io7m.jpra.compiler.core.driver.JPRADriverType
  Compile a package.
copyOf(JPRATypeModelType.JPRAArrayType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Creates an immutable copy of a `JPRATypeModelType.JPRAArrayType` value.
copyOf(JPRATypeModelType.JPRABooleanSetType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  Creates an immutable copy of a `JPRATypeModelType.JPRABooleanSetType` value.
copyOf(JPRATypeModelType.JPRAFloatType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  Creates an immutable copy of a `JPRATypeModelType.JPRAFloatType` value.
copyOf(JPRATypeModelType.JPRAIntegerSignedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  Creates an immutable copy of a `JPRATypeModelType.JPRAIntegerSignedType` value.
copyOf(JPRATypeModelType.JPRAIntegerSignedNormalizedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  Creates an immutable copy of a `JPRATypeModelType.JPRAIntegerSignedNormalizedType` value.
copyOf(JPRATypeModelType.JPRAIntegerUnsignedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  Creates an immutable copy of a `JPRATypeModelType.JPRAIntegerUnsignedType` value.
copyOf(JPRATypeModelType.JPRAIntegerUnsignedNormalizedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  Creates an immutable copy of a `JPRATypeModelType.JPRAIntegerUnsignedNormalizedType` value.
copyOf(JPRATypeModelType.JPRAMatrixType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Creates an immutable copy of a `JPRATypeModelType.JPRAMatrixType` value.
copyOf(JPRATypeModelType.JPRAStringType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Creates an immutable copy of a `JPRATypeModelType.JPRAStringType` value.
copyOf(JPRATypeModelType.JPRAUserDefinedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  Creates an immutable copy of a `JPRATypeModelType.JPRAUserDefinedType` value.
copyOf(JPRATypeModelType.JPRAVectorType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Creates an immutable copy of a `JPRATypeModelType.JPRAVectorType` value.
create(ByteBuffer, JPRACursorByteReadableType, int) - Method in interface com.io7m.jpra.runtime.java.JPRAValueByteBufferedConstructorType
  Construct a new value.
createOneMask(int, int, int) - Static method in class com.io7m.jpra.compiler.java.JPRAMasks
  Create a mask of `size` bits, where the bits from the inclusive range `[lsb, msb]` are set to `0` and the rest are set to `1`.
createZeroMask(int, int, int) - Static method in class com.io7m.jpra.compiler.java.JPRAMasks
  Create a mask of `size` bits, where the bits from the inclusive range `[lsb, msb]` are set to `0` and the rest are set to `1`.

## D

Documentation - Class in com.io7m.jpra.documentation
  Marker class for looking up files by resource.
duplicateFieldName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
duplicatePackage(PackageNameQualified, PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
duplicateType(TypeName, TypeName) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

## E

elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
encoding() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
equals(Object) - Method in class com.io7m.jpra.model.names.FieldName
equals(Object) - Method in class com.io7m.jpra.model.names.FieldPath
equals(Object) - Method in class com.io7m.jpra.model.names.PackageNameQualified
equals(Object) - Method in class com.io7m.jpra.model.names.PackageNameUnqualified
equals(Object) - Method in class com.io7m.jpra.model.names.TypeName
equals(Object) - Method in class com.io7m.jpra.model.names.UnionCaseName
equals(Object) - Method in class com.io7m.jpra.model.PackageImport
equals(Object) - Method in class com.io7m.jpra.model.types.Size
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  This instance is equal to all instances of `JPRAArray` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  This instance is equal to all instances of `JPRABooleanSet` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  This instance is equal to all instances of `JPRAFloat` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  This instance is equal to all instances of `JPRAIntegerSigned` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  This instance is equal to all instances of `JPRAIntegerSignedNormalized` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  This instance is equal to all instances of `JPRAIntegerUnsigned` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  This instance is equal to all instances of `JPRAIntegerUnsignedNormalized` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  This instance is equal to all instances of `JPRAMatrix` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  This instance is equal to all instances of `JPRAString` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  This instance is equal to all instances of `JPRAUserDefined` that have equal attribute values.
equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  This instance is equal to all instances of `JPRAVector` that have equal attribute values.
evaluate(GlobalContextType, PackageNameQualified) - Method in interface com.io7m.jpra.model.loading.JPRAPackageLoaderType
  Attempt to load a package.
expectedListGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
expectedListGotSymbol(SExpressionSymbolType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
expectedNonEmptyList(SExpressionListType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
expectedPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
expectedSymbolGotList(SExpressionListType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
expectedSymbolGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
expectedSymbolOrListGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

## F

FieldName - Class in com.io7m.jpra.model.names
  The type of field names.
FieldName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.FieldName
  Construct a field name.
FieldPath - Class in com.io7m.jpra.model.names
  A path to a field.
FieldReference - Class in com.io7m.jpra.model.names
  A reference to a field.
FieldReference(Optional<PackageNameUnqualified>, Optional<TypeName>, FieldPath) - Constructor for class com.io7m.jpra.model.names.FieldReference
  Construct a reference.
floatSizeNotSupported(TypeExprFloat<IdentifierType, Untyped>, Size<SizeUnitBitsType>, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

## G

generatedPackedAllMethodImplementation(TypeSpec.Builder, TPacked) - Static method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
  Generate a `set` method that sets all packed fields at once.
generatedPackedAllMethodInterface(TypeSpec.Builder, ImmutableList<TPacked.FieldType>) - Static method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
  Generate a `set` method that sets all packed fields at once.
generatePackedImplementation(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generatePackedImplementation(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the implementation of a `packed` definition.
generatePackedInterface(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generatePackedInterface(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the readable and writable interface of a `packed` definition.
generatePackedInterfaceReadable(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generatePackedInterfaceReadable(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the readable interface of a `packed` definition.
generatePackedInterfaceWritable(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generatePackedInterfaceWritable(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the writable interface of a `packed` definition.
generateRecordImplementation(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generateRecordImplementation(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the implementation of a `record` definition.
generateRecordInterface(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generateRecordInterface(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the readable and writable interface of a `record` definition.
generateRecordInterfaceReadable(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generateRecordInterfaceReadable(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the readable interface of a `record` definition.
generateRecordInterfaceWritable(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
generateRecordInterfaceWritable(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
  Generate Java source code for the writable interface of a `record` definition.
get() - Static method in class com.io7m.jpra.model.Unresolved
get() - Static method in class com.io7m.jpra.model.Untyped
getBitRange() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
getBitRange() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType
getBitRange() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getByte(int) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getByte(int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
getByteOffsetObservable() - Method in interface com.io7m.jpra.runtime.java.JPRACursorByteReadableType
getBytes(byte[], int, int) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getBytes(byte[], int, int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getCurrentSize() - Method in interface com.io7m.jpra.model.types.TPackedBuilderType
getElementCount() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray
getElementCount() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector
getElementCount() - Method in class com.io7m.jpra.model.types.TArray
getElementCount() - Method in class com.io7m.jpra.model.types.TVector
getElementIndex() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
getElementIndex() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
getElementIndex() - Method in interface com.io7m.jpra.runtime.java.JPRACursor1DType
getElements() - Method in class com.io7m.jpra.model.names.FieldPath
getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray
getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector
getElementType() - Method in class com.io7m.jpra.model.types.TArray
getElementType() - Method in class com.io7m.jpra.model.types.TMatrix
getElementType() - Method in class com.io7m.jpra.model.types.TVector
getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
getElementView() - Method in interface com.io7m.jpra.runtime.java.JPRACursorType
getElementX() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
getElementX() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
getElementX() - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType
getElementY() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
getElementY() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
getElementY() - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType
getEncoding() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString
getEncoding() - Method in class com.io7m.jpra.model.types.TString
getEncoding() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getEncoding() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getErrorCode() - Method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
getErrorCode() - Method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
getErrorCode() - Method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
getErrorQueue() - Method in class com.io7m.jpra.model.contexts.GlobalContexts
getErrorQueue() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
getExpression() - Method in class com.io7m.jpra.model.statements.StatementCommandSize
getExpression() - Method in class com.io7m.jpra.model.statements.StatementCommandType
getFieldPath() - Method in class com.io7m.jpra.model.names.FieldReference
getFieldReference() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
getFieldsByName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getFieldsByName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getFieldsByName() - Method in class com.io7m.jpra.model.types.TPacked
getFieldsByName() - Method in class com.io7m.jpra.model.types.TRecord
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TBooleanSet
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TPacked
getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TRecord
getFreshIdentifier() - Method in class com.io7m.jpra.model.contexts.GlobalContexts
getFreshIdentifier() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
getFrom() - Method in class com.io7m.jpra.model.PackageImport
getGlobalContext() - Method in class com.io7m.jpra.compiler.core.driver.JPRADriver
getGlobalContext() - Method in interface com.io7m.jpra.compiler.core.driver.JPRADriverType
getGlobalContext() - Method in interface com.io7m.jpra.model.contexts.PackageContextType
getHeight() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
getHeight() - Method in class com.io7m.jpra.model.types.TMatrix
getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getIdentifier() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType
getIdentifier() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName
getIdentifier() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
getIdentifier() - Method in class com.io7m.jpra.model.types.TPacked
getIdentifier() - Method in class com.io7m.jpra.model.types.TRecord
getIdentifier() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType
getImports() - Method in exception com.io7m.jpra.model.loading.JPRAModelCircularImportException
getLexicalInformation() - Method in exception com.io7m.jpra.compiler.core.JPRACompilerException
getLexicalInformation() - Method in interface com.io7m.jpra.model.ModelElementType
  Fetch the lexical information for the element.
getLexicalInformation() - Method in class com.io7m.jpra.model.names.FieldName
getLexicalInformation() - Method in class com.io7m.jpra.model.names.PackageNameQualified
getLexicalInformation() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified
getLexicalInformation() - Method in class com.io7m.jpra.model.names.TypeName
getLexicalInformation() - Method in class com.io7m.jpra.model.names.UnionCaseName
getLexicalInformation() - Method in class com.io7m.jpra.model.PackageImport
getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant
getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits
getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets
getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementCommandSize
getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementCommandType
getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageBegin
getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageEnd
getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageImport
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TArray
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TBooleanSet
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TFloat
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerSigned
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TMatrix
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TString
getLexicalInformation() - Method in class com.io7m.jpra.model.types.TVector
getMatrixFloatSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getMatrixFloatSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getMatrixIntegerSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getMatrixIntegerSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getMatrixSizeElementsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getMatrixSizeElementsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getMaximumLength() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getMaximumLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getMaximumStringLength() - Method in class com.io7m.jpra.model.types.TString
getName() - Method in interface com.io7m.jpra.model.contexts.PackageContextType
getName() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
getName() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
getName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getName() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType
getName() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getName() - Method in class com.io7m.jpra.model.types.TPacked
getName() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getName() - Method in class com.io7m.jpra.model.types.TRecord
getName() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType
getNewValue() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getNewValue() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getOwner() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
getOwner() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType
getOwner() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getOwner() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
getOwner() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType
getOwner() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getPackage() - Method in class com.io7m.jpra.model.names.FieldReference
getPackage() - Method in class com.io7m.jpra.model.names.TypeReference
getPackageContext() - Method in class com.io7m.jpra.model.types.TPacked
getPackageContext() - Method in class com.io7m.jpra.model.types.TRecord
getPackageContext() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType
getPackageName() - Method in class com.io7m.jpra.model.statements.StatementPackageBegin
getPackageName() - Method in class com.io7m.jpra.model.statements.StatementPackageImport
getPackages() - Method in class com.io7m.jpra.model.contexts.GlobalContexts
getPackages() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
getPackedImplementationByteBufferedName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getPackedImplementationByteBufferedName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getPackedIntegerSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getPackedIntegerSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getPackedIntegerTypeForSize(BigInteger) - Static method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
  Retrieve the type that should be used for the interfaces of non-normalized integers fields in packed types.
getPackedInterfaceName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getPackedInterfaceName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getPackedInterfaceReadableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getPackedInterfaceReadableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getPackedInterfaceWritableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getPackedInterfaceWritableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getPackedSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getPackedSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getPathForPackage(Path, PackageNameQualified) - Static method in class com.io7m.jpra.compiler.java.JPRAJavaWriter
  A function to return a path for the package `p_name`, based on `base`.
getRecordFloatSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getRecordFloatSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getRecordImplementationByteBufferedName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getRecordImplementationByteBufferedName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getRecordIntegerSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getRecordIntegerSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getRecordInterfaceName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getRecordInterfaceName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getRecordInterfaceReadableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getRecordInterfaceReadableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getRecordInterfaceWritableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
getRecordInterfaceWritableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType
getReference() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized
getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString
getSize() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
getSize() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType
getSize() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getSizeExpression() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits
getSizeExpression() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets
getSizeExpression() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
getSizeInBits() - Method in class com.io7m.jpra.model.types.TArray
getSizeInBits() - Method in class com.io7m.jpra.model.types.TBooleanSet
getSizeInBits() - Method in class com.io7m.jpra.model.types.TFloat
getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerSigned
getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
getSizeInBits() - Method in class com.io7m.jpra.model.types.TMatrix
getSizeInBits() - Method in class com.io7m.jpra.model.types.TPacked
getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
getSizeInBits() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType
getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord
getSizeInBits() - Method in class com.io7m.jpra.model.types.TString
getSizeInBits() - Method in interface com.io7m.jpra.model.types.TType
getSizeInBits() - Method in class com.io7m.jpra.model.types.TVector
getSizeInOctets() - Method in class com.io7m.jpra.model.types.TBooleanSet
getSizeInOctets() - Method in class com.io7m.jpra.model.types.TPacked
getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
getSizeInOctets() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType
getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord
getStringEncodingsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getStringEncodingsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getTo() - Method in class com.io7m.jpra.model.PackageImport
getType(IdentifierType) - Method in class com.io7m.jpra.model.contexts.GlobalContexts
getType(IdentifierType) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
  Return a type previously added with `GlobalContextType.putType(TypeUserDefinedType)`.
getType() - Method in class com.io7m.jpra.model.names.FieldReference
getType() - Method in class com.io7m.jpra.model.names.TypeReference
getType() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
getType() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
getType() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
getType() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
getType() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString
getType() - Method in interface com.io7m.jpra.model.type_expressions.TypeExprType
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector
getType() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
getType() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
getTypeExpression() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits
getTypeExpression() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets
getTypes() - Method in interface com.io7m.jpra.model.contexts.PackageContextType
getUsedLength() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
getUsedLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType
getUsing() - Method in class com.io7m.jpra.model.statements.StatementPackageImport
getValue() - Method in class com.io7m.jpra.model.names.FieldName
getValue() - Method in class com.io7m.jpra.model.names.PackageNameQualified
getValue() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified
getValue() - Method in class com.io7m.jpra.model.names.TypeName
getValue() - Method in class com.io7m.jpra.model.names.UnionCaseName
getValue() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant
getValue() - Method in class com.io7m.jpra.model.types.Size
getVectorFloatSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getVectorFloatSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getVectorIntegerSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getVectorIntegerSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getVectorSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
getVectorSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
getWidth() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
getWidth() - Method in class com.io7m.jpra.model.types.TMatrix
GlobalContexts - Class in com.io7m.jpra.model.contexts
  Access to global contexts.
GlobalContextType - Interface in com.io7m.jpra.model.contexts
  The global context.

## H

hashCode() - Method in class com.io7m.jpra.model.names.FieldName
hashCode() - Method in class com.io7m.jpra.model.names.FieldPath
hashCode() - Method in class com.io7m.jpra.model.names.PackageNameQualified
hashCode() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified
hashCode() - Method in class com.io7m.jpra.model.names.TypeName
hashCode() - Method in class com.io7m.jpra.model.names.UnionCaseName
hashCode() - Method in class com.io7m.jpra.model.PackageImport
hashCode() - Method in class com.io7m.jpra.model.types.Size
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Returns a precomputed-on-construction hash code from attributes: `length`, `elementType`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  Returns a precomputed-on-construction hash code from attributes: `sizeInOctets`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  Returns a precomputed-on-construction hash code from attributes: `sizeInBits`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  Returns a precomputed-on-construction hash code from attributes: `sizeInBits`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  Returns a precomputed-on-construction hash code from attributes: `sizeInBits`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  Returns a precomputed-on-construction hash code from attributes: `sizeInBits`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  Returns a precomputed-on-construction hash code from attributes: `sizeInBits`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Returns a precomputed-on-construction hash code from attributes: `width`, `height`, `elementType`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Returns a precomputed-on-construction hash code from attributes: `length`, `encoding`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  Returns a precomputed-on-construction hash code from attributes: `type`.
hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Returns a precomputed-on-construction hash code from attributes: `length`, `elementType`.
height() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

## I

IdentifierType - Interface in com.io7m.jpra.model.names
  The type of identifiers that are unique with a respect to a global context.
integerSizeNotSupported(TypeExprType<IdentifierType, Untyped>, Size<T>, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
invalidIntegerConstant(SExpressionSymbolType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
isMatrixFloatSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isMatrixFloatSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isMatrixIntegerSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isMatrixIntegerSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isMatrixSizeElementsSupported(BigInteger, BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isMatrixSizeElementsSupported(BigInteger, BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isPackedIntegerSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isPackedIntegerSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isPackedSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isPackedSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isRecordFloatSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isRecordFloatSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isRecordIntegerSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isRecordIntegerSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isStringEncodingSupported(String) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isStringEncodingSupported(String) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isVectorFloatSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isVectorFloatSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isVectorIntegerSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isVectorIntegerSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
isVectorSizeElementsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType
isVectorSizeElementsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

## J

JPRAArrayType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAArrayType
JPRABooleanSetType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRABooleanSetType
JPRAChecker - Class in com.io7m.jpra.compiler.core.checker
  The default implementation of the `JPRACheckerType` interface.
JPRACheckerCapabilitiesType - Interface in com.io7m.jpra.compiler.core.checker
  The capabilities that the checker is responsible for enforcing.
JPRACheckerErrorCode - Enum in com.io7m.jpra.compiler.core.checker
  Type checker error codes.
JPRACheckerStandardCapabilities - Class in com.io7m.jpra.compiler.core.checker
  The default implementation of the `JPRACheckerCapabilitiesType` interface, specifying the minimum capabilities that all backends are required to support.
JPRACheckerType - Interface in com.io7m.jpra.compiler.core.checker
  The type of type checkers.
JPRACompilerCheckerException - Exception in com.io7m.jpra.compiler.core.checker
  The type of exceptions raised during checking.
JPRACompilerCheckerException(Optional<ImmutableLexicalPositionType<Path>>, JPRACheckerErrorCode, String) - Constructor for exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
  Construct an exception.
JPRACompilerCheckerException(Optional<ImmutableLexicalPositionType<Path>>, JPRACheckerErrorCode, Exception) - Constructor for exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
  Construct an exception.
JPRACompilerException - Exception in com.io7m.jpra.compiler.core
  The root type of compiler exceptions.
JPRACompilerException(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerException
  Construct an exception.
JPRACompilerException(Optional<ImmutableLexicalPositionType<Path>>, Exception) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerException
  Construct an exception.
JPRACompilerLexerException - Exception in com.io7m.jpra.compiler.core
  The type of lexer exceptions.
JPRACompilerLexerException(JSXParserException) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerLexerException
  Construct an exception.
JPRACompilerParseException - Exception in com.io7m.jpra.compiler.core.parser
  The type of exceptions raised by the parser.
JPRACompilerResolverException - Exception in com.io7m.jpra.compiler.core.resolver
  The type of exceptions raised during checking.
JPRACompilerResolverException(Optional<ImmutableLexicalPositionType<Path>>, JPRAResolverErrorCode, String) - Constructor for exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
  Construct an exception.
JPRACompilerResolverException(Optional<ImmutableLexicalPositionType<Path>>, JPRAResolverErrorCode, Exception) - Constructor for exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
  Construct an exception.
JPRACursor1DByteBufferedChecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java
  A 1D cursor implementation that addresses values within a `ByteBuffer` and performs bounds checking.
JPRACursor1DByteBufferedUnchecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java
  A 1D cursor implementation that addresses values within a `ByteBuffer` and does not perform bounds checking.
JPRACursor1DType<T> - Interface in com.io7m.jpra.runtime.java
  The type of cursors that address 1D arrays of values of type `T`.
JPRACursor2DByteBufferedChecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java
  A 2D cursor implementation that addresses values within a `ByteBuffer` and performs bounds checking.
JPRACursor2DByteBufferedUnchecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java
  A 2D cursor implementation that addresses values within a `ByteBuffer` and does not perform bounds checking.
JPRACursor2DType<T> - Interface in com.io7m.jpra.runtime.java
  The type of cursors that address 2D arrays of values of type `T`.
JPRACursorByteReadableType - Interface in com.io7m.jpra.runtime.java
  The type of cursors that expose byte offsets.
JPRACursorType<T> - Interface in com.io7m.jpra.runtime.java
  The type of cursors that address elements of type `T`.
JPRADriver - Class in com.io7m.jpra.compiler.core.driver
  Default implementation of the `JPRADriverType` interface.
JPRADriverType - Interface in com.io7m.jpra.compiler.core.driver
  The type of non-interactive compiler drivers.
JPRAException - Exception in com.io7m.jpra.core
  The root type of exceptions.
JPRAException(String) - Constructor for exception com.io7m.jpra.core.JPRAException
  Construct an exception.
JPRAException(Throwable) - Constructor for exception com.io7m.jpra.core.JPRAException
  Construct an exception.
JPRAException(String, Throwable) - Constructor for exception com.io7m.jpra.core.JPRAException
  Construct an exception.
JPRAFloatType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType
JPRAIntegerSignedNormalizedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType
JPRAIntegerSignedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType
JPRAIntegerUnsignedNormalizedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType
JPRAIntegerUnsignedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType
JPRAIOException - Exception in com.io7m.jpra.core
  Wrapper exception for I/O exceptions.
JPRAIOException(IOException) - Constructor for exception com.io7m.jpra.core.JPRAIOException
  Construct an exception.
JPRAJavaGenerator - Class in com.io7m.jpra.compiler.java
  The default implementation of the `JPRAJavaGeneratorType` interface.
JPRAJavaGeneratorType - Interface in com.io7m.jpra.compiler.java
  The type of Java source code generators.
JPRAJavaWriter - Class in com.io7m.jpra.compiler.java
  The default implementation of the `JPRAJavaWriterType` interface.
JPRAJavaWriterType - Interface in com.io7m.jpra.compiler.java
  The type of Java serializers.
JPRAMasks - Class in com.io7m.jpra.compiler.java
  Functions to create bit masks.
JPRAMatrixType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAMatrixType
JPRAModelCircularImportException - Exception in com.io7m.jpra.model.loading
  An exception encountered due to a circular import.
JPRAModelCircularImportException(String, ImmutableList<PackageImport>) - Constructor for exception com.io7m.jpra.model.loading.JPRAModelCircularImportException
  Construct a type_model loading exception.
JPRAModelLoadingException - Exception in com.io7m.jpra.model.loading
  The type of type_model loading exceptions.
JPRAModelLoadingException(String) - Constructor for exception com.io7m.jpra.model.loading.JPRAModelLoadingException
  Construct a type_model loading exception.
JPRAPackageLoaderType - Interface in com.io7m.jpra.model.loading
  The type of functions that take fully qualified package names and yield packages.
JPRAParseErrorCode - Enum in com.io7m.jpra.compiler.core.parser
  The set of parser error codes.
JPRAParser - Class in com.io7m.jpra.compiler.core.parser
  The default implementation of the `JPRAParserType` interface.
JPRAParserType - Interface in com.io7m.jpra.compiler.core.parser
  The type of parsers.
JPRAPipeline - Class in com.io7m.jpra.compiler.core.pipeline
  Default implementation of the `JPRAPipelineType` interface.
JPRAPipelineType - Interface in com.io7m.jpra.compiler.core.pipeline
  A pipeline that attaches together a parser, resolver, and type-checker.
JPRAProblemFormatter - Class in com.io7m.jpra.compiler.core
  Default implementation of the `JPRAProblemFormatterType` interface.
JPRAProblemFormatterType - Interface in com.io7m.jpra.compiler.core
  The type of formatters that produce friendly error messages for compiler exceptions.
JPRAReferenceParser - Class in com.io7m.jpra.compiler.core.parser
  The default implementation of the `JPRAReferenceParserType` interface.
JPRAReferenceParserType - Interface in com.io7m.jpra.compiler.core.parser
  The type of name reference parsers.
JPRAResolver - Class in com.io7m.jpra.compiler.core.resolver
  The default implementation of the `JPRAResolverType` interface.
JPRAResolverErrorCode - Enum in com.io7m.jpra.compiler.core.resolver
  Name resolver error codes.
JPRAResolverType - Interface in com.io7m.jpra.compiler.core.resolver
  The type of name resolvers.
JPRAStringCursorByteBuffered - Class in com.io7m.jpra.runtime.java
  An implementation of the `JPRAStringCursorType` that accesses an underlying `ByteBuffer`.
JPRAStringCursorReadableType - Interface in com.io7m.jpra.runtime.java
  The type of read-only pointers to strings.
JPRAStringCursorType - Interface in com.io7m.jpra.runtime.java
  The type of readable and writable strings.
JPRAStringCursorWritableType - Interface in com.io7m.jpra.runtime.java
  The type of pointers to writable strings
JPRAStringTruncation - Enum in com.io7m.jpra.runtime.java
  Behaviour for string truncation.
JPRAStringType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAStringType
JPRAStyleType - Annotation Type in com.io7m.jpra.runtime.java
  Style settings for generated immutable types.
JPRATypeModel - Class in com.io7m.jpra.runtime.java
  `JPRATypeModel` contains immutable implementation classes generated from abstract value types defined as nested inside `JPRATypeModelType`.
JPRATypeModel.JPRAArray - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAArrayType`.
JPRATypeModel.JPRABooleanSet - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRABooleanSetType`.
JPRATypeModel.JPRAFloat - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAFloatType`.
JPRATypeModel.JPRAIntegerSigned - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAIntegerSignedType`.
JPRATypeModel.JPRAIntegerSignedNormalized - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAIntegerSignedNormalizedType`.
JPRATypeModel.JPRAIntegerUnsigned - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAIntegerUnsignedType`.
JPRATypeModel.JPRAIntegerUnsignedNormalized - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAIntegerUnsignedNormalizedType`.
JPRATypeModel.JPRAMatrix - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAMatrixType`.
JPRATypeModel.JPRAString - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAStringType`.
JPRATypeModel.JPRAUserDefined - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAUserDefinedType`.
JPRATypeModel.JPRAVector - Class in com.io7m.jpra.runtime.java
  Immutable implementation of `JPRATypeModelType.JPRAVectorType`.
JPRATypeModelType - Interface in com.io7m.jpra.runtime.java
  The run-time `jpra` type model.
JPRATypeModelType.JPRAArrayType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `array` types.
JPRATypeModelType.JPRABooleanSetType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `string` types.
JPRATypeModelType.JPRAFloatType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `float` types.
JPRATypeModelType.JPRAIntegerSignedNormalizedType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `signed normalized integer` types.
JPRATypeModelType.JPRAIntegerSignedType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `signed integer` types.
JPRATypeModelType.JPRAIntegerUnsignedNormalizedType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `unsigned normalized integer` types.
JPRATypeModelType.JPRAIntegerUnsignedType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `unsigned integer` types.
JPRATypeModelType.JPRAMatrixType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `matrix` types.
JPRATypeModelType.JPRAScalarMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.runtime.java
  The type of `jpra` scalar type matchers.
JPRATypeModelType.JPRAScalarType - Interface in com.io7m.jpra.runtime.java
  The type of `jpra` scalar types.
JPRATypeModelType.JPRAStringType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `string` types.
JPRATypeModelType.JPRATypeMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.runtime.java
  The type of `jpra` type matchers.
JPRATypeModelType.JPRATypeType - Interface in com.io7m.jpra.runtime.java
  The type of `jpra` types.
JPRATypeModelType.JPRAUserDefinedType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` user-defined types.
JPRATypeModelType.JPRAVectorType - Class in com.io7m.jpra.runtime.java
  The type of `jpra` `vector` types.
JPRAUserDefinedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType
JPRAValueByteBufferedConstructorType<T extends JPRAValueType> - Interface in com.io7m.jpra.runtime.java
  The type of constructors that yield `ByteBuffer`-backed values.
JPRAValueType - Interface in com.io7m.jpra.runtime.java
  The type of values.
JPRAVectorType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType

## L

length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
loadPackage(PackageNameQualified) - Method in class com.io7m.jpra.model.contexts.GlobalContexts
loadPackage(PackageNameQualified) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
  Load and return a package into the context.

## M

Main - Class in com.io7m.jpra.compiler.frontend
  Main command line program.
main(String[]) - Static method in class com.io7m.jpra.compiler.frontend.Main
  Main entry point.
Main.CommandCheck - Class in com.io7m.jpra.compiler.frontend
  A check command.
Main.CommandGenerateJava - Class in com.io7m.jpra.compiler.frontend
  A `generate-java` command.
matchArray(TArray) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchArray(TArray) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchArray(TArray) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match an `array` type.
matchBooleanSet(TBooleanSet) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchBooleanSet(TBooleanSet) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchBooleanSet(TypeExprBooleanSet<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `boolean-set` expression.
matchBooleanSet(TBooleanSet) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `boolean-set` type.
matchConstant(SizeExprConstant<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType
  Match an expression.
matchExprArray(TypeExprArray<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match an `array` expression.
matchExprFloat(TypeExprFloat<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `float` expression.
matchExprIntegerSigned(TypeExprIntegerSigned<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match an `integer signed` expression.
matchExprIntegerSignedNormalized(TypeExprIntegerSignedNormalized<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match an `integer signed-normalized` expression.
matchExprIntegerUnsigned(TypeExprIntegerUnsigned<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match an `integer unsigned` expression.
matchExprIntegerUnsignedNormalized(TypeExprIntegerUnsignedNormalized<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match an `integer unsigned-normalized` expression.
matchExprMatrix(TypeExprMatrix<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `matrix` expression.
matchExprString(TypeExprString<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `string` expression.
matchExprVector(TypeExprVector<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `vector` expression.
matchField(TPacked.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
matchField(TPacked.FieldMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TPacked.FieldType
  Accept a matcher.
matchField(TPacked.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
matchField(TRecord.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
matchField(TRecord.FieldMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TRecord.FieldType
  Accept a matcher.
matchField(TRecord.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
matchFieldPaddingBits(TPacked.FieldPaddingBits) - Method in interface com.io7m.jpra.model.types.TPacked.FieldMatcherType
  Match a padding field.
matchFieldPaddingOctets(TRecord.FieldPaddingOctets) - Method in interface com.io7m.jpra.model.types.TRecord.FieldMatcherType
  Match a padding field.
matchFieldValue(TPacked.FieldValue) - Method in interface com.io7m.jpra.model.types.TPacked.FieldMatcherType
  Match a value field.
matchFieldValue(TRecord.FieldValue) - Method in interface com.io7m.jpra.model.types.TRecord.FieldMatcherType
  Match a value field.
matchFloat(TFloat) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchFloat(TFloat) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchFloat(TFloat) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `float` type.
matchInBits(SizeExprInBits<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType
  Match an expression.
matchInOctets(SizeExprInOctets<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType
  Match an expression.
matchInteger(TIntegerType) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchInteger(TIntegerType) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchInteger(TIntegerType) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match an `integer` type.
matchIntegerSigned(TIntegerSigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchIntegerSigned(TIntegerSigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchIntegerSigned(TIntegerSigned) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType
  Match a `signed` type expression.
matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType
  Match an `signed-normalized` type expression.
matchIntegerUnsigned(TIntegerUnsigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchIntegerUnsigned(TIntegerUnsigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchIntegerUnsigned(TIntegerUnsigned) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType
  Match an `unsigned` type expression.
matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType
  Match an `unsigned-normalized` type expression.
matchMatrix(TMatrix) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchMatrix(TMatrix) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchMatrix(TMatrix) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `matrix` type.
matchName(TypeExprName<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a name expression.
matchPackageBegin(StatementPackageBegin<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match a `package-begin` statement.
matchPackageEnd(StatementPackageEnd<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match a `package-end` statement.
matchPackageImport(StatementPackageImport<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match an `import` statement.
matchPacked(TPacked) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchPacked(TPacked) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchPacked(TypeDeclPacked<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclMatcherType
  Match a type declaration.
matchPacked(TPacked) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `packed` type.
matchPacked(TPacked) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedMatcherType
  Match a `packed` type.
matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits
matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclType
  Accept a matcher.
matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
matchPadding(RecordFieldDeclPaddingOctets<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclMatcherType
  Match a field.
matchPaddingBits(PackedFieldDeclPaddingBits<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclMatcherType
  Match a field.
matchRecord(TRecord) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchRecord(TRecord) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchRecord(TypeDeclRecord<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclMatcherType
  Match a type declaration.
matchRecord(TRecord) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `record` type.
matchRecord(TRecord) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedMatcherType
  Match an `record` type.
matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets
matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclType
  Accept a field matcher.
matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType
matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarType
matchScalarFloat(TFloat) - Method in interface com.io7m.jpra.model.types.TypeScalarMatcherType
  Match a `float` type.
matchScalarInteger(TIntegerType) - Method in interface com.io7m.jpra.model.types.TypeScalarMatcherType
  Match an `integer` type.
matchShowSize(StatementCommandSize<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match a `:size` command.
matchShowType(StatementCommandType<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match a `:type` command.
matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant
matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits
matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets
matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprType
  Accept a matcher.
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementCommandSize
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementCommandType
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageBegin
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageEnd
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageImport
matchStatement(StatementMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.statements.StatementType
  Accept a matcher.
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
matchString(TString) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchString(TString) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchString(TString) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `string` type.
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprName
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprString
matchType(TypeExprMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprType
  Accept a matcher.
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TArray
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TBooleanSet
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TFloat
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TMatrix
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TString
matchType(TypeMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TType
  Accept a matcher.
matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TVector
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAArrayType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRABooleanSetType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAMatrixType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAStringType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType
matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType
matchTypeDecl(TypeDeclType<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType
  Match a type declaration statement.
matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked
matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord
matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType
  Accept a type declaration matcher.
matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned
matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TIntegerType
  Accept a matcher.
matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in class com.io7m.jpra.model.types.TRecords.TypeLookupFailed
matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in class com.io7m.jpra.model.types.TRecords.TypeLookupSucceeded
matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in interface com.io7m.jpra.model.types.TRecords.TypeLookupType
  Evaluate functions to inspect the lookup result.
matchTypeOfField(TypeExprTypeOfField<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType
  Match a `type-of` expression.
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TFloat
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TypeScalarType
  Accept a matcher.
matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked
matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord
matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType
  Accept a matcher.
matchValue(PackedFieldDeclValue<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclMatcherType
  Match a field.
matchValue(RecordFieldDeclValue<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclMatcherType
  Match a field.
matchVector(TVector) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor
matchVector(TVector) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor
matchVector(TVector) - Method in interface com.io7m.jpra.model.types.TypeMatcherType
  Match a `vector` type.
matrixFloatSizeNotSupported(TFloat, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
matrixIntegerSizeNotSupported(TIntegerType, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
matrixNonScalarElement(TypeExprMatrix<IdentifierType, Untyped>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
matrixNotSupported(TypeExprMatrix<IdentifierType, Untyped>, BigInteger, BigInteger, ImmutableList<Pair<RangeInclusiveB, RangeInclusiveB>>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
ModelElementType - Interface in com.io7m.jpra.model
  A marker interface indicating that something is an element of the type_model.

## N

name(PackedFieldDeclType<I, T>) - Static method in class com.io7m.jpra.model.type_declarations.PackedFieldDecl
name(RecordFieldDeclType<I, T>) - Static method in class com.io7m.jpra.model.type_declarations.RecordFieldDecl
nestedPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
newBuilder(PackageContextType, IdentifierType, TypeName) - Static method in class com.io7m.jpra.model.types.TPacked
  Construct a new mutable record builder.
newBuilder(PackageContextType, IdentifierType, TypeName) - Static method in class com.io7m.jpra.model.types.TRecord
  Construct a new mutable record builder.
newCapabilities() - Static method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities
newChecker(GlobalContextType, JPRACheckerCapabilitiesType) - Static method in class com.io7m.jpra.compiler.core.checker.JPRAChecker
newContext(JPRAPackageLoaderType) - Static method in class com.io7m.jpra.model.contexts.GlobalContexts
newCursor(ByteBuffer, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
  Construct a new cursor, assuming that the given buffer contains elements of type `T`.
newCursor(ByteBuffer, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
  Construct a new cursor, assuming that the given buffer contains elements of type `T`.
newCursor(ByteBuffer, int, int, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
  Construct a new cursor, assuming that the given buffer contains a `width * height` region of elements of type `T`.
newCursor(ByteBuffer, int, int, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
  Construct a new cursor, assuming that the given buffer contains a `width * height` region of elements of type `T`.
newDriver(Path, JPRACheckerCapabilitiesType) - Static method in class com.io7m.jpra.compiler.core.driver.JPRADriver
  Construct a new driver.
newFormatter() - Static method in class com.io7m.jpra.compiler.core.JPRAProblemFormatter
newGenerator() - Static method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator
newParser(JSXSerializerType, JPRAReferenceParserType) - Static method in class com.io7m.jpra.compiler.core.parser.JPRAParser
newParser(JSXSerializerType) - Static method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser
newPipeline(JPRAParserType, JPRAResolverType, JPRACheckerType) - Static method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline
  Construct a new pipeline.
newResolver(GlobalContextType, Optional<PackageNameQualified>) - Static method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
  Create a new resolver.
newString(ByteBuffer, int, JPRACursorByteReadableType, Charset, int) - Static method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
  Construct a new string pointer.
newWriter(JPRAJavaGeneratorType) - Static method in class com.io7m.jpra.compiler.java.JPRAJavaWriter
noCurrentPackage(Optional<ImmutableLexicalPositionType<Path>>) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
nonexistentPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
nonexistentPackageReference(PackageNameUnqualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
nonexistentType(Optional<PackageNameQualified>, TypeName) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

## O

of(PackageNameUnqualified...) - Static method in class com.io7m.jpra.model.names.PackageNameQualified
  Construct a name from the given segments.
of(String) - Static method in class com.io7m.jpra.model.names.PackageNameUnqualified
  Construct a name.
of(int, JPRATypeModelType.JPRATypeType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Construct a new immutable `JPRAArray` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  Construct a new immutable `JPRABooleanSet` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  Construct a new immutable `JPRAFloat` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  Construct a new immutable `JPRAIntegerSigned` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  Construct a new immutable `JPRAIntegerSignedNormalized` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  Construct a new immutable `JPRAIntegerUnsigned` instance.
of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  Construct a new immutable `JPRAIntegerUnsignedNormalized` instance.
of(int, int, JPRATypeModelType.JPRAScalarType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Construct a new immutable `JPRAMatrix` instance.
of(int, String) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Construct a new immutable `JPRAString` instance.
of(Class<? extends JPRAValueType>) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  Construct a new immutable `JPRAUserDefined` instance.
of(int, JPRATypeModelType.JPRAScalarType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Construct a new immutable `JPRAVector` instance.
ofList(ImmutableList<FieldName>) - Static method in class com.io7m.jpra.model.names.FieldPath
  Construct a field path from a non-empty list of path elements.
onArray(JPRATypeModelType.JPRAArrayType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match an `array` type.
onBooleanSet(JPRATypeModelType.JPRABooleanSetType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a `boolean-set` type.
onEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline
onEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.pipeline.JPRAPipelineType
  EOF was received.
onExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline
onExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.pipeline.JPRAPipelineType
  An expression was received.
onFloat(JPRATypeModelType.JPRAFloatType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType
  Match a float type.
onIntegerSigned(JPRATypeModelType.JPRAIntegerSignedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType
  Match a signed integer type.
onIntegerSignedNormalized(JPRATypeModelType.JPRAIntegerSignedNormalizedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType
  Match a signed normalized integer type.
onIntegerUnsigned(JPRATypeModelType.JPRAIntegerUnsignedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType
  Match an unsigned integer type.
onIntegerUnsignedNormalized(JPRATypeModelType.JPRAIntegerUnsignedNormalizedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType
  Match an unsigned normalized integer type.
onJPRAException(OutputStream, JPRAException) - Method in class com.io7m.jpra.compiler.core.JPRAProblemFormatter
onJPRAException(OutputStream, JPRAException) - Method in interface com.io7m.jpra.compiler.core.JPRAProblemFormatterType
  Format a message to `os` based on `e`.
onMatrix(JPRATypeModelType.JPRAMatrixType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a matrix type.
onScalar(JPRATypeModelType.JPRAScalarType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a scalar type.
onString(JPRATypeModelType.JPRAStringType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a string type.
onUserDefined(JPRATypeModelType.JPRAUserDefinedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a user-defined type.
onVector(JPRATypeModelType.JPRAVectorType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType
  Match a vector type.

## P

PackageContextType - Interface in com.io7m.jpra.model.contexts
  The context of a specific package
PackageImport - Class in com.io7m.jpra.model
  A package import declaration.
PackageImport(PackageNameQualified, PackageNameQualified) - Constructor for class com.io7m.jpra.model.PackageImport
  Construct a package import declaration.
packageImportConflict(PackageNameUnqualified, PackageNameUnqualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
PackageNameQualified - Class in com.io7m.jpra.model.names
  A fully qualified package name.
PackageNameQualified(ImmutableList<PackageNameUnqualified>) - Constructor for class com.io7m.jpra.model.names.PackageNameQualified
  Construct a name.
PackageNameUnqualified - Class in com.io7m.jpra.model.names
  An unqualified package name.
PackageNameUnqualified(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.PackageNameUnqualified
  Construct a package name.
PackedFieldDecl - Class in com.io7m.jpra.model.type_declarations
  Functions over field declaration for `packed` types.
PackedFieldDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations
  A `packed` field declaration matcher.
PackedFieldDeclPaddingBits<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `packed` type field that specifies a number of padding bits.
PackedFieldDeclPaddingBits(Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits
  Construct a packed field declaration.
PackedFieldDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations
  The type of field declarations for `packed` types.
PackedFieldDeclValue<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `field` declaration in a `packed` type.
PackedFieldDeclValue(I, FieldName, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue
  Construct a `field` declaration.
PackedFieldImplementationProcessor - Class in com.io7m.jpra.compiler.java
  A type matcher that produces implementation methods for a given packed field.
PackedFieldInterfaceProcessor - Class in com.io7m.jpra.compiler.java
  A type matcher that produces interface methods for packed fields.
packedNonIntegerType(PackedFieldDeclValue<IdentifierType, Untyped>, TypeExprType<IdentifierType, TType>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
packedSizeNotSupported(TypeName, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
paddingSizeInvalid(Optional<ImmutableLexicalPositionType<Path>>, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
  The size of a padding field was invalid.
parseEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser
parseEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType
  EOF has been encountered.
parseFieldReference(SExpressionSymbolType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser
parseFieldReference(SExpressionSymbolType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAReferenceParserType
  Parse a field reference.
parseSizeExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser
parseSizeExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType
  Parse a size expression.
parseStatement(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser
parseStatement(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType
  Parse a statement.
parseTypeExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser
parseTypeExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType
  Parse a type expression.
parseTypeReference(SExpressionSymbolType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser
parseTypeReference(SExpressionSymbolType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAReferenceParserType
  Parse a type reference.
PATTERN - Static variable in class com.io7m.jpra.model.names.FieldName
  The pattern that defines a valid field name.
PATTERN - Static variable in class com.io7m.jpra.model.names.PackageNameUnqualified
  The pattern that defines a valid package name.
PATTERN - Static variable in class com.io7m.jpra.model.names.TypeName
  The pattern that defines a valid type name.
putType(TypeUserDefinedType) - Method in class com.io7m.jpra.model.contexts.GlobalContexts
putType(TypeUserDefinedType) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType
  Introduce a new type into the global context

## R

RecordFieldDecl - Class in com.io7m.jpra.model.type_declarations
  Functions over record field declarations.
RecordFieldDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations
  A `record` field declaration matcher.
RecordFieldDeclPaddingOctets<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `record` field declaration that specifies a number of padding octets.
RecordFieldDeclPaddingOctets(Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets
  Construct a field declaration.
RecordFieldDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations
  The type of record field declarations.
RecordFieldDeclValue<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `record` `field` declaration.
RecordFieldDeclValue(I, FieldName, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue
  Construct a field declaration.
resolveCommandType(StatementCommandType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveCommandType(StatementCommandType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a `:type` command.
resolveEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  EOF has been encountered.
resolveGetCurrentPackage() - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveGetCurrentPackage() - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
resolveGetCurrentTypes() - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveGetCurrentTypes() - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
resolvePackageBegin(StatementPackageBegin<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolvePackageBegin(StatementPackageBegin<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a package begin statement.
resolvePackageEnd(StatementPackageEnd<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolvePackageEnd(StatementPackageEnd<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a package end statement.
resolvePackageImport(StatementPackageImport<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolvePackageImport(StatementPackageImport<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a package import statement.
resolveSizeExpression(SizeExprType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveSizeExpression(SizeExprType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a size expression.
resolveTypeDeclaration(TypeDeclType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveTypeDeclaration(TypeDeclType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a type declaration.
resolveTypeExpression(TypeExprType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver
resolveTypeExpression(TypeExprType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType
  Resolve a type expression.
run() - Method in class com.io7m.jpra.compiler.frontend.Main.CommandCheck
run() - Method in class com.io7m.jpra.compiler.frontend.Main.CommandGenerateJava

## S

setElementIndex(int) - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
setElementIndex(int) - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
setElementIndex(int) - Method in interface com.io7m.jpra.runtime.java.JPRACursor1DType
  Point the cursor at element `index` of the array.
setElementPosition(int, int) - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
setElementPosition(int, int) - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
setElementPosition(int, int) - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType
  Point the cursor at element `(x, y)` of the array.
setValue(String, JPRAStringTruncation) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered
setValue(String, JPRAStringTruncation) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorWritableType
  Set the string value, optionally truncating data based on `trunc`.
Size<U extends SizeUnitType> - Class in com.io7m.jpra.model.types
  A size value.
Size(BigInteger) - Constructor for class com.io7m.jpra.model.types.Size
  Construct a size value.
SizeExprConstant<I,T> - Class in com.io7m.jpra.model.size_expressions
  A constant size.
SizeExprConstant(Optional<ImmutableLexicalPositionType<Path>>, BigInteger) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprConstant
  Construct a size expression.
SizeExprInBits<I,T> - Class in com.io7m.jpra.model.size_expressions
  A size function denoting the size in bits of a given type expression.
SizeExprInBits(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprInBits
  Construct an expression.
SizeExprInOctets<I,T> - Class in com.io7m.jpra.model.size_expressions
  A size function denoting the size in octets of a given type expression.
SizeExprInOctets(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprInOctets
  Construct an expression.
SizeExprMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.size_expressions
  A size expression matcher.
SizeExprType<I,T> - Interface in com.io7m.jpra.model.size_expressions
  The type of size expressions.
sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
sizeInBits() - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarType
sizeInOctets() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
sizeOctets() - Method in interface com.io7m.jpra.runtime.java.JPRAValueType
SizeUnitBitsType - Interface in com.io7m.jpra.model.types
  An empty type indicating that a given size value is in bits.
SizeUnitOctetsType - Interface in com.io7m.jpra.model.types
  An empty type indicating that a given size value is in octets.
SizeUnitType - Interface in com.io7m.jpra.model.types
  An empty type used to indicate the units of size expressions.
StatementCommandSize<I,T> - Class in com.io7m.jpra.model.statements
  A `:size` command.
StatementCommandSize(SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.statements.StatementCommandSize
  Construct a size command.
StatementCommandType<I,T> - Class in com.io7m.jpra.model.statements
  A `:type` command.
StatementCommandType(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.statements.StatementCommandType
  Construct a type expression.
StatementMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.statements
  A statement matcher.
StatementPackageBegin<I,T> - Class in com.io7m.jpra.model.statements
  A `package-begin` statement.
StatementPackageBegin(PackageNameQualified) - Constructor for class com.io7m.jpra.model.statements.StatementPackageBegin
  Construct a statement.
StatementPackageEnd<I,T> - Class in com.io7m.jpra.model.statements
  The `package-end` statement.
StatementPackageEnd(Optional<ImmutableLexicalPositionType<Path>>) - Constructor for class com.io7m.jpra.model.statements.StatementPackageEnd
  Construct a statement.
StatementPackageImport<I,T> - Class in com.io7m.jpra.model.statements
  The `import` statement.
StatementPackageImport(PackageNameQualified, PackageNameUnqualified) - Constructor for class com.io7m.jpra.model.statements.StatementPackageImport
  Construct a statement.
StatementType<I,T> - Interface in com.io7m.jpra.model.statements
  The type of statements.
stringEncodingNotSupported(TypeExprString<IdentifierType, Untyped>, String, ImmutableSet<String>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
syntaxError(SExpressionType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

## T

TArray - Class in com.io7m.jpra.model.types
  An `array` type expression.
TArray(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, TType) - Constructor for class com.io7m.jpra.model.types.TArray
  Construct an `array` type expression.
TBooleanSet - Class in com.io7m.jpra.model.types
  A `boolean-set` type.
TBooleanSet(Optional<ImmutableLexicalPositionType<Path>>, ImmutableList<FieldName>, Size<SizeUnitOctetsType>) - Constructor for class com.io7m.jpra.model.types.TBooleanSet
  Construct a boolean set type.
TFloat - Class in com.io7m.jpra.model.types
  A floating point type expression.
TFloat(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TFloat
  Construct a `float` type expression.
TIntegerSigned - Class in com.io7m.jpra.model.types
  A `signed` integer type expression.
TIntegerSigned(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerSigned
  Construct an `integer signed` type expression.
TIntegerSignedNormalized - Class in com.io7m.jpra.model.types
  A `signed-normalized` type expression.
TIntegerSignedNormalized(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerSignedNormalized
  Construct an `integer signed-normalized` type expression.
TIntegerType - Interface in com.io7m.jpra.model.types
  The type of `integer` types.
TIntegerUnsigned - Class in com.io7m.jpra.model.types
  An `unsigned` integer type expression.
TIntegerUnsigned(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerUnsigned
  Construct an `integer unsigned` type expression.
TIntegerUnsignedNormalized - Class in com.io7m.jpra.model.types
  An `unsigned-normalized` integer type expression.
TIntegerUnsignedNormalized(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
  Construct an `integer unsigned-normalized` type expression.
TMatrix - Class in com.io7m.jpra.model.types
  A `matrix` type expression.
TMatrix(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, Size<?>, TypeScalarType) - Constructor for class com.io7m.jpra.model.types.TMatrix
  Construct an `integer unsigned` type expression.
toBits(Size<SizeUnitOctetsType>) - Static method in class com.io7m.jpra.model.types.Size
toString() - Method in class com.io7m.jpra.model.names.FieldName
toString() - Method in class com.io7m.jpra.model.names.FieldPath
toString() - Method in class com.io7m.jpra.model.names.PackageNameQualified
toString() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified
toString() - Method in class com.io7m.jpra.model.names.TypeName
toString() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant
toString() - Method in class com.io7m.jpra.model.types.Size
toString() - Method in class com.io7m.jpra.model.types.TArray
toString() - Method in class com.io7m.jpra.model.types.TIntegerSigned
toString() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized
toString() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned
toString() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized
toString() - Method in class com.io7m.jpra.model.types.TMatrix
toString() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits
toString() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue
toString() - Method in class com.io7m.jpra.model.types.TPacked
toString() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets
toString() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue
toString() - Method in class com.io7m.jpra.model.types.TRecord
toString() - Method in class com.io7m.jpra.model.types.TString
toString() - Method in class com.io7m.jpra.model.types.TVector
toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked
toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked
toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked
toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Prints the immutable value `JPRAArray...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  Prints the immutable value `JPRABooleanSet...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  Prints the immutable value `JPRAFloat...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  Prints the immutable value `JPRAIntegerSigned...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  Prints the immutable value `JPRAIntegerSignedNormalized...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  Prints the immutable value `JPRAIntegerUnsigned...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  Prints the immutable value `JPRAIntegerUnsignedNormalized...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Prints the immutable value `JPRAMatrix...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Prints the immutable value `JPRAString...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  Prints the immutable value `JPRAUserDefined...` with all non-generated and non-auxiliary attribute values.
toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Prints the immutable value `JPRAVector...` with all non-generated and non-auxiliary attribute values.
TPacked - Class in com.io7m.jpra.model.types
  A `packed` type.
TPacked.FieldMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  The type of field matchers.
TPacked.FieldPaddingBits - Class in com.io7m.jpra.model.types
  A packed padding field.
TPacked.FieldType - Interface in com.io7m.jpra.model.types
  The type of packed fields.
TPacked.FieldValue - Class in com.io7m.jpra.model.types
  A packed value field.
TPackedBuilderType - Interface in com.io7m.jpra.model.types
  The type of mutable records for `TPacked` values.
TRecord - Class in com.io7m.jpra.model.types
  A `record` type.
TRecord.FieldMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  The type of field matchers.
TRecord.FieldPaddingOctets - Class in com.io7m.jpra.model.types
  A record padding field.
TRecord.FieldType - Interface in com.io7m.jpra.model.types
  The type of record fields.
TRecord.FieldValue - Class in com.io7m.jpra.model.types
  A record value field.
TRecordBuilderType - Interface in com.io7m.jpra.model.types
  The type of mutable records for `TRecord` values.
TRecords - Class in com.io7m.jpra.model.types
  Functions over record types.
TRecords.TypeLookupFailed - Class in com.io7m.jpra.model.types
  The type of lookup failures.
TRecords.TypeLookupSucceeded - Class in com.io7m.jpra.model.types
  The type of successful lookups.
TRecords.TypeLookupType - Interface in com.io7m.jpra.model.types
  The type of lookup results.
TString - Class in com.io7m.jpra.model.types
  A `string` type expression.
TString(Optional<ImmutableLexicalPositionType<Path>>, String, Size<SizeUnitOctetsType>) - Constructor for class com.io7m.jpra.model.types.TString
  Construct an expression.
TType - Interface in com.io7m.jpra.model.types
  The type of types.
TVector - Class in com.io7m.jpra.model.types
  A `vector` type expression.
TVector(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, TypeScalarType) - Constructor for class com.io7m.jpra.model.types.TVector
  Construct a type expression.
type() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
TypeDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations
  A type declaration matcher.
TypeDeclPacked<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `packed` type declaration.
TypeDeclPacked(I, T, ImmutableMap<FieldName, PackedFieldDeclValue<I, T>>, TypeName, ImmutableList<PackedFieldDeclType<I, T>>) - Constructor for class com.io7m.jpra.model.type_declarations.TypeDeclPacked
  Construct a type declaration.
TypeDeclRecord<I,T> - Class in com.io7m.jpra.model.type_declarations
  A `record` type declaration.
TypeDeclRecord(I, T, ImmutableMap<FieldName, RecordFieldDeclValue<I, T>>, TypeName, ImmutableList<RecordFieldDeclType<I, T>>) - Constructor for class com.io7m.jpra.model.type_declarations.TypeDeclRecord
  Construct a declaration.
TypeDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations
  The type of type declarations.
TypeExprArray<I,T> - Class in com.io7m.jpra.model.type_expressions
  An `array` type expression.
TypeExprArray(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprArray
  Construct an expression.
TypeExprBooleanSet<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `boolean-set` type expression.
TypeExprBooleanSet(T, Optional<ImmutableLexicalPositionType<Path>>, ImmutableList<FieldName>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet
  Construct a type expression.
TypeExprFloat<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `float` type expression.
TypeExprFloat(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprFloat
  Construct an expression.
TypeExprIntegerSigned<I,T> - Class in com.io7m.jpra.model.type_expressions
  An `integer signed` type expression.
TypeExprIntegerSigned(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned
  Construct an expression.
TypeExprIntegerSignedNormalized<I,T> - Class in com.io7m.jpra.model.type_expressions
  An `integer signed-normalized` type expression.
TypeExprIntegerSignedNormalized(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized
  Construct an expression.
TypeExprIntegerUnsigned<I,T> - Class in com.io7m.jpra.model.type_expressions
  An `integer unsigned` type expression.
TypeExprIntegerUnsigned(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned
  Construct an expression.
TypeExprIntegerUnsignedNormalized<I,T> - Class in com.io7m.jpra.model.type_expressions
  An `integer unsigned-normalized` type expression.
TypeExprIntegerUnsignedNormalized(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized
  Construct an expression.
TypeExprMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_expressions
  The type of type expression matchers.
TypeExprMatrix<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `matrix` type expression.
TypeExprMatrix(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprMatrix
  Construct an expression.
TypeExprName<I,T> - Class in com.io7m.jpra.model.type_expressions
  A name.
TypeExprName(I, T, TypeReference) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprName
  Construct an expression.
TypeExprString<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `string` type expression.
TypeExprString(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, String) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprString
  Construct an expression.
TypeExprType<I,T> - Interface in com.io7m.jpra.model.type_expressions
  The type of type expressions.
TypeExprTypeOfField<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `type-of` type expression.
TypeExprTypeOfField(I, T, FieldReference) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField
  Construct an expression.
TypeExprVector<I,T> - Class in com.io7m.jpra.model.type_expressions
  A `vector` type expression.
TypeExprVector(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprVector
  Construct an expression.
typeForFieldPath(TRecord, FieldPath) - Static method in class com.io7m.jpra.model.types.TRecords
  Lookup a type based on a field path.
TypeIntegerMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  The type of `integer` type expression matchers.
TypeLookupFailed(TType, FieldName, ImmutableList<FieldName>) - Constructor for class com.io7m.jpra.model.types.TRecords.TypeLookupFailed
  Construct a failure.
TypeLookupSucceeded(TType) - Constructor for class com.io7m.jpra.model.types.TRecords.TypeLookupSucceeded
  Construct a success result.
TypeMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  A type matcher.
TypeName - Class in com.io7m.jpra.model.names
  A type name.
TypeName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.TypeName
  Construct a type name.
TypeReference - Class in com.io7m.jpra.model.names
  A reference to a type by name.
TypeReference(Optional<PackageNameUnqualified>, TypeName) - Constructor for class com.io7m.jpra.model.names.TypeReference
  Construct a reference.
TypeScalarMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  The type of scalar type matchers.
TypeScalarType - Interface in com.io7m.jpra.model.types
  The type scalar types.
TypeUserDefinedMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types
  The type of user-defined type matchers.
TypeUserDefinedType - Interface in com.io7m.jpra.model.types
  The type of user defined types.

## U

unexpectedEOF(Optional<ImmutableLexicalPositionType<Path>>) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
unexpectedPackage(PackageNameQualified, PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException
UnionCaseName - Class in com.io7m.jpra.model.names
  The name of a union case.
UnionCaseName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.UnionCaseName
  Construct a case name.
unrecognizedIntegerTypeKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
unrecognizedKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
unrecognizedPackedFieldKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
unrecognizedRecordFieldKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
unrecognizedSizeFunction(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
unrecognizedTypeKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException
Unresolved - Class in com.io7m.jpra.model
  A type indicating that parsing but no name resolution or type checking has been performed.
Untyped - Class in com.io7m.jpra.model
  A type indicating that no type checking has been performed.

## V

valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.checker.JPRACheckerErrorCode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.parser.JPRAParseErrorCode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.resolver.JPRAResolverErrorCode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in class com.io7m.jpra.model.names.PackageNameQualified
  Parse a string, yielding a qualified package name.
valueOf(long) - Static method in class com.io7m.jpra.model.types.Size
  Construct a size value of `x` units.
valueOf(String) - Static method in enum com.io7m.jpra.runtime.java.JPRAStringTruncation
  Returns the enum constant of this type with the specified name.
values() - Static method in enum com.io7m.jpra.compiler.core.checker.JPRACheckerErrorCode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.io7m.jpra.compiler.core.parser.JPRAParseErrorCode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.io7m.jpra.compiler.core.resolver.JPRAResolverErrorCode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.io7m.jpra.runtime.java.JPRAStringTruncation
  Returns an array containing the constants of this enum type, in the order they are declared.
vectorFloatSizeNotSupported(TFloat, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
vectorIntegerSizeNotSupported(TIntegerType, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
vectorNonScalarElement(TypeExprVector<IdentifierType, Untyped>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException
vectorSizeNotSupported(TypeExprVector<IdentifierType, Untyped>, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

## W

width() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
withElementType(JPRATypeModelType.JPRATypeType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Copy the current immutable object by setting a value for the `elementType` attribute.
withElementType(JPRATypeModelType.JPRAScalarType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Copy the current immutable object by setting a value for the `elementType` attribute.
withElementType(JPRATypeModelType.JPRAScalarType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Copy the current immutable object by setting a value for the `elementType` attribute.
withEncoding(String) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Copy the current immutable object by setting a value for the `encoding` attribute.
withHeight(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Copy the current immutable object by setting a value for the `height` attribute.
withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray
  Copy the current immutable object by setting a value for the `length` attribute.
withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString
  Copy the current immutable object by setting a value for the `length` attribute.
withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector
  Copy the current immutable object by setting a value for the `length` attribute.
withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat
  Copy the current immutable object by setting a value for the `sizeInBits` attribute.
withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned
  Copy the current immutable object by setting a value for the `sizeInBits` attribute.
withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized
  Copy the current immutable object by setting a value for the `sizeInBits` attribute.
withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned
  Copy the current immutable object by setting a value for the `sizeInBits` attribute.
withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized
  Copy the current immutable object by setting a value for the `sizeInBits` attribute.
withSizeInOctets(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet
  Copy the current immutable object by setting a value for the `sizeInOctets` attribute.
withType(Class<? extends JPRAValueType>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined
  Copy the current immutable object by setting a value for the `type` attribute.
withWidth(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix
  Copy the current immutable object by setting a value for the `width` attribute.
writeType(Path, TypeUserDefinedType) - Method in class com.io7m.jpra.compiler.java.JPRAJavaWriter
writeType(Path, TypeUserDefinedType) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaWriterType
  Write the given type to the base directory `path`.

## Z

zero() - Static method in class com.io7m.jpra.model.types.Size

A B C D E F G H I J L M N O P R S T U V W Z

Copyright © 2015 <code@io7m.com> http://io7m.com