Examples with AnnotationBuilder org.checkerframework.javacutil.AnnotationBuilder used on opensource projects

Example 66 with AnnotationBuilder

use of org.checkerframework.javacutil.AnnotationBuilder in project checker-framework by typetools.

the class KeyForAnnotatedTypeFactory method createKeyForAnnotationMirrorWithValue.

/*
     * Given a string array 'values', returns an AnnotationMirror corresponding to @KeyFor(values)
     */
public AnnotationMirror createKeyForAnnotationMirrorWithValue(LinkedHashSet<String> values) {
    // Create an AnnotationBuilder with the ArrayList
    AnnotationBuilder builder = new AnnotationBuilder(getProcessingEnv(), KeyFor.class);
    builder.setValue("value", values.toArray());
    // Return the resulting AnnotationMirror
    return builder.build();
}

Example 67 with AnnotationBuilder

use of org.checkerframework.javacutil.AnnotationBuilder in project checker-framework by typetools.

the class AnnotationBuilderTest method createAnnoWithoutValues.

@Test
public void createAnnoWithoutValues() {
    AnnotationBuilder builder = new AnnotationBuilder(env, Encrypted.class);
    // AnnotationMirror anno =
    builder.build();
}

Example 68 with AnnotationBuilder

use of org.checkerframework.javacutil.AnnotationBuilder in project checker-framework by typetools.

the class AnnotationBuilderTest method addingValuesAfterBuilding.

@Test(expected = SourceChecker.CheckerError.class)
public void addingValuesAfterBuilding() {
    AnnotationBuilder builder = new AnnotationBuilder(env, AnnoWithStringArg.class);
    builder.setValue("value", "m");
    // AnnotationMirror anno =
    builder.build();
    builder.setValue("value", "n");
}

Example 69 with AnnotationBuilder

use of org.checkerframework.javacutil.AnnotationBuilder in project checker-framework by typetools.

the class AnnotationBuilderTest method testToString4.

@Test
public void testToString4() {
    AnnotationBuilder builder = new AnnotationBuilder(env, Anno.class);
    builder.setValue("value", "m");
    builder.setValue("can", new Object[] { 1 });
    assertEquals("@tests.AnnotationBuilderTest.Anno(value=\"m\", can={1})", builder.build().toString());
}

Example 70 with AnnotationBuilder

use of org.checkerframework.javacutil.AnnotationBuilder in project checker-framework by typetools.

the class AnnotationBuilderTest method createAnnoWithValues0.

@Test
public void createAnnoWithValues0() {
    AnnotationBuilder builder = new AnnotationBuilder(env, AnnoWithStringArg.class);
    builder.setValue("value", "m");
    AnnotationMirror anno = builder.build();
    assertEquals(1, anno.getElementValues().size());
}