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

A

add(Size<U>) - Method in class com.io7m.jpra.model.types.Size

addField(FieldName, IdentifierType, TIntegerType) - Method in interface com.io7m.jpra.model.types.TPackedBuilderType

Add a value field.

addField(FieldName, IdentifierType, TType) - Method in interface com.io7m.jpra.model.types.TRecordBuilderType

Add a value field.

addPaddingBits(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Method in interface com.io7m.jpra.model.types.TPackedBuilderType

Add a field of padding bits.

addPaddingOctets(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitOctetsType>) - Method in interface com.io7m.jpra.model.types.TRecordBuilderType

Add a field of padding octets.

B

badFieldName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

badPackageName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

badTypeName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

badTypeReference(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

booleanSetSizeInvalid(TypeExprBooleanSet<IdentifierType, Untyped>, RangeInclusiveB, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

booleanSetSizeLessThanRequired(TypeExprBooleanSet<IdentifierType, Untyped>, BigInteger, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

build() - Method in interface com.io7m.jpra.model.types.TPackedBuilderType

build() - Method in interface com.io7m.jpra.model.types.TRecordBuilderType

C

checkCommandType(StatementCommandType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

checkCommandType(StatementCommandType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType

Check a :type command.

checkPackageBegin(StatementPackageBegin<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

checkPackageBegin(StatementPackageBegin<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType

Check a package begin statement.

checkPackageEnd(StatementPackageEnd<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

checkPackageEnd(StatementPackageEnd<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType

Complete the current package.

checkTypeDeclaration(TypeDeclType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

checkTypeDeclaration(TypeDeclType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType

Check a type declaration.

checkTypeExpression(TypeExprType<IdentifierType, Untyped>) - Method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

checkTypeExpression(TypeExprType<IdentifierType, Untyped>) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerType

Check a type expression.

com.io7m.jpra.compiler.core - package com.io7m.jpra.compiler.core

Shared compiler types.

com.io7m.jpra.compiler.core.checker - package com.io7m.jpra.compiler.core.checker

Type checking.

com.io7m.jpra.compiler.core.driver - package com.io7m.jpra.compiler.core.driver

Driver.

com.io7m.jpra.compiler.core.parser - package com.io7m.jpra.compiler.core.parser

Parser.

com.io7m.jpra.compiler.core.pipeline - package com.io7m.jpra.compiler.core.pipeline

Compiler pipeline.

com.io7m.jpra.compiler.core.resolver - package com.io7m.jpra.compiler.core.resolver

Name resolution.

com.io7m.jpra.compiler.frontend - package com.io7m.jpra.compiler.frontend

Command line compiler frontend.

com.io7m.jpra.compiler.java - package com.io7m.jpra.compiler.java

Java backend for the compiler.

com.io7m.jpra.core - package com.io7m.jpra.core

Core types.

com.io7m.jpra.documentation - package com.io7m.jpra.documentation

Documentation.

com.io7m.jpra.model - package com.io7m.jpra.model

Types and functions implementing the jpra type_model.

com.io7m.jpra.model.contexts - package com.io7m.jpra.model.contexts

Context types.

com.io7m.jpra.model.loading - package com.io7m.jpra.model.loading

Model loading.

com.io7m.jpra.model.names - package com.io7m.jpra.model.names

Unresolved name types.

com.io7m.jpra.model.size_expressions - package com.io7m.jpra.model.size_expressions

Size expressions.

com.io7m.jpra.model.statements - package com.io7m.jpra.model.statements

Statements.

com.io7m.jpra.model.type_declarations - package com.io7m.jpra.model.type_declarations

Type declarations.

com.io7m.jpra.model.type_expressions - package com.io7m.jpra.model.type_expressions

Type expressions.

com.io7m.jpra.model.types - package com.io7m.jpra.model.types

Types.

com.io7m.jpra.runtime.java - package com.io7m.jpra.runtime.java

Runtime components.

CommandCheck() - Constructor for class com.io7m.jpra.compiler.frontend.Main.CommandCheck

Construct a command.

CommandGenerateJava() - Constructor for class com.io7m.jpra.compiler.frontend.Main.CommandGenerateJava

Construct a command.

compilePackage(PackageNameQualified) - Method in class com.io7m.jpra.compiler.core.driver.JPRADriver

compilePackage(PackageNameQualified) - Method in interface com.io7m.jpra.compiler.core.driver.JPRADriverType

Compile a package.

copyOf(JPRATypeModelType.JPRAArrayType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Creates an immutable copy of a JPRATypeModelType.JPRAArrayType value.

copyOf(JPRATypeModelType.JPRABooleanSetType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

Creates an immutable copy of a JPRATypeModelType.JPRABooleanSetType value.

copyOf(JPRATypeModelType.JPRAFloatType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

Creates an immutable copy of a JPRATypeModelType.JPRAFloatType value.

copyOf(JPRATypeModelType.JPRAIntegerSignedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

Creates an immutable copy of a JPRATypeModelType.JPRAIntegerSignedType value.

copyOf(JPRATypeModelType.JPRAIntegerSignedNormalizedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Creates an immutable copy of a JPRATypeModelType.JPRAIntegerSignedNormalizedType value.

copyOf(JPRATypeModelType.JPRAIntegerUnsignedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

Creates an immutable copy of a JPRATypeModelType.JPRAIntegerUnsignedType value.

copyOf(JPRATypeModelType.JPRAIntegerUnsignedNormalizedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

Creates an immutable copy of a JPRATypeModelType.JPRAIntegerUnsignedNormalizedType value.

copyOf(JPRATypeModelType.JPRAMatrixType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Creates an immutable copy of a JPRATypeModelType.JPRAMatrixType value.

copyOf(JPRATypeModelType.JPRAStringType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Creates an immutable copy of a JPRATypeModelType.JPRAStringType value.

copyOf(JPRATypeModelType.JPRAUserDefinedType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

Creates an immutable copy of a JPRATypeModelType.JPRAUserDefinedType value.

copyOf(JPRATypeModelType.JPRAVectorType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Creates an immutable copy of a JPRATypeModelType.JPRAVectorType value.

create(ByteBuffer, JPRACursorByteReadableType, int) - Method in interface com.io7m.jpra.runtime.java.JPRAValueByteBufferedConstructorType

Construct a new value.

createOneMask(int, int, int) - Static method in class com.io7m.jpra.compiler.java.JPRAMasks

Create a mask of size bits, where the bits from the inclusive range [lsb, msb] are set to 0 and the rest are set to 1.

createZeroMask(int, int, int) - Static method in class com.io7m.jpra.compiler.java.JPRAMasks

Create a mask of size bits, where the bits from the inclusive range [lsb, msb] are set to 0 and the rest are set to 1.

D

Documentation - Class in com.io7m.jpra.documentation

Marker class for looking up files by resource.

duplicateFieldName(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

duplicatePackage(PackageNameQualified, PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

duplicateType(TypeName, TypeName) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

E

elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

elementType() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

encoding() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

equals(Object) - Method in class com.io7m.jpra.model.names.FieldName

equals(Object) - Method in class com.io7m.jpra.model.names.FieldPath

equals(Object) - Method in class com.io7m.jpra.model.names.PackageNameQualified

equals(Object) - Method in class com.io7m.jpra.model.names.PackageNameUnqualified

equals(Object) - Method in class com.io7m.jpra.model.names.TypeName

equals(Object) - Method in class com.io7m.jpra.model.names.UnionCaseName

equals(Object) - Method in class com.io7m.jpra.model.PackageImport

equals(Object) - Method in class com.io7m.jpra.model.types.Size

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

This instance is equal to all instances of JPRAArray that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

This instance is equal to all instances of JPRABooleanSet that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

This instance is equal to all instances of JPRAFloat that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

This instance is equal to all instances of JPRAIntegerSigned that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

This instance is equal to all instances of JPRAIntegerSignedNormalized that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

This instance is equal to all instances of JPRAIntegerUnsigned that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

This instance is equal to all instances of JPRAIntegerUnsignedNormalized that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

This instance is equal to all instances of JPRAMatrix that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

This instance is equal to all instances of JPRAString that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

This instance is equal to all instances of JPRAUserDefined that have equal attribute values.

equals(Object) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

This instance is equal to all instances of JPRAVector that have equal attribute values.

evaluate(GlobalContextType, PackageNameQualified) - Method in interface com.io7m.jpra.model.loading.JPRAPackageLoaderType

Attempt to load a package.

expectedListGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

expectedListGotSymbol(SExpressionSymbolType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

expectedNonEmptyList(SExpressionListType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

expectedPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

expectedSymbolGotList(SExpressionListType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

expectedSymbolGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

expectedSymbolOrListGotQuotedString(SExpressionQuotedStringType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

F

FieldName - Class in com.io7m.jpra.model.names

The type of field names.

FieldName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.FieldName

Construct a field name.

FieldPath - Class in com.io7m.jpra.model.names

A path to a field.

FieldReference - Class in com.io7m.jpra.model.names

A reference to a field.

FieldReference(Optional<PackageNameUnqualified>, Optional<TypeName>, FieldPath) - Constructor for class com.io7m.jpra.model.names.FieldReference

Construct a reference.

floatSizeNotSupported(TypeExprFloat<IdentifierType, Untyped>, Size<SizeUnitBitsType>, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

G

generatedPackedAllMethodImplementation(TypeSpec.Builder, TPacked) - Static method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

Generate a set method that sets all packed fields at once.

generatedPackedAllMethodInterface(TypeSpec.Builder, ImmutableList<TPacked.FieldType>) - Static method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

Generate a set method that sets all packed fields at once.

generatePackedImplementation(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generatePackedImplementation(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the implementation of a packed definition.

generatePackedInterface(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generatePackedInterface(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the readable and writable interface of a packed definition.

generatePackedInterfaceReadable(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generatePackedInterfaceReadable(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the readable interface of a packed definition.

generatePackedInterfaceWritable(TPacked, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generatePackedInterfaceWritable(TPacked, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the writable interface of a packed definition.

generateRecordImplementation(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generateRecordImplementation(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the implementation of a record definition.

generateRecordInterface(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generateRecordInterface(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the readable and writable interface of a record definition.

generateRecordInterfaceReadable(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generateRecordInterfaceReadable(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the readable interface of a record definition.

generateRecordInterfaceWritable(TRecord, OutputStream) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

generateRecordInterfaceWritable(TRecord, OutputStream) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

Generate Java source code for the writable interface of a record definition.

get() - Static method in class com.io7m.jpra.model.Unresolved

get() - Static method in class com.io7m.jpra.model.Untyped

getBitRange() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

getBitRange() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType

getBitRange() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getByte(int) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getByte(int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

getByteOffsetObservable() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

getByteOffsetObservable() - Method in interface com.io7m.jpra.runtime.java.JPRACursorByteReadableType

getBytes(byte[], int, int) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getBytes(byte[], int, int) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getCurrentSize() - Method in interface com.io7m.jpra.model.types.TPackedBuilderType

getElementCount() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray

getElementCount() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector

getElementCount() - Method in class com.io7m.jpra.model.types.TArray

getElementCount() - Method in class com.io7m.jpra.model.types.TVector

getElementIndex() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

getElementIndex() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

getElementIndex() - Method in interface com.io7m.jpra.runtime.java.JPRACursor1DType

getElements() - Method in class com.io7m.jpra.model.names.FieldPath

getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray

getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

getElementType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector

getElementType() - Method in class com.io7m.jpra.model.types.TArray

getElementType() - Method in class com.io7m.jpra.model.types.TMatrix

getElementType() - Method in class com.io7m.jpra.model.types.TVector

getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

getElementView() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

getElementView() - Method in interface com.io7m.jpra.runtime.java.JPRACursorType

getElementX() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

getElementX() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

getElementX() - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType

getElementY() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

getElementY() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

getElementY() - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType

getEncoding() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString

getEncoding() - Method in class com.io7m.jpra.model.types.TString

getEncoding() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getEncoding() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getErrorCode() - Method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

getErrorCode() - Method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

getErrorCode() - Method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

getErrorQueue() - Method in class com.io7m.jpra.model.contexts.GlobalContexts

getErrorQueue() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

getExpression() - Method in class com.io7m.jpra.model.statements.StatementCommandSize

getExpression() - Method in class com.io7m.jpra.model.statements.StatementCommandType

getFieldPath() - Method in class com.io7m.jpra.model.names.FieldReference

getFieldReference() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

getFieldsByName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getFieldsByName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getFieldsByName() - Method in class com.io7m.jpra.model.types.TPacked

getFieldsByName() - Method in class com.io7m.jpra.model.types.TRecord

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TBooleanSet

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TPacked

getFieldsInDeclarationOrder() - Method in class com.io7m.jpra.model.types.TRecord

getFreshIdentifier() - Method in class com.io7m.jpra.model.contexts.GlobalContexts

getFreshIdentifier() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

getFrom() - Method in class com.io7m.jpra.model.PackageImport

getGlobalContext() - Method in class com.io7m.jpra.compiler.core.driver.JPRADriver

getGlobalContext() - Method in interface com.io7m.jpra.compiler.core.driver.JPRADriverType

getGlobalContext() - Method in interface com.io7m.jpra.model.contexts.PackageContextType

getHeight() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

getHeight() - Method in class com.io7m.jpra.model.types.TMatrix

getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getIdentifier() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getIdentifier() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType

getIdentifier() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName

getIdentifier() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

getIdentifier() - Method in class com.io7m.jpra.model.types.TPacked

getIdentifier() - Method in class com.io7m.jpra.model.types.TRecord

getIdentifier() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType

getImports() - Method in exception com.io7m.jpra.model.loading.JPRAModelCircularImportException

getLexicalInformation() - Method in exception com.io7m.jpra.compiler.core.JPRACompilerException

getLexicalInformation() - Method in interface com.io7m.jpra.model.ModelElementType

Fetch the lexical information for the element.

getLexicalInformation() - Method in class com.io7m.jpra.model.names.FieldName

getLexicalInformation() - Method in class com.io7m.jpra.model.names.PackageNameQualified

getLexicalInformation() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified

getLexicalInformation() - Method in class com.io7m.jpra.model.names.TypeName

getLexicalInformation() - Method in class com.io7m.jpra.model.names.UnionCaseName

getLexicalInformation() - Method in class com.io7m.jpra.model.PackageImport

getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant

getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits

getLexicalInformation() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets

getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementCommandSize

getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementCommandType

getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageBegin

getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageEnd

getLexicalInformation() - Method in class com.io7m.jpra.model.statements.StatementPackageImport

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getLexicalInformation() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

getLexicalInformation() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TArray

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TBooleanSet

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TFloat

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerSigned

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TMatrix

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TPacked

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TRecord

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TString

getLexicalInformation() - Method in class com.io7m.jpra.model.types.TVector

getMatrixFloatSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getMatrixFloatSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getMatrixIntegerSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getMatrixIntegerSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getMatrixSizeElementsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getMatrixSizeElementsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getMaximumLength() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getMaximumLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getMaximumStringLength() - Method in class com.io7m.jpra.model.types.TString

getName() - Method in interface com.io7m.jpra.model.contexts.PackageContextType

getName() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

getName() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

getName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getName() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getName() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType

getName() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getName() - Method in class com.io7m.jpra.model.types.TPacked

getName() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getName() - Method in class com.io7m.jpra.model.types.TRecord

getName() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType

getNewValue() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getNewValue() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getOwner() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

getOwner() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType

getOwner() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getOwner() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

getOwner() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType

getOwner() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getPackage() - Method in class com.io7m.jpra.model.names.FieldReference

getPackage() - Method in class com.io7m.jpra.model.names.TypeReference

getPackageContext() - Method in class com.io7m.jpra.model.types.TPacked

getPackageContext() - Method in class com.io7m.jpra.model.types.TRecord

getPackageContext() - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType

getPackageName() - Method in class com.io7m.jpra.model.statements.StatementPackageBegin

getPackageName() - Method in class com.io7m.jpra.model.statements.StatementPackageImport

getPackages() - Method in class com.io7m.jpra.model.contexts.GlobalContexts

getPackages() - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

getPackedImplementationByteBufferedName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getPackedImplementationByteBufferedName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getPackedIntegerSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getPackedIntegerSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getPackedIntegerTypeForSize(BigInteger) - Static method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

Retrieve the type that should be used for the interfaces of non-normalized integers fields in packed types.

getPackedInterfaceName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getPackedInterfaceName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getPackedInterfaceReadableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getPackedInterfaceReadableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getPackedInterfaceWritableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getPackedInterfaceWritableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getPackedSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getPackedSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getPathForPackage(Path, PackageNameQualified) - Static method in class com.io7m.jpra.compiler.java.JPRAJavaWriter

A function to return a path for the package p_name, based on base.

getRecordFloatSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getRecordFloatSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getRecordImplementationByteBufferedName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getRecordImplementationByteBufferedName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getRecordIntegerSizeBitsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getRecordIntegerSizeBitsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getRecordInterfaceName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getRecordInterfaceName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getRecordInterfaceReadableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getRecordInterfaceReadableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getRecordInterfaceWritableName(TypeName) - Method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

getRecordInterfaceWritableName(TypeName) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaGeneratorType

getReference() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized

getSize() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString

getSize() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

getSize() - Method in interface com.io7m.jpra.model.types.TPacked.FieldType

getSize() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getSizeExpression() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits

getSizeExpression() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets

getSizeExpression() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

getSizeInBits() - Method in class com.io7m.jpra.model.types.TArray

getSizeInBits() - Method in class com.io7m.jpra.model.types.TBooleanSet

getSizeInBits() - Method in class com.io7m.jpra.model.types.TFloat

getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerSigned

getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

getSizeInBits() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

getSizeInBits() - Method in class com.io7m.jpra.model.types.TMatrix

getSizeInBits() - Method in class com.io7m.jpra.model.types.TPacked

getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

getSizeInBits() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType

getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getSizeInBits() - Method in class com.io7m.jpra.model.types.TRecord

getSizeInBits() - Method in class com.io7m.jpra.model.types.TString

getSizeInBits() - Method in interface com.io7m.jpra.model.types.TType

getSizeInBits() - Method in class com.io7m.jpra.model.types.TVector

getSizeInOctets() - Method in class com.io7m.jpra.model.types.TBooleanSet

getSizeInOctets() - Method in class com.io7m.jpra.model.types.TPacked

getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

getSizeInOctets() - Method in interface com.io7m.jpra.model.types.TRecord.FieldType

getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getSizeInOctets() - Method in class com.io7m.jpra.model.types.TRecord

getStringEncodingsSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getStringEncodingsSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getTo() - Method in class com.io7m.jpra.model.PackageImport

getType(IdentifierType) - Method in class com.io7m.jpra.model.contexts.GlobalContexts

getType(IdentifierType) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

Return a type previously added with GlobalContextType.putType(TypeUserDefinedType).

getType() - Method in class com.io7m.jpra.model.names.FieldReference

getType() - Method in class com.io7m.jpra.model.names.TypeReference

getType() - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

getType() - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

getType() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

getType() - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

getType() - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprName

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprString

getType() - Method in interface com.io7m.jpra.model.type_expressions.TypeExprType

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

getType() - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector

getType() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

getType() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

getTypeExpression() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits

getTypeExpression() - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets

getTypes() - Method in interface com.io7m.jpra.model.contexts.PackageContextType

getUsedLength() - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

getUsedLength() - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorReadableType

getUsing() - Method in class com.io7m.jpra.model.statements.StatementPackageImport

getValue() - Method in class com.io7m.jpra.model.names.FieldName

getValue() - Method in class com.io7m.jpra.model.names.PackageNameQualified

getValue() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified

getValue() - Method in class com.io7m.jpra.model.names.TypeName

getValue() - Method in class com.io7m.jpra.model.names.UnionCaseName

getValue() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant

getValue() - Method in class com.io7m.jpra.model.types.Size

getVectorFloatSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getVectorFloatSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getVectorIntegerSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getVectorIntegerSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getVectorSizeSupported() - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

getVectorSizeSupported() - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

getWidth() - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

getWidth() - Method in class com.io7m.jpra.model.types.TMatrix

GlobalContexts - Class in com.io7m.jpra.model.contexts

Access to global contexts.

GlobalContextType - Interface in com.io7m.jpra.model.contexts

The global context.

H

hashCode() - Method in class com.io7m.jpra.model.names.FieldName

hashCode() - Method in class com.io7m.jpra.model.names.FieldPath

hashCode() - Method in class com.io7m.jpra.model.names.PackageNameQualified

hashCode() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified

hashCode() - Method in class com.io7m.jpra.model.names.TypeName

hashCode() - Method in class com.io7m.jpra.model.names.UnionCaseName

hashCode() - Method in class com.io7m.jpra.model.PackageImport

hashCode() - Method in class com.io7m.jpra.model.types.Size

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Returns a precomputed-on-construction hash code from attributes: length, elementType.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

Returns a precomputed-on-construction hash code from attributes: sizeInOctets.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Returns a precomputed-on-construction hash code from attributes: width, height, elementType.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Returns a precomputed-on-construction hash code from attributes: length, encoding.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

Returns a precomputed-on-construction hash code from attributes: type.

hashCode() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Returns a precomputed-on-construction hash code from attributes: length, elementType.

height() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

I

IdentifierType - Interface in com.io7m.jpra.model.names

The type of identifiers that are unique with a respect to a global context.

integerSizeNotSupported(TypeExprType<IdentifierType, Untyped>, Size<T>, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

invalidIntegerConstant(SExpressionSymbolType) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

isMatrixFloatSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isMatrixFloatSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isMatrixIntegerSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isMatrixIntegerSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isMatrixSizeElementsSupported(BigInteger, BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isMatrixSizeElementsSupported(BigInteger, BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isPackedIntegerSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isPackedIntegerSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isPackedSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isPackedSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isRecordFloatSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isRecordFloatSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isRecordIntegerSizeBitsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isRecordIntegerSizeBitsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isStringEncodingSupported(String) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isStringEncodingSupported(String) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isVectorFloatSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isVectorFloatSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isVectorIntegerSizeSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isVectorIntegerSizeSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

isVectorSizeElementsSupported(BigInteger) - Method in interface com.io7m.jpra.compiler.core.checker.JPRACheckerCapabilitiesType

isVectorSizeElementsSupported(BigInteger) - Method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

J

JPRAArrayType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAArrayType

JPRABooleanSetType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRABooleanSetType

JPRAChecker - Class in com.io7m.jpra.compiler.core.checker

The default implementation of the JPRACheckerType interface.

JPRACheckerCapabilitiesType - Interface in com.io7m.jpra.compiler.core.checker

The capabilities that the checker is responsible for enforcing.

JPRACheckerErrorCode - Enum in com.io7m.jpra.compiler.core.checker

Type checker error codes.

JPRACheckerStandardCapabilities - Class in com.io7m.jpra.compiler.core.checker

The default implementation of the JPRACheckerCapabilitiesType interface, specifying the minimum capabilities that all backends are required to support.

JPRACheckerType - Interface in com.io7m.jpra.compiler.core.checker

The type of type checkers.

JPRACompilerCheckerException - Exception in com.io7m.jpra.compiler.core.checker

The type of exceptions raised during checking.

JPRACompilerCheckerException(Optional<ImmutableLexicalPositionType<Path>>, JPRACheckerErrorCode, String) - Constructor for exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

Construct an exception.

JPRACompilerCheckerException(Optional<ImmutableLexicalPositionType<Path>>, JPRACheckerErrorCode, Exception) - Constructor for exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

Construct an exception.

JPRACompilerException - Exception in com.io7m.jpra.compiler.core

The root type of compiler exceptions.

JPRACompilerException(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerException

Construct an exception.

JPRACompilerException(Optional<ImmutableLexicalPositionType<Path>>, Exception) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerException

Construct an exception.

JPRACompilerLexerException - Exception in com.io7m.jpra.compiler.core

The type of lexer exceptions.

JPRACompilerLexerException(JSXParserException) - Constructor for exception com.io7m.jpra.compiler.core.JPRACompilerLexerException

Construct an exception.

JPRACompilerParseException - Exception in com.io7m.jpra.compiler.core.parser

The type of exceptions raised by the parser.

JPRACompilerResolverException - Exception in com.io7m.jpra.compiler.core.resolver

The type of exceptions raised during checking.

JPRACompilerResolverException(Optional<ImmutableLexicalPositionType<Path>>, JPRAResolverErrorCode, String) - Constructor for exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

Construct an exception.

JPRACompilerResolverException(Optional<ImmutableLexicalPositionType<Path>>, JPRAResolverErrorCode, Exception) - Constructor for exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

Construct an exception.

JPRACursor1DByteBufferedChecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java

A 1D cursor implementation that addresses values within a ByteBuffer and performs bounds checking.

JPRACursor1DByteBufferedUnchecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java

A 1D cursor implementation that addresses values within a ByteBuffer and does not perform bounds checking.

JPRACursor1DType<T> - Interface in com.io7m.jpra.runtime.java

The type of cursors that address 1D arrays of values of type T.

JPRACursor2DByteBufferedChecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java

A 2D cursor implementation that addresses values within a ByteBuffer and performs bounds checking.

JPRACursor2DByteBufferedUnchecked<T extends JPRAValueType> - Class in com.io7m.jpra.runtime.java

A 2D cursor implementation that addresses values within a ByteBuffer and does not perform bounds checking.

JPRACursor2DType<T> - Interface in com.io7m.jpra.runtime.java

The type of cursors that address 2D arrays of values of type T.

JPRACursorByteReadableType - Interface in com.io7m.jpra.runtime.java

The type of cursors that expose byte offsets.

JPRACursorType<T> - Interface in com.io7m.jpra.runtime.java

The type of cursors that address elements of type T.

JPRADriver - Class in com.io7m.jpra.compiler.core.driver

Default implementation of the JPRADriverType interface.

JPRADriverType - Interface in com.io7m.jpra.compiler.core.driver

The type of non-interactive compiler drivers.

JPRAException - Exception in com.io7m.jpra.core

The root type of exceptions.

JPRAException(String) - Constructor for exception com.io7m.jpra.core.JPRAException

Construct an exception.

JPRAException(Throwable) - Constructor for exception com.io7m.jpra.core.JPRAException

Construct an exception.

JPRAException(String, Throwable) - Constructor for exception com.io7m.jpra.core.JPRAException

Construct an exception.

JPRAFloatType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType

JPRAIntegerSignedNormalizedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType

JPRAIntegerSignedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType

JPRAIntegerUnsignedNormalizedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType

JPRAIntegerUnsignedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType

JPRAIOException - Exception in com.io7m.jpra.core

Wrapper exception for I/O exceptions.

JPRAIOException(IOException) - Constructor for exception com.io7m.jpra.core.JPRAIOException

Construct an exception.

JPRAJavaGenerator - Class in com.io7m.jpra.compiler.java

The default implementation of the JPRAJavaGeneratorType interface.

JPRAJavaGeneratorType - Interface in com.io7m.jpra.compiler.java

The type of Java source code generators.

JPRAJavaWriter - Class in com.io7m.jpra.compiler.java

The default implementation of the JPRAJavaWriterType interface.

JPRAJavaWriterType - Interface in com.io7m.jpra.compiler.java

The type of Java serializers.

JPRAMasks - Class in com.io7m.jpra.compiler.java

Functions to create bit masks.

JPRAMatrixType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAMatrixType

JPRAModelCircularImportException - Exception in com.io7m.jpra.model.loading

An exception encountered due to a circular import.

JPRAModelCircularImportException(String, ImmutableList<PackageImport>) - Constructor for exception com.io7m.jpra.model.loading.JPRAModelCircularImportException

Construct a type_model loading exception.

JPRAModelLoadingException - Exception in com.io7m.jpra.model.loading

The type of type_model loading exceptions.

JPRAModelLoadingException(String) - Constructor for exception com.io7m.jpra.model.loading.JPRAModelLoadingException

Construct a type_model loading exception.

JPRAPackageLoaderType - Interface in com.io7m.jpra.model.loading

The type of functions that take fully qualified package names and yield packages.

JPRAParseErrorCode - Enum in com.io7m.jpra.compiler.core.parser

The set of parser error codes.

JPRAParser - Class in com.io7m.jpra.compiler.core.parser

The default implementation of the JPRAParserType interface.

JPRAParserType - Interface in com.io7m.jpra.compiler.core.parser

The type of parsers.

JPRAPipeline - Class in com.io7m.jpra.compiler.core.pipeline

Default implementation of the JPRAPipelineType interface.

JPRAPipelineType - Interface in com.io7m.jpra.compiler.core.pipeline

A pipeline that attaches together a parser, resolver, and type-checker.

JPRAProblemFormatter - Class in com.io7m.jpra.compiler.core

Default implementation of the JPRAProblemFormatterType interface.

JPRAProblemFormatterType - Interface in com.io7m.jpra.compiler.core

The type of formatters that produce friendly error messages for compiler exceptions.

JPRAReferenceParser - Class in com.io7m.jpra.compiler.core.parser

The default implementation of the JPRAReferenceParserType interface.

JPRAReferenceParserType - Interface in com.io7m.jpra.compiler.core.parser

The type of name reference parsers.

JPRAResolver - Class in com.io7m.jpra.compiler.core.resolver

The default implementation of the JPRAResolverType interface.

JPRAResolverErrorCode - Enum in com.io7m.jpra.compiler.core.resolver

Name resolver error codes.

JPRAResolverType - Interface in com.io7m.jpra.compiler.core.resolver

The type of name resolvers.

JPRAStringCursorByteBuffered - Class in com.io7m.jpra.runtime.java

An implementation of the JPRAStringCursorType that accesses an underlying ByteBuffer.

JPRAStringCursorReadableType - Interface in com.io7m.jpra.runtime.java

The type of read-only pointers to strings.

JPRAStringCursorType - Interface in com.io7m.jpra.runtime.java

The type of readable and writable strings.

JPRAStringCursorWritableType - Interface in com.io7m.jpra.runtime.java

The type of pointers to writable strings

JPRAStringTruncation - Enum in com.io7m.jpra.runtime.java

Behaviour for string truncation.

JPRAStringType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAStringType

JPRAStyleType - Annotation Type in com.io7m.jpra.runtime.java

Style settings for generated immutable types.

JPRATypeModel - Class in com.io7m.jpra.runtime.java

JPRATypeModel contains immutable implementation classes generated from abstract value types defined as nested inside JPRATypeModelType.

JPRATypeModel.JPRAArray - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAArrayType.

JPRATypeModel.JPRABooleanSet - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRABooleanSetType.

JPRATypeModel.JPRAFloat - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAFloatType.

JPRATypeModel.JPRAIntegerSigned - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAIntegerSignedType.

JPRATypeModel.JPRAIntegerSignedNormalized - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAIntegerSignedNormalizedType.

JPRATypeModel.JPRAIntegerUnsigned - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAIntegerUnsignedType.

JPRATypeModel.JPRAIntegerUnsignedNormalized - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAIntegerUnsignedNormalizedType.

JPRATypeModel.JPRAMatrix - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAMatrixType.

JPRATypeModel.JPRAString - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAStringType.

JPRATypeModel.JPRAUserDefined - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAUserDefinedType.

JPRATypeModel.JPRAVector - Class in com.io7m.jpra.runtime.java

Immutable implementation of JPRATypeModelType.JPRAVectorType.

JPRATypeModelType - Interface in com.io7m.jpra.runtime.java

The run-time jpra type model.

JPRATypeModelType.JPRAArrayType - Class in com.io7m.jpra.runtime.java

The type of jpra array types.

JPRATypeModelType.JPRABooleanSetType - Class in com.io7m.jpra.runtime.java

The type of jpra string types.

JPRATypeModelType.JPRAFloatType - Class in com.io7m.jpra.runtime.java

The type of jpra float types.

JPRATypeModelType.JPRAIntegerSignedNormalizedType - Class in com.io7m.jpra.runtime.java

The type of jpra signed normalized integer types.

JPRATypeModelType.JPRAIntegerSignedType - Class in com.io7m.jpra.runtime.java

The type of jpra signed integer types.

JPRATypeModelType.JPRAIntegerUnsignedNormalizedType - Class in com.io7m.jpra.runtime.java

The type of jpra unsigned normalized integer types.

JPRATypeModelType.JPRAIntegerUnsignedType - Class in com.io7m.jpra.runtime.java

The type of jpra unsigned integer types.

JPRATypeModelType.JPRAMatrixType - Class in com.io7m.jpra.runtime.java

The type of jpra matrix types.

JPRATypeModelType.JPRAScalarMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.runtime.java

The type of jpra scalar type matchers.

JPRATypeModelType.JPRAScalarType - Interface in com.io7m.jpra.runtime.java

The type of jpra scalar types.

JPRATypeModelType.JPRAStringType - Class in com.io7m.jpra.runtime.java

The type of jpra string types.

JPRATypeModelType.JPRATypeMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.runtime.java

The type of jpra type matchers.

JPRATypeModelType.JPRATypeType - Interface in com.io7m.jpra.runtime.java

The type of jpra types.

JPRATypeModelType.JPRAUserDefinedType - Class in com.io7m.jpra.runtime.java

The type of jpra user-defined types.

JPRATypeModelType.JPRAVectorType - Class in com.io7m.jpra.runtime.java

The type of jpra vector types.

JPRAUserDefinedType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType

JPRAValueByteBufferedConstructorType<T extends JPRAValueType> - Interface in com.io7m.jpra.runtime.java

The type of constructors that yield ByteBuffer-backed values.

JPRAValueType - Interface in com.io7m.jpra.runtime.java

The type of values.

JPRAVectorType() - Constructor for class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType

L

length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

length() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

loadPackage(PackageNameQualified) - Method in class com.io7m.jpra.model.contexts.GlobalContexts

loadPackage(PackageNameQualified) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

Load and return a package into the context.

M

Main - Class in com.io7m.jpra.compiler.frontend

Main command line program.

main(String[]) - Static method in class com.io7m.jpra.compiler.frontend.Main

Main entry point.

Main.CommandCheck - Class in com.io7m.jpra.compiler.frontend

A check command.

Main.CommandGenerateJava - Class in com.io7m.jpra.compiler.frontend

A generate-java command.

matchArray(TArray) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchArray(TArray) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchArray(TArray) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match an array type.

matchBooleanSet(TBooleanSet) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchBooleanSet(TBooleanSet) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchBooleanSet(TypeExprBooleanSet<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a boolean-set expression.

matchBooleanSet(TBooleanSet) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a boolean-set type.

matchConstant(SizeExprConstant<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType

Match an expression.

matchExprArray(TypeExprArray<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match an array expression.

matchExprFloat(TypeExprFloat<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a float expression.

matchExprIntegerSigned(TypeExprIntegerSigned<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match an integer signed expression.

matchExprIntegerSignedNormalized(TypeExprIntegerSignedNormalized<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match an integer signed-normalized expression.

matchExprIntegerUnsigned(TypeExprIntegerUnsigned<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match an integer unsigned expression.

matchExprIntegerUnsignedNormalized(TypeExprIntegerUnsignedNormalized<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match an integer unsigned-normalized expression.

matchExprMatrix(TypeExprMatrix<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a matrix expression.

matchExprString(TypeExprString<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a string expression.

matchExprVector(TypeExprVector<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a vector expression.

matchField(TPacked.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

matchField(TPacked.FieldMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TPacked.FieldType

Accept a matcher.

matchField(TPacked.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

matchField(TRecord.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

matchField(TRecord.FieldMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TRecord.FieldType

Accept a matcher.

matchField(TRecord.FieldMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

matchFieldPaddingBits(TPacked.FieldPaddingBits) - Method in interface com.io7m.jpra.model.types.TPacked.FieldMatcherType

Match a padding field.

matchFieldPaddingOctets(TRecord.FieldPaddingOctets) - Method in interface com.io7m.jpra.model.types.TRecord.FieldMatcherType

Match a padding field.

matchFieldValue(TPacked.FieldValue) - Method in interface com.io7m.jpra.model.types.TPacked.FieldMatcherType

Match a value field.

matchFieldValue(TRecord.FieldValue) - Method in interface com.io7m.jpra.model.types.TRecord.FieldMatcherType

Match a value field.

matchFloat(TFloat) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchFloat(TFloat) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchFloat(TFloat) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a float type.

matchInBits(SizeExprInBits<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType

Match an expression.

matchInOctets(SizeExprInOctets<I, T>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprMatcherType

Match an expression.

matchInteger(TIntegerType) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchInteger(TIntegerType) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchInteger(TIntegerType) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match an integer type.

matchIntegerSigned(TIntegerSigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchIntegerSigned(TIntegerSigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchIntegerSigned(TIntegerSigned) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType

Match a signed type expression.

matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchIntegerSignedNormalized(TIntegerSignedNormalized) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType

Match an signed-normalized type expression.

matchIntegerUnsigned(TIntegerUnsigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchIntegerUnsigned(TIntegerUnsigned) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchIntegerUnsigned(TIntegerUnsigned) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType

Match an unsigned type expression.

matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchIntegerUnsignedNormalized(TIntegerUnsignedNormalized) - Method in interface com.io7m.jpra.model.types.TypeIntegerMatcherType

Match an unsigned-normalized type expression.

matchMatrix(TMatrix) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchMatrix(TMatrix) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchMatrix(TMatrix) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a matrix type.

matchName(TypeExprName<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a name expression.

matchPackageBegin(StatementPackageBegin<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match a package-begin statement.

matchPackageEnd(StatementPackageEnd<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match a package-end statement.

matchPackageImport(StatementPackageImport<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match an import statement.

matchPacked(TPacked) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchPacked(TPacked) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchPacked(TypeDeclPacked<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclMatcherType

Match a type declaration.

matchPacked(TPacked) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a packed type.

matchPacked(TPacked) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedMatcherType

Match a packed type.

matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits

matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclType

Accept a matcher.

matchPackedFieldDeclaration(PackedFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

matchPadding(RecordFieldDeclPaddingOctets<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclMatcherType

Match a field.

matchPaddingBits(PackedFieldDeclPaddingBits<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclMatcherType

Match a field.

matchRecord(TRecord) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchRecord(TRecord) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchRecord(TypeDeclRecord<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclMatcherType

Match a type declaration.

matchRecord(TRecord) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a record type.

matchRecord(TRecord) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedMatcherType

Match an record type.

matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets

matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclType

Accept a field matcher.

matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType

matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A, E>) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarType

matchScalarFloat(TFloat) - Method in interface com.io7m.jpra.model.types.TypeScalarMatcherType

Match a float type.

matchScalarInteger(TIntegerType) - Method in interface com.io7m.jpra.model.types.TypeScalarMatcherType

Match an integer type.

matchShowSize(StatementCommandSize<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match a :size command.

matchShowType(StatementCommandType<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match a :type command.

matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant

matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprInBits

matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.size_expressions.SizeExprInOctets

matchSizeExpression(SizeExprMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.size_expressions.SizeExprType

Accept a matcher.

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementCommandSize

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementCommandType

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageBegin

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageEnd

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.statements.StatementPackageImport

matchStatement(StatementMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.statements.StatementType

Accept a matcher.

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

matchStatement(StatementMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

matchString(TString) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchString(TString) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchString(TString) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a string type.

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprArray

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprFloat

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprMatrix

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprName

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprString

matchType(TypeExprMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprType

Accept a matcher.

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

matchType(TypeExprMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_expressions.TypeExprVector

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TArray

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TBooleanSet

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TFloat

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TMatrix

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TString

matchType(TypeMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TType

Accept a matcher.

matchType(TypeMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TVector

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAArrayType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRABooleanSetType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedNormalizedType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAMatrixType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAStringType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType

matchType(JPRATypeModelType.JPRATypeMatcherType<A, E>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAVectorType

matchTypeDecl(TypeDeclType<I, T>) - Method in interface com.io7m.jpra.model.statements.StatementMatcherType

Match a type declaration statement.

matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclPacked

matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in class com.io7m.jpra.model.type_declarations.TypeDeclRecord

matchTypeDeclaration(TypeDeclMatcherType<I, T, A, E>) - Method in interface com.io7m.jpra.model.type_declarations.TypeDeclType

Accept a type declaration matcher.

matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned

matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TIntegerType

Accept a matcher.

matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

matchTypeInteger(TypeIntegerMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in class com.io7m.jpra.model.types.TRecords.TypeLookupFailed

matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in class com.io7m.jpra.model.types.TRecords.TypeLookupSucceeded

matchTypeLookup(PartialFunctionType<TRecords.TypeLookupSucceeded, A, E>, PartialFunctionType<TRecords.TypeLookupFailed, A, E>) - Method in interface com.io7m.jpra.model.types.TRecords.TypeLookupType

Evaluate functions to inspect the lookup result.

matchTypeOfField(TypeExprTypeOfField<I, T>) - Method in interface com.io7m.jpra.model.type_expressions.TypeExprMatcherType

Match a type-of expression.

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TFloat

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSigned

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

matchTypeScalar(TypeScalarMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TypeScalarType

Accept a matcher.

matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TPacked

matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in class com.io7m.jpra.model.types.TRecord

matchTypeUserDefined(TypeUserDefinedMatcherType<A, E>) - Method in interface com.io7m.jpra.model.types.TypeUserDefinedType

Accept a matcher.

matchValue(PackedFieldDeclValue<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.PackedFieldDeclMatcherType

Match a field.

matchValue(RecordFieldDeclValue<I, T>) - Method in interface com.io7m.jpra.model.type_declarations.RecordFieldDeclMatcherType

Match a field.

matchVector(TVector) - Method in class com.io7m.jpra.compiler.java.PackedFieldImplementationProcessor

matchVector(TVector) - Method in class com.io7m.jpra.compiler.java.PackedFieldInterfaceProcessor

matchVector(TVector) - Method in interface com.io7m.jpra.model.types.TypeMatcherType

Match a vector type.

matrixFloatSizeNotSupported(TFloat, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

matrixIntegerSizeNotSupported(TIntegerType, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

matrixNonScalarElement(TypeExprMatrix<IdentifierType, Untyped>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

matrixNotSupported(TypeExprMatrix<IdentifierType, Untyped>, BigInteger, BigInteger, ImmutableList<Pair<RangeInclusiveB, RangeInclusiveB>>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

ModelElementType - Interface in com.io7m.jpra.model

A marker interface indicating that something is an element of the type_model.

N

name(PackedFieldDeclType<I, T>) - Static method in class com.io7m.jpra.model.type_declarations.PackedFieldDecl

name(RecordFieldDeclType<I, T>) - Static method in class com.io7m.jpra.model.type_declarations.RecordFieldDecl

nestedPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

newBuilder(PackageContextType, IdentifierType, TypeName) - Static method in class com.io7m.jpra.model.types.TPacked

Construct a new mutable record builder.

newBuilder(PackageContextType, IdentifierType, TypeName) - Static method in class com.io7m.jpra.model.types.TRecord

Construct a new mutable record builder.

newCapabilities() - Static method in class com.io7m.jpra.compiler.core.checker.JPRACheckerStandardCapabilities

newChecker(GlobalContextType, JPRACheckerCapabilitiesType) - Static method in class com.io7m.jpra.compiler.core.checker.JPRAChecker

newContext(JPRAPackageLoaderType) - Static method in class com.io7m.jpra.model.contexts.GlobalContexts

newCursor(ByteBuffer, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

Construct a new cursor, assuming that the given buffer contains elements of type T.

newCursor(ByteBuffer, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

Construct a new cursor, assuming that the given buffer contains elements of type T.

newCursor(ByteBuffer, int, int, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

Construct a new cursor, assuming that the given buffer contains a width * height region of elements of type T.

newCursor(ByteBuffer, int, int, JPRAValueByteBufferedConstructorType<T>) - Static method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

Construct a new cursor, assuming that the given buffer contains a width * height region of elements of type T.

newDriver(Path, JPRACheckerCapabilitiesType) - Static method in class com.io7m.jpra.compiler.core.driver.JPRADriver

Construct a new driver.

newFormatter() - Static method in class com.io7m.jpra.compiler.core.JPRAProblemFormatter

newGenerator() - Static method in class com.io7m.jpra.compiler.java.JPRAJavaGenerator

newParser(JSXSerializerType, JPRAReferenceParserType) - Static method in class com.io7m.jpra.compiler.core.parser.JPRAParser

newParser(JSXSerializerType) - Static method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser

newPipeline(JPRAParserType, JPRAResolverType, JPRACheckerType) - Static method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline

Construct a new pipeline.

newResolver(GlobalContextType, Optional<PackageNameQualified>) - Static method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

Create a new resolver.

newString(ByteBuffer, int, JPRACursorByteReadableType, Charset, int) - Static method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

Construct a new string pointer.

newWriter(JPRAJavaGeneratorType) - Static method in class com.io7m.jpra.compiler.java.JPRAJavaWriter

noCurrentPackage(Optional<ImmutableLexicalPositionType<Path>>) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

nonexistentPackage(PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

nonexistentPackageReference(PackageNameUnqualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

nonexistentType(Optional<PackageNameQualified>, TypeName) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

O

of(PackageNameUnqualified...) - Static method in class com.io7m.jpra.model.names.PackageNameQualified

Construct a name from the given segments.

of(String) - Static method in class com.io7m.jpra.model.names.PackageNameUnqualified

Construct a name.

of(int, JPRATypeModelType.JPRATypeType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Construct a new immutable JPRAArray instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

Construct a new immutable JPRABooleanSet instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

Construct a new immutable JPRAFloat instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

Construct a new immutable JPRAIntegerSigned instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Construct a new immutable JPRAIntegerSignedNormalized instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

Construct a new immutable JPRAIntegerUnsigned instance.

of(int) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

Construct a new immutable JPRAIntegerUnsignedNormalized instance.

of(int, int, JPRATypeModelType.JPRAScalarType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Construct a new immutable JPRAMatrix instance.

of(int, String) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Construct a new immutable JPRAString instance.

of(Class<? extends JPRAValueType>) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

Construct a new immutable JPRAUserDefined instance.

of(int, JPRATypeModelType.JPRAScalarType) - Static method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Construct a new immutable JPRAVector instance.

ofList(ImmutableList<FieldName>) - Static method in class com.io7m.jpra.model.names.FieldPath

Construct a field path from a non-empty list of path elements.

onArray(JPRATypeModelType.JPRAArrayType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match an array type.

onBooleanSet(JPRATypeModelType.JPRABooleanSetType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a boolean-set type.

onEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline

onEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.pipeline.JPRAPipelineType

EOF was received.

onExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.pipeline.JPRAPipeline

onExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.pipeline.JPRAPipelineType

An expression was received.

onFloat(JPRATypeModelType.JPRAFloatType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType

Match a float type.

onIntegerSigned(JPRATypeModelType.JPRAIntegerSignedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType

Match a signed integer type.

onIntegerSignedNormalized(JPRATypeModelType.JPRAIntegerSignedNormalizedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType

Match a signed normalized integer type.

onIntegerUnsigned(JPRATypeModelType.JPRAIntegerUnsignedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType

Match an unsigned integer type.

onIntegerUnsignedNormalized(JPRATypeModelType.JPRAIntegerUnsignedNormalizedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarMatcherType

Match an unsigned normalized integer type.

onJPRAException(OutputStream, JPRAException) - Method in class com.io7m.jpra.compiler.core.JPRAProblemFormatter

onJPRAException(OutputStream, JPRAException) - Method in interface com.io7m.jpra.compiler.core.JPRAProblemFormatterType

Format a message to os based on e.

onMatrix(JPRATypeModelType.JPRAMatrixType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a matrix type.

onScalar(JPRATypeModelType.JPRAScalarType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a scalar type.

onString(JPRATypeModelType.JPRAStringType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a string type.

onUserDefined(JPRATypeModelType.JPRAUserDefinedType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a user-defined type.

onVector(JPRATypeModelType.JPRAVectorType) - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeMatcherType

Match a vector type.

P

PackageContextType - Interface in com.io7m.jpra.model.contexts

The context of a specific package

PackageImport - Class in com.io7m.jpra.model

A package import declaration.

PackageImport(PackageNameQualified, PackageNameQualified) - Constructor for class com.io7m.jpra.model.PackageImport

Construct a package import declaration.

packageImportConflict(PackageNameUnqualified, PackageNameUnqualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

PackageNameQualified - Class in com.io7m.jpra.model.names

A fully qualified package name.

PackageNameQualified(ImmutableList<PackageNameUnqualified>) - Constructor for class com.io7m.jpra.model.names.PackageNameQualified

Construct a name.

PackageNameUnqualified - Class in com.io7m.jpra.model.names

An unqualified package name.

PackageNameUnqualified(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.PackageNameUnqualified

Construct a package name.

PackedFieldDecl - Class in com.io7m.jpra.model.type_declarations

Functions over field declaration for packed types.

PackedFieldDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations

A packed field declaration matcher.

PackedFieldDeclPaddingBits<I,T> - Class in com.io7m.jpra.model.type_declarations

A packed type field that specifies a number of padding bits.

PackedFieldDeclPaddingBits(Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.PackedFieldDeclPaddingBits

Construct a packed field declaration.

PackedFieldDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations

The type of field declarations for packed types.

PackedFieldDeclValue<I,T> - Class in com.io7m.jpra.model.type_declarations

A field declaration in a packed type.

PackedFieldDeclValue(I, FieldName, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.PackedFieldDeclValue

Construct a field declaration.

PackedFieldImplementationProcessor - Class in com.io7m.jpra.compiler.java

A type matcher that produces implementation methods for a given packed field.

PackedFieldInterfaceProcessor - Class in com.io7m.jpra.compiler.java

A type matcher that produces interface methods for packed fields.

packedNonIntegerType(PackedFieldDeclValue<IdentifierType, Untyped>, TypeExprType<IdentifierType, TType>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

packedSizeNotSupported(TypeName, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

paddingSizeInvalid(Optional<ImmutableLexicalPositionType<Path>>, BigInteger) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

The size of a padding field was invalid.

parseEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser

parseEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType

EOF has been encountered.

parseFieldReference(SExpressionSymbolType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser

parseFieldReference(SExpressionSymbolType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAReferenceParserType

Parse a field reference.

parseSizeExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser

parseSizeExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType

Parse a size expression.

parseStatement(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser

parseStatement(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType

Parse a statement.

parseTypeExpression(SExpressionType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAParser

parseTypeExpression(SExpressionType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAParserType

Parse a type expression.

parseTypeReference(SExpressionSymbolType) - Method in class com.io7m.jpra.compiler.core.parser.JPRAReferenceParser

parseTypeReference(SExpressionSymbolType) - Method in interface com.io7m.jpra.compiler.core.parser.JPRAReferenceParserType

Parse a type reference.

PATTERN - Static variable in class com.io7m.jpra.model.names.FieldName

The pattern that defines a valid field name.

PATTERN - Static variable in class com.io7m.jpra.model.names.PackageNameUnqualified

The pattern that defines a valid package name.

PATTERN - Static variable in class com.io7m.jpra.model.names.TypeName

The pattern that defines a valid type name.

putType(TypeUserDefinedType) - Method in class com.io7m.jpra.model.contexts.GlobalContexts

putType(TypeUserDefinedType) - Method in interface com.io7m.jpra.model.contexts.GlobalContextType

Introduce a new type into the global context

R

RecordFieldDecl - Class in com.io7m.jpra.model.type_declarations

Functions over record field declarations.

RecordFieldDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations

A record field declaration matcher.

RecordFieldDeclPaddingOctets<I,T> - Class in com.io7m.jpra.model.type_declarations

A record field declaration that specifies a number of padding octets.

RecordFieldDeclPaddingOctets(Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.RecordFieldDeclPaddingOctets

Construct a field declaration.

RecordFieldDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations

The type of record field declarations.

RecordFieldDeclValue<I,T> - Class in com.io7m.jpra.model.type_declarations

A record field declaration.

RecordFieldDeclValue(I, FieldName, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_declarations.RecordFieldDeclValue

Construct a field declaration.

resolveCommandType(StatementCommandType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveCommandType(StatementCommandType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a :type command.

resolveEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveEOF(Optional<ImmutableLexicalPositionType<Path>>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

EOF has been encountered.

resolveGetCurrentPackage() - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveGetCurrentPackage() - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

resolveGetCurrentTypes() - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveGetCurrentTypes() - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

resolvePackageBegin(StatementPackageBegin<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolvePackageBegin(StatementPackageBegin<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a package begin statement.

resolvePackageEnd(StatementPackageEnd<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolvePackageEnd(StatementPackageEnd<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a package end statement.

resolvePackageImport(StatementPackageImport<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolvePackageImport(StatementPackageImport<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a package import statement.

resolveSizeExpression(SizeExprType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveSizeExpression(SizeExprType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a size expression.

resolveTypeDeclaration(TypeDeclType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveTypeDeclaration(TypeDeclType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a type declaration.

resolveTypeExpression(TypeExprType<Unresolved, Untyped>) - Method in class com.io7m.jpra.compiler.core.resolver.JPRAResolver

resolveTypeExpression(TypeExprType<Unresolved, Untyped>) - Method in interface com.io7m.jpra.compiler.core.resolver.JPRAResolverType

Resolve a type expression.

run() - Method in class com.io7m.jpra.compiler.frontend.Main.CommandCheck

run() - Method in class com.io7m.jpra.compiler.frontend.Main.CommandGenerateJava

S

setElementIndex(int) - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

setElementIndex(int) - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

setElementIndex(int) - Method in interface com.io7m.jpra.runtime.java.JPRACursor1DType

Point the cursor at element index of the array.

setElementPosition(int, int) - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

setElementPosition(int, int) - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

setElementPosition(int, int) - Method in interface com.io7m.jpra.runtime.java.JPRACursor2DType

Point the cursor at element (x, y) of the array.

setValue(String, JPRAStringTruncation) - Method in class com.io7m.jpra.runtime.java.JPRAStringCursorByteBuffered

setValue(String, JPRAStringTruncation) - Method in interface com.io7m.jpra.runtime.java.JPRAStringCursorWritableType

Set the string value, optionally truncating data based on trunc.

Size<U extends SizeUnitType> - Class in com.io7m.jpra.model.types

A size value.

Size(BigInteger) - Constructor for class com.io7m.jpra.model.types.Size

Construct a size value.

SizeExprConstant<I,T> - Class in com.io7m.jpra.model.size_expressions

A constant size.

SizeExprConstant(Optional<ImmutableLexicalPositionType<Path>>, BigInteger) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprConstant

Construct a size expression.

SizeExprInBits<I,T> - Class in com.io7m.jpra.model.size_expressions

A size function denoting the size in bits of a given type expression.

SizeExprInBits(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprInBits

Construct an expression.

SizeExprInOctets<I,T> - Class in com.io7m.jpra.model.size_expressions

A size function denoting the size in octets of a given type expression.

SizeExprInOctets(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.size_expressions.SizeExprInOctets

Construct an expression.

SizeExprMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.size_expressions

A size expression matcher.

SizeExprType<I,T> - Interface in com.io7m.jpra.model.size_expressions

The type of size expressions.

sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

sizeInBits() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

sizeInBits() - Method in interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAScalarType

sizeInOctets() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

sizeOctets() - Method in interface com.io7m.jpra.runtime.java.JPRAValueType

SizeUnitBitsType - Interface in com.io7m.jpra.model.types

An empty type indicating that a given size value is in bits.

SizeUnitOctetsType - Interface in com.io7m.jpra.model.types

An empty type indicating that a given size value is in octets.

SizeUnitType - Interface in com.io7m.jpra.model.types

An empty type used to indicate the units of size expressions.

StatementCommandSize<I,T> - Class in com.io7m.jpra.model.statements

A :size command.

StatementCommandSize(SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.statements.StatementCommandSize

Construct a size command.

StatementCommandType<I,T> - Class in com.io7m.jpra.model.statements

A :type command.

StatementCommandType(TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.statements.StatementCommandType

Construct a type expression.

StatementMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.statements

A statement matcher.

StatementPackageBegin<I,T> - Class in com.io7m.jpra.model.statements

A package-begin statement.

StatementPackageBegin(PackageNameQualified) - Constructor for class com.io7m.jpra.model.statements.StatementPackageBegin

Construct a statement.

StatementPackageEnd<I,T> - Class in com.io7m.jpra.model.statements

The package-end statement.

StatementPackageEnd(Optional<ImmutableLexicalPositionType<Path>>) - Constructor for class com.io7m.jpra.model.statements.StatementPackageEnd

Construct a statement.

StatementPackageImport<I,T> - Class in com.io7m.jpra.model.statements

The import statement.

StatementPackageImport(PackageNameQualified, PackageNameUnqualified) - Constructor for class com.io7m.jpra.model.statements.StatementPackageImport

Construct a statement.

StatementType<I,T> - Interface in com.io7m.jpra.model.statements

The type of statements.

stringEncodingNotSupported(TypeExprString<IdentifierType, Untyped>, String, ImmutableSet<String>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

syntaxError(SExpressionType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

T

TArray - Class in com.io7m.jpra.model.types

An array type expression.

TArray(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, TType) - Constructor for class com.io7m.jpra.model.types.TArray

Construct an array type expression.

TBooleanSet - Class in com.io7m.jpra.model.types

A boolean-set type.

TBooleanSet(Optional<ImmutableLexicalPositionType<Path>>, ImmutableList<FieldName>, Size<SizeUnitOctetsType>) - Constructor for class com.io7m.jpra.model.types.TBooleanSet

Construct a boolean set type.

TFloat - Class in com.io7m.jpra.model.types

A floating point type expression.

TFloat(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TFloat

Construct a float type expression.

TIntegerSigned - Class in com.io7m.jpra.model.types

A signed integer type expression.

TIntegerSigned(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerSigned

Construct an integer signed type expression.

TIntegerSignedNormalized - Class in com.io7m.jpra.model.types

A signed-normalized type expression.

TIntegerSignedNormalized(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerSignedNormalized

Construct an integer signed-normalized type expression.

TIntegerType - Interface in com.io7m.jpra.model.types

The type of integer types.

TIntegerUnsigned - Class in com.io7m.jpra.model.types

An unsigned integer type expression.

TIntegerUnsigned(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerUnsigned

Construct an integer unsigned type expression.

TIntegerUnsignedNormalized - Class in com.io7m.jpra.model.types

An unsigned-normalized integer type expression.

TIntegerUnsignedNormalized(Optional<ImmutableLexicalPositionType<Path>>, Size<SizeUnitBitsType>) - Constructor for class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

Construct an integer unsigned-normalized type expression.

TMatrix - Class in com.io7m.jpra.model.types

A matrix type expression.

TMatrix(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, Size<?>, TypeScalarType) - Constructor for class com.io7m.jpra.model.types.TMatrix

Construct an integer unsigned type expression.

toBits(Size<SizeUnitOctetsType>) - Static method in class com.io7m.jpra.model.types.Size

toString() - Method in class com.io7m.jpra.model.names.FieldName

toString() - Method in class com.io7m.jpra.model.names.FieldPath

toString() - Method in class com.io7m.jpra.model.names.PackageNameQualified

toString() - Method in class com.io7m.jpra.model.names.PackageNameUnqualified

toString() - Method in class com.io7m.jpra.model.names.TypeName

toString() - Method in class com.io7m.jpra.model.size_expressions.SizeExprConstant

toString() - Method in class com.io7m.jpra.model.types.Size

toString() - Method in class com.io7m.jpra.model.types.TArray

toString() - Method in class com.io7m.jpra.model.types.TIntegerSigned

toString() - Method in class com.io7m.jpra.model.types.TIntegerSignedNormalized

toString() - Method in class com.io7m.jpra.model.types.TIntegerUnsigned

toString() - Method in class com.io7m.jpra.model.types.TIntegerUnsignedNormalized

toString() - Method in class com.io7m.jpra.model.types.TMatrix

toString() - Method in class com.io7m.jpra.model.types.TPacked.FieldPaddingBits

toString() - Method in class com.io7m.jpra.model.types.TPacked.FieldValue

toString() - Method in class com.io7m.jpra.model.types.TPacked

toString() - Method in class com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

toString() - Method in class com.io7m.jpra.model.types.TRecord.FieldValue

toString() - Method in class com.io7m.jpra.model.types.TRecord

toString() - Method in class com.io7m.jpra.model.types.TString

toString() - Method in class com.io7m.jpra.model.types.TVector

toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedChecked

toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor1DByteBufferedUnchecked

toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedChecked

toString() - Method in class com.io7m.jpra.runtime.java.JPRACursor2DByteBufferedUnchecked

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Prints the immutable value JPRAArray... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

Prints the immutable value JPRABooleanSet... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

Prints the immutable value JPRAFloat... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

Prints the immutable value JPRAIntegerSigned... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Prints the immutable value JPRAIntegerSignedNormalized... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

Prints the immutable value JPRAIntegerUnsigned... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

Prints the immutable value JPRAIntegerUnsignedNormalized... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Prints the immutable value JPRAMatrix... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Prints the immutable value JPRAString... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

Prints the immutable value JPRAUserDefined... with all non-generated and non-auxiliary attribute values.

toString() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Prints the immutable value JPRAVector... with all non-generated and non-auxiliary attribute values.

TPacked - Class in com.io7m.jpra.model.types

A packed type.

TPacked.FieldMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

The type of field matchers.

TPacked.FieldPaddingBits - Class in com.io7m.jpra.model.types

A packed padding field.

TPacked.FieldType - Interface in com.io7m.jpra.model.types

The type of packed fields.

TPacked.FieldValue - Class in com.io7m.jpra.model.types

A packed value field.

TPackedBuilderType - Interface in com.io7m.jpra.model.types

The type of mutable records for TPacked values.

TRecord - Class in com.io7m.jpra.model.types

A record type.

TRecord.FieldMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

The type of field matchers.

TRecord.FieldPaddingOctets - Class in com.io7m.jpra.model.types

A record padding field.

TRecord.FieldType - Interface in com.io7m.jpra.model.types

The type of record fields.

TRecord.FieldValue - Class in com.io7m.jpra.model.types

A record value field.

TRecordBuilderType - Interface in com.io7m.jpra.model.types

The type of mutable records for TRecord values.

TRecords - Class in com.io7m.jpra.model.types

Functions over record types.

TRecords.TypeLookupFailed - Class in com.io7m.jpra.model.types

The type of lookup failures.

TRecords.TypeLookupSucceeded - Class in com.io7m.jpra.model.types

The type of successful lookups.

TRecords.TypeLookupType - Interface in com.io7m.jpra.model.types

The type of lookup results.

TString - Class in com.io7m.jpra.model.types

A string type expression.

TString(Optional<ImmutableLexicalPositionType<Path>>, String, Size<SizeUnitOctetsType>) - Constructor for class com.io7m.jpra.model.types.TString

Construct an expression.

TType - Interface in com.io7m.jpra.model.types

The type of types.

TVector - Class in com.io7m.jpra.model.types

A vector type expression.

TVector(Optional<ImmutableLexicalPositionType<Path>>, Size<?>, TypeScalarType) - Constructor for class com.io7m.jpra.model.types.TVector

Construct a type expression.

type() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

TypeDeclMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_declarations

A type declaration matcher.

TypeDeclPacked<I,T> - Class in com.io7m.jpra.model.type_declarations

A packed type declaration.

TypeDeclPacked(I, T, ImmutableMap<FieldName, PackedFieldDeclValue<I, T>>, TypeName, ImmutableList<PackedFieldDeclType<I, T>>) - Constructor for class com.io7m.jpra.model.type_declarations.TypeDeclPacked

Construct a type declaration.

TypeDeclRecord<I,T> - Class in com.io7m.jpra.model.type_declarations

A record type declaration.

TypeDeclRecord(I, T, ImmutableMap<FieldName, RecordFieldDeclValue<I, T>>, TypeName, ImmutableList<RecordFieldDeclType<I, T>>) - Constructor for class com.io7m.jpra.model.type_declarations.TypeDeclRecord

Construct a declaration.

TypeDeclType<I,T> - Interface in com.io7m.jpra.model.type_declarations

The type of type declarations.

TypeExprArray<I,T> - Class in com.io7m.jpra.model.type_expressions

An array type expression.

TypeExprArray(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprArray

Construct an expression.

TypeExprBooleanSet<I,T> - Class in com.io7m.jpra.model.type_expressions

A boolean-set type expression.

TypeExprBooleanSet(T, Optional<ImmutableLexicalPositionType<Path>>, ImmutableList<FieldName>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprBooleanSet

Construct a type expression.

TypeExprFloat<I,T> - Class in com.io7m.jpra.model.type_expressions

A float type expression.

TypeExprFloat(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprFloat

Construct an expression.

TypeExprIntegerSigned<I,T> - Class in com.io7m.jpra.model.type_expressions

An integer signed type expression.

TypeExprIntegerSigned(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerSigned

Construct an expression.

TypeExprIntegerSignedNormalized<I,T> - Class in com.io7m.jpra.model.type_expressions

An integer signed-normalized type expression.

TypeExprIntegerSignedNormalized(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerSignedNormalized

Construct an expression.

TypeExprIntegerUnsigned<I,T> - Class in com.io7m.jpra.model.type_expressions

An integer unsigned type expression.

TypeExprIntegerUnsigned(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsigned

Construct an expression.

TypeExprIntegerUnsignedNormalized<I,T> - Class in com.io7m.jpra.model.type_expressions

An integer unsigned-normalized type expression.

TypeExprIntegerUnsignedNormalized(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprIntegerUnsignedNormalized

Construct an expression.

TypeExprMatcherType<I,T,A,E extends Exception> - Interface in com.io7m.jpra.model.type_expressions

The type of type expression matchers.

TypeExprMatrix<I,T> - Class in com.io7m.jpra.model.type_expressions

A matrix type expression.

TypeExprMatrix(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprMatrix

Construct an expression.

TypeExprName<I,T> - Class in com.io7m.jpra.model.type_expressions

A name.

TypeExprName(I, T, TypeReference) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprName

Construct an expression.

TypeExprString<I,T> - Class in com.io7m.jpra.model.type_expressions

A string type expression.

TypeExprString(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, String) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprString

Construct an expression.

TypeExprType<I,T> - Interface in com.io7m.jpra.model.type_expressions

The type of type expressions.

TypeExprTypeOfField<I,T> - Class in com.io7m.jpra.model.type_expressions

A type-of type expression.

TypeExprTypeOfField(I, T, FieldReference) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprTypeOfField

Construct an expression.

TypeExprVector<I,T> - Class in com.io7m.jpra.model.type_expressions

A vector type expression.

TypeExprVector(T, Optional<ImmutableLexicalPositionType<Path>>, SizeExprType<I, T>, TypeExprType<I, T>) - Constructor for class com.io7m.jpra.model.type_expressions.TypeExprVector

Construct an expression.

typeForFieldPath(TRecord, FieldPath) - Static method in class com.io7m.jpra.model.types.TRecords

Lookup a type based on a field path.

TypeIntegerMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

The type of integer type expression matchers.

TypeLookupFailed(TType, FieldName, ImmutableList<FieldName>) - Constructor for class com.io7m.jpra.model.types.TRecords.TypeLookupFailed

Construct a failure.

TypeLookupSucceeded(TType) - Constructor for class com.io7m.jpra.model.types.TRecords.TypeLookupSucceeded

Construct a success result.

TypeMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

A type matcher.

TypeName - Class in com.io7m.jpra.model.names

A type name.

TypeName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.TypeName

Construct a type name.

TypeReference - Class in com.io7m.jpra.model.names

A reference to a type by name.

TypeReference(Optional<PackageNameUnqualified>, TypeName) - Constructor for class com.io7m.jpra.model.names.TypeReference

Construct a reference.

TypeScalarMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

The type of scalar type matchers.

TypeScalarType - Interface in com.io7m.jpra.model.types

The type scalar types.

TypeUserDefinedMatcherType<A,E extends Exception> - Interface in com.io7m.jpra.model.types

The type of user-defined type matchers.

TypeUserDefinedType - Interface in com.io7m.jpra.model.types

The type of user defined types.

U

unexpectedEOF(Optional<ImmutableLexicalPositionType<Path>>) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

unexpectedPackage(PackageNameQualified, PackageNameQualified) - Static method in exception com.io7m.jpra.compiler.core.resolver.JPRACompilerResolverException

UnionCaseName - Class in com.io7m.jpra.model.names

The name of a union case.

UnionCaseName(Optional<ImmutableLexicalPositionType<Path>>, String) - Constructor for class com.io7m.jpra.model.names.UnionCaseName

Construct a case name.

unrecognizedIntegerTypeKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

unrecognizedKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

unrecognizedPackedFieldKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

unrecognizedRecordFieldKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

unrecognizedSizeFunction(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

unrecognizedTypeKeyword(SExpressionSymbolType, String) - Static method in exception com.io7m.jpra.compiler.core.parser.JPRACompilerParseException

Unresolved - Class in com.io7m.jpra.model

A type indicating that parsing but no name resolution or type checking has been performed.

Untyped - Class in com.io7m.jpra.model

A type indicating that no type checking has been performed.

V

valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.checker.JPRACheckerErrorCode

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.parser.JPRAParseErrorCode

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum com.io7m.jpra.compiler.core.resolver.JPRAResolverErrorCode

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in class com.io7m.jpra.model.names.PackageNameQualified

Parse a string, yielding a qualified package name.

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

Construct a size value of x units.

valueOf(String) - Static method in enum com.io7m.jpra.runtime.java.JPRAStringTruncation

Returns the enum constant of this type with the specified name.

values() - Static method in enum com.io7m.jpra.compiler.core.checker.JPRACheckerErrorCode

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum com.io7m.jpra.compiler.core.parser.JPRAParseErrorCode

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum com.io7m.jpra.compiler.core.resolver.JPRAResolverErrorCode

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum com.io7m.jpra.runtime.java.JPRAStringTruncation

Returns an array containing the constants of this enum type, in the order they are declared.

vectorFloatSizeNotSupported(TFloat, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

vectorIntegerSizeNotSupported(TIntegerType, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

vectorNonScalarElement(TypeExprVector<IdentifierType, Untyped>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

vectorSizeNotSupported(TypeExprVector<IdentifierType, Untyped>, BigInteger, ImmutableList<RangeInclusiveB>) - Static method in exception com.io7m.jpra.compiler.core.checker.JPRACompilerCheckerException

W

width() - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

withElementType(JPRATypeModelType.JPRATypeType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Copy the current immutable object by setting a value for the elementType attribute.

withElementType(JPRATypeModelType.JPRAScalarType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Copy the current immutable object by setting a value for the elementType attribute.

withElementType(JPRATypeModelType.JPRAScalarType) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Copy the current immutable object by setting a value for the elementType attribute.

withEncoding(String) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Copy the current immutable object by setting a value for the encoding attribute.

withHeight(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Copy the current immutable object by setting a value for the height attribute.

withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAArray

Copy the current immutable object by setting a value for the length attribute.

withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAString

Copy the current immutable object by setting a value for the length attribute.

withLength(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAVector

Copy the current immutable object by setting a value for the length attribute.

withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

Copy the current immutable object by setting a value for the sizeInBits attribute.

withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

Copy the current immutable object by setting a value for the sizeInBits attribute.

withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Copy the current immutable object by setting a value for the sizeInBits attribute.

withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsigned

Copy the current immutable object by setting a value for the sizeInBits attribute.

withSizeInBits(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerUnsignedNormalized

Copy the current immutable object by setting a value for the sizeInBits attribute.

withSizeInOctets(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRABooleanSet

Copy the current immutable object by setting a value for the sizeInOctets attribute.

withType(Class<? extends JPRAValueType>) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAUserDefined

Copy the current immutable object by setting a value for the type attribute.

withWidth(int) - Method in class com.io7m.jpra.runtime.java.JPRATypeModel.JPRAMatrix

Copy the current immutable object by setting a value for the width attribute.

writeType(Path, TypeUserDefinedType) - Method in class com.io7m.jpra.compiler.java.JPRAJavaWriter

writeType(Path, TypeUserDefinedType) - Method in interface com.io7m.jpra.compiler.java.JPRAJavaWriterType

Write the given type to the base directory path.

Z

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

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