@Override public Unit matchInteger(final TIntegerType t) { return t.matchTypeInteger(this); }
@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(); }
final TIntegerType f_type = fv.getType(); final Class<?> f_class = f_type.matchTypeInteger( new TypeIntegerMatcherType<Class<?>, UnreachableCodeException>() final BigInteger field_size = f_type.getSizeInBits().getValue(); final String mask = JPRAMasks.createOneMask( container_size.intValue(), 0, field_size.intValue() - 1); final BigInteger shift = fv.getBitRange().getLower(); f_type.matchTypeInteger( new TypeIntegerMatcherType<Unit, UnreachableCodeException>()
e.getLexicalInformation(), JPRACheckerErrorCode.MATRIX_SIZE_INTEGER_UNSUPPORTED, sb.toString());
@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(); }
e.getLexicalInformation(), JPRACheckerErrorCode.MATRIX_SIZE_INTEGER_UNSUPPORTED, sb.toString());
@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(); }
e.getLexicalInformation(), JPRACheckerErrorCode.VECTOR_SIZE_INTEGER_UNSUPPORTED, sb.toString());
@Override public Unit matchInteger(final TIntegerType t) { return t.matchTypeInteger(this); }
@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(); }
e.getLexicalInformation(), JPRACheckerErrorCode.VECTOR_SIZE_INTEGER_UNSUPPORTED, sb.toString());
TIntegerType t) return t.matchTypeInteger( new TypeIntegerMatcherType<ClassName, RuntimeException>()
@Override public Unit matchInteger(final TIntegerType t) { /* Construct a meta type field, and assign a value to it. */ final FieldName f_name = this.field.getName(); final ClassName c_name = JPRAClasses.getModelScalarTypeForScalarType(t); final String meta_field_name = JPRAGeneratedNames.getMetaTypeFieldName(f_name); this.class_builder.addField( c_name, meta_field_name, Modifier.FINAL, Modifier.PRIVATE); this.constructor_builder.addStatement( "this.$N = $T.of($L)", meta_field_name, c_name, t.getSizeInBits().getValue()); return Unit.unit(); }
final TIntegerType t) return t.matchTypeInteger(new TypeIntegerMatcherType<VectorsClasses, RuntimeException>()
@Override public Unit matchInteger(final TIntegerType t) { final RecordFieldInterfaceIntegerProcessor p = new RecordFieldInterfaceIntegerProcessor( this.field, this.class_builder, this.methods); return t.matchTypeInteger(p); }
@Override public Unit matchInteger( final TIntegerType t) { this.generateFieldOffsetConstant(); final RecordFieldImplementationIntegerProcessor p = new RecordFieldImplementationIntegerProcessor( this.field, this.class_builder); return t.matchTypeInteger(p); }