| Package | Description |
|---|---|
| com.io7m.jpra.compiler.core.checker |
Type checking.
|
| com.io7m.jpra.model.types |
Types.
|
| Modifier and Type | Method and Description |
|---|---|
static <T extends SizeUnitType> |
JPRACompilerCheckerException.integerSizeNotSupported(TypeExprType<IdentifierType,Untyped> e,
Size<T> size,
com.gs.collections.api.list.ImmutableList<com.io7m.jranges.RangeInclusiveB> sizes) |
| Modifier and Type | Class and Description |
|---|---|
class |
Size<U extends SizeUnitType>
A size value.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
SizeUnitBitsType
An empty type indicating that a given size value is in bits.
|
interface |
SizeUnitOctetsType
An empty type indicating that a given size value is in octets.
|
| Modifier and Type | Method and Description |
|---|---|
static <U extends SizeUnitType> |
Size.valueOf(long x)
Construct a size value of
x units. |
static <U extends SizeUnitType> |
Size.zero() |
Copyright © 2015 <code@io7m.com> http://io7m.com