@Override public Unit matchIntegerUnsignedNormalized( final TIntegerUnsignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue(), false); }
private TypeExprIntegerUnsignedNormalized<IdentifierType, TType> checkTypeExprIntegerUnsignedNormalized( final TypeExprIntegerUnsignedNormalized<IdentifierType, Untyped> e) throws JPRACompilerCheckerException { final SizeExprType<IdentifierType, TType> se = this.checkSizeExpr(e.getSize()); final Size<SizeUnitBitsType> size = JPRAChecker.evaluateSize(se); final TType type = new TIntegerUnsignedNormalized(e.getLexicalInformation(), size); final TypeExprIntegerUnsignedNormalized<IdentifierType, TType> rv = new TypeExprIntegerUnsignedNormalized<>( type, e.getLexicalInformation(), se); this.checkTypeExprIntegerSize(e, size); return rv; }
private TypeExprIntegerUnsignedNormalized<IdentifierType, TType> checkTypeExprIntegerUnsignedNormalized( final TypeExprIntegerUnsignedNormalized<IdentifierType, Untyped> e) throws JPRACompilerCheckerException { final SizeExprType<IdentifierType, TType> se = this.checkSizeExpr(e.getSize()); final Size<SizeUnitBitsType> size = this.evaluateSize(se); final TType type = new TIntegerUnsignedNormalized(e.getLexicalInformation(), size); final TypeExprIntegerUnsignedNormalized<IdentifierType, TType> rv = new TypeExprIntegerUnsignedNormalized<>( type, e.getLexicalInformation(), se); this.checkTypeExprIntegerSize(e, size); return rv; }
new FieldName(no_lex, "r2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "g2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "b2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "a2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "y2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "z2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "w2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L)));
@Override public Unit matchIntegerUnsignedNormalized( final TIntegerUnsignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue()); }
new FieldName(no_lex, "r2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "g2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "b2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L))); rb.addField( new FieldName(no_lex, "a2"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(2L)));
@Override public Unit matchIntegerUnsignedNormalized( final TIntegerUnsignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue()); }
new FieldName(no_lex, "r4"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(4L))); rb.addField( new FieldName(no_lex, "g4"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(4L))); rb.addField( new FieldName(no_lex, "b4"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(4L))); rb.addField( new FieldName(no_lex, "a4"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(4L)));
@Override public Unit matchIntegerUnsignedNormalized( final TIntegerUnsignedNormalized t) { final BigInteger size = t.getSizeInBits().getValue(); this.onIntegerNormalized(size, false); return Unit.unit(); } }
new FieldName(no_lex, "r8"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(8L))); rb.addField( new FieldName(no_lex, "g8"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(8L))); rb.addField( new FieldName(no_lex, "b8"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(8L))); rb.addField( new FieldName(no_lex, "a8"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(8L)));
@Test public final void testTypeExprIntegerUnsignedNormalizedSizeCorrect() throws Exception { final JPRAParserType p = this.newParser(); final GlobalContextType c = GlobalContexts.newContext(new AlwaysEmptyLoader()); final JPRAResolverType r = this.newResolver(c); final JPRACheckerType ch = this.newChecker( c, JPRACheckerStandardCapabilities.newCapabilities()); final TypeExprType<IdentifierType, Untyped> te = r.resolveTypeExpression( p.parseTypeExpression( this.newStringSExpr("(integer unsigned-normalized 32)"))); final TypeExprIntegerUnsignedNormalized<IdentifierType, TType> e = TypeExprIntegerUnsignedNormalized.class.cast(ch.checkTypeExpression(te)); final TIntegerUnsignedNormalized ti = TIntegerUnsignedNormalized.class.cast(e.getType()); Assert.assertEquals(BigInteger.valueOf(32L), ti.getSizeInBits().getValue()); }
new FieldName(no_lex, "r16"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(16L))); rb.addField( new FieldName(no_lex, "g16"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(16L))); rb.addField( new FieldName(no_lex, "b16"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(16L))); rb.addField( new FieldName(no_lex, "a16"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(16L)));
new FieldName(no_lex, "usn8"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(8L))); rb.addField( new FieldName(no_lex, "usn16"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(16L))); rb.addField( new FieldName(no_lex, "usn32"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(32L))); rb.addField( new FieldName(no_lex, "usn64"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(64L)));
new FieldName(no_lex, "un4"), gc.getFreshIdentifier(), new TIntegerUnsignedNormalized(no_lex, Size.valueOf(4L))); rb.addField( new FieldName(no_lex, "sn4"),