Index (io7m-jpra-documentation 0.2.1 API)

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 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.
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

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
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.JPRAStringByteBuffered
getByte(int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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.JPRAStringByteBuffered
getBytes(byte[], int, int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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.JPRAStringByteBuffered
getEncoding() - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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.JPRAStringByteBuffered
getMaximumLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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.JPRAStringByteBuffered
getNewValue() - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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.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.JPRAStringByteBuffered
getUsedLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringReadableType
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

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

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.
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.
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 model loading exception.
JPRAModelLoadingException - Exception in com.io7m.jpra.model.loading: The type of model loading exceptions.
JPRAModelLoadingException(String) - Constructor for exception com.io7m.jpra.model.loading.JPRAModelLoadingException: Construct a 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.
JPRAStringByteBuffered - Class in com.io7m.jpra.runtime.java: An implementation of the JPRAStringType that accesses an underlying ByteBuffer.
JPRAStringReadableType - Interface in com.io7m.jpra.runtime.java: The type of read-only pointers to strings.
JPRAStringTruncation - Enum in com.io7m.jpra.runtime.java: Behaviour for string truncation.
JPRAStringType - Interface in com.io7m.jpra.runtime.java: The type of readable and writable strings.
JPRAStringWritableType - Interface in com.io7m.jpra.runtime.java: The type of pointers to writable strings
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.

L

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
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
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 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.JPRAStringByteBuffered: 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.
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.
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.
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.

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.JPRAStringByteBuffered
setValue(String, JPRAStringTruncation) - Method in interface com.io7m.jpra.runtime.java.JPRAStringWritableType: 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.
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
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.
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

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