Uses of Class
com.io7m.jpra.model.names.TypeName

Packages that use TypeName

Package	Description
com.io7m.jpra.compiler.core.checker	Type checking.
com.io7m.jpra.compiler.core.resolver	Name resolution.
com.io7m.jpra.compiler.java	Java backend for the compiler.
com.io7m.jpra.model.contexts	Context types.
com.io7m.jpra.model.names	Unresolved name types.
com.io7m.jpra.model.type_declarations	Type declarations.
com.io7m.jpra.model.types	Types.

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

Methods in com.io7m.jpra.compiler.core.checker with parameters of type TypeName

Modifier and Type	Method and Description
static JPRACompilerCheckerException	JPRACompilerCheckerException.packedSizeNotSupported(TypeName name, BigInteger size, com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> supported)

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

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

Modifier and Type	Method and Description
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolverType.resolveGetCurrentTypes()
Map<TypeName,TypeDeclType<IdentifierType,Untyped>>	JPRAResolver.resolveGetCurrentTypes()

Methods in com.io7m.jpra.compiler.core.resolver with parameters of type TypeName

Modifier and Type	Method and Description
static JPRACompilerResolverException	JPRACompilerResolverException.duplicateType(TypeName current, TypeName original)
static JPRACompilerResolverException	JPRACompilerResolverException.nonexistentType(Optional<PackageNameQualified> q_name, TypeName t_name)

Uses of TypeName in com.io7m.jpra.compiler.java

Methods in com.io7m.jpra.compiler.java with parameters of type TypeName

Modifier and Type	Method and Description
String	JPRAJavaGeneratorType.getPackedImplementationByteBufferedName(TypeName t)
String	JPRAJavaGenerator.getPackedImplementationByteBufferedName(TypeName t)
String	JPRAJavaGeneratorType.getPackedInterfaceName(TypeName t)
String	JPRAJavaGenerator.getPackedInterfaceName(TypeName t)
String	JPRAJavaGeneratorType.getPackedInterfaceReadableName(TypeName t)
String	JPRAJavaGenerator.getPackedInterfaceReadableName(TypeName t)
String	JPRAJavaGeneratorType.getPackedInterfaceWritableName(TypeName t)
String	JPRAJavaGenerator.getPackedInterfaceWritableName(TypeName t)
String	JPRAJavaGeneratorType.getRecordImplementationByteBufferedName(TypeName t)
String	JPRAJavaGenerator.getRecordImplementationByteBufferedName(TypeName t)
String	JPRAJavaGeneratorType.getRecordInterfaceName(TypeName t)
String	JPRAJavaGenerator.getRecordInterfaceName(TypeName t)
String	JPRAJavaGeneratorType.getRecordInterfaceReadableName(TypeName t)
String	JPRAJavaGenerator.getRecordInterfaceReadableName(TypeName t)
String	JPRAJavaGeneratorType.getRecordInterfaceWritableName(TypeName t)
String	JPRAJavaGenerator.getRecordInterfaceWritableName(TypeName t)

Uses of TypeName in com.io7m.jpra.model.contexts

Methods in com.io7m.jpra.model.contexts that return types with arguments of type TypeName

Modifier and Type	Method and Description
Map<TypeName,TypeUserDefinedType>	PackageContextType.getTypes()

Uses of TypeName in com.io7m.jpra.model.names

Methods in com.io7m.jpra.model.names that return TypeName

Modifier and Type	Method and Description
TypeName	TypeReference.getType()

Methods in com.io7m.jpra.model.names that return types with arguments of type TypeName

Modifier and Type	Method and Description
Optional<TypeName>	FieldReference.getType()

Constructors in com.io7m.jpra.model.names with parameters of type TypeName

Constructor and Description
TypeReference(Optional<PackageNameUnqualified> in_pack, TypeName in_type) Construct a reference.

Constructor parameters in com.io7m.jpra.model.names with type arguments of type TypeName

Constructor and Description
FieldReference(Optional<PackageNameUnqualified> in_pack, Optional<TypeName> in_type, FieldPath in_field_path) Construct a reference.

Uses of TypeName in com.io7m.jpra.model.type_declarations

Methods in com.io7m.jpra.model.type_declarations that return TypeName

Modifier and Type	Method and Description
TypeName	TypeDeclType.getName()
TypeName	TypeDeclRecord.getName()
TypeName	TypeDeclPacked.getName()

Constructors in com.io7m.jpra.model.type_declarations with parameters of type TypeName

Constructor and Description
TypeDeclPacked(I in_identifier, T in_type, com.gs.collections.api.map.ImmutableMap<FieldName,PackedFieldDeclValue<I,T>> in_fields_name, TypeName in_name, com.gs.collections.api.list.ImmutableList<PackedFieldDeclType<I,T>> in_fields_order) Construct a type declaration.
TypeDeclRecord(I in_identifier, T in_type, com.gs.collections.api.map.ImmutableMap<FieldName,RecordFieldDeclValue<I,T>> in_fields_name, TypeName in_name, com.gs.collections.api.list.ImmutableList<RecordFieldDeclType<I,T>> in_fields_order) Construct a declaration.

Uses of TypeName in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types that return TypeName

Modifier and Type	Method and Description
TypeName	TypeUserDefinedType.getName()
TypeName	TRecord.getName()
TypeName	TPacked.getName()

Methods in com.io7m.jpra.model.types with parameters of type TypeName

Modifier and Type	Method and Description
static TRecordBuilderType	TRecord.newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_ident) Construct a new mutable record builder.
static TPackedBuilderType	TPacked.newBuilder(PackageContextType in_package, IdentifierType in_identifier, TypeName in_type_name) Construct a new mutable record builder.