How to use

getValue

method

in

com.io7m.jpra.model.types.Size

@Override
public Unit matchIntegerSignedNormalized(
 final TIntegerSignedNormalized t)
{
 return this.onIntegerNormalized(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerSigned(
 final TIntegerSigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerUnsignedNormalized(
 final TIntegerUnsignedNormalized t)
{
 return this.onIntegerNormalized(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerUnsignedNormalized(
 final TIntegerUnsignedNormalized t)
{
 return this.onIntegerNormalized(t.getSizeInBits().getValue(), false);
}

@Override
public Unit matchIntegerSigned(final TIntegerSigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerUnsigned(final TIntegerUnsigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerSignedNormalized(
 final TIntegerSignedNormalized t)
{
 return this.onIntegerNormalized(t.getSizeInBits().getValue(), true);
}

@Override
public Unit matchIntegerUnsigned(
 final TIntegerUnsigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerUnsigned(
 final TIntegerUnsigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerSigned(
 final TIntegerSigned t)
{
 return this.onInteger(t.getSizeInBits().getValue());
}

@Override
public Unit matchIntegerSignedNormalized(
 final TIntegerSignedNormalized t)
{
 final BigInteger size = t.getSizeInBits().getValue();
 this.onIntegerNormalized(size, true);
 return Unit.unit();
}

 @Override
 public Unit matchIntegerUnsignedNormalized(
  final TIntegerUnsignedNormalized t)
 {
  final BigInteger size = t.getSizeInBits().getValue();
  this.onIntegerNormalized(size, false);
  return Unit.unit();
 }
}

static VectorsClasses getVectorClassesFor(
 final TVector v)
{
 NullCheck.notNull(v, "v");
 final TypeScalarType e_type = v.getElementType();
 final int e_count = v.getElementCount().getValue().intValue();
 return e_type.matchTypeScalar(new VectorClassMatcher(e_count));
}

public static MatrixClasses getMatrixClassesFor(final TMatrix t)
{
 NullCheck.notNull(t, "t");
 final TypeScalarType e_type = t.getElementType();
 final int e_width = t.getWidth().getValue().intValue();
 return e_type.matchTypeScalar(new MatrixClassMatcher(e_width, e_width));
}

 @Override public Unit matchScalarFloat(
  final TFloat t)
  throws JPRACompilerCheckerException
 {
  final BigInteger size = t.getSizeInBits().getValue();
  if (!JPRAChecker.this.caps.isVectorFloatSizeSupported(size)) {
   throw JPRACompilerCheckerException.vectorFloatSizeNotSupported(
    t, size, JPRAChecker.this.caps.getVectorFloatSizeSupported());
  }
  return Unit.unit();
 }
});

@Override
public Unit matchScalarInteger(
 final TIntegerType t)
 throws JPRACompilerCheckerException
{
 final BigInteger size = t.getSizeInBits().getValue();
 if (!JPRAChecker.this.caps.isMatrixIntegerSizeSupported(size)) {
  throw JPRACompilerCheckerException.matrixIntegerSizeNotSupported(
   t, size, JPRAChecker.this.caps.getMatrixIntegerSizeSupported());
 }
 return Unit.unit();
}

 @Override public Unit matchScalarFloat(
  final TFloat t)
  throws JPRACompilerCheckerException
 {
  final BigInteger size = t.getSizeInBits().getValue();
  if (!JPRAChecker.this.caps.isMatrixFloatSizeSupported(size)) {
   throw JPRACompilerCheckerException.matrixFloatSizeNotSupported(
    t, size, JPRAChecker.this.caps.getMatrixFloatSizeSupported());
  }
  return Unit.unit();
 }
});

@Override public Unit matchScalarInteger(
 final TIntegerType t)
 throws JPRACompilerCheckerException
{
 final BigInteger size = t.getSizeInBits().getValue();
 if (!JPRAChecker.this.caps.isVectorIntegerSizeSupported(size)) {
  throw JPRACompilerCheckerException.vectorIntegerSizeNotSupported(
   t, size, JPRAChecker.this.caps.getVectorIntegerSizeSupported());
 }
 return Unit.unit();
}

@Override public Unit matchScalarInteger(
 final TIntegerType t)
 throws JPRACompilerCheckerException
{
 final BigInteger size = t.getSizeInBits().getValue();
 if (!JPRAChecker.this.caps.isMatrixIntegerSizeSupported(size)) {
  throw JPRACompilerCheckerException.matrixIntegerSizeNotSupported(
   t, size, JPRAChecker.this.caps.getMatrixIntegerSizeSupported());
 }
 return Unit.unit();
}

@Override
public Unit matchScalarInteger(
 final TIntegerType t)
 throws JPRACompilerCheckerException
{
 final BigInteger size = t.getSizeInBits().getValue();
 if (!JPRAChecker.this.caps.isVectorIntegerSizeSupported(size)) {
  throw JPRACompilerCheckerException.vectorIntegerSizeNotSupported(
   t, size, JPRAChecker.this.caps.getVectorIntegerSizeSupported());
 }
 return Unit.unit();
}