@Override public Unit matchIntegerSignedNormalized( final TIntegerSignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue()); }
@Override public Unit matchIntegerSignedNormalized( final TIntegerSignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue(), true); }
@Override public Unit matchIntegerSignedNormalized( final TIntegerSignedNormalized t) { return this.onIntegerNormalized(t.getSizeInBits().getValue()); }
@Override public Unit matchIntegerSignedNormalized( final TIntegerSignedNormalized t) { final BigInteger size = t.getSizeInBits().getValue(); this.onIntegerNormalized(size, true); return Unit.unit(); }
@Test public final void testTypeExprIntegerSignedNormalizedSizeCorrect() 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 signed-normalized 32)"))); final TypeExprIntegerSignedNormalized<IdentifierType, TType> e = TypeExprIntegerSignedNormalized.class.cast(ch.checkTypeExpression(te)); final TIntegerSignedNormalized ti = TIntegerSignedNormalized.class.cast(e.getType()); Assert.assertEquals(BigInteger.valueOf(32L), ti.getSizeInBits().getValue()); }