Examples with PropagationTreeAnnotator org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator used on opensource projects

Example 6 with PropagationTreeAnnotator

use of org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator in project checker-framework by typetools.

the class AinferTestAnnotatedTypeFactory method createTreeAnnotator.

@Override
public TreeAnnotator createTreeAnnotator() {
    LiteralTreeAnnotator literalTreeAnnotator = new LiteralTreeAnnotator(this);
    literalTreeAnnotator.addLiteralKind(LiteralKind.INT, BOTTOM);
    literalTreeAnnotator.addStandardLiteralQualifiers();
    return new ListTreeAnnotator(new PropagationTreeAnnotator(this), literalTreeAnnotator);
}

Example 7 with PropagationTreeAnnotator

use of org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator in project checker-framework by typetools.

the class ReflectionTestAnnotatedTypeFactory method createTreeAnnotator.

@Override
public TreeAnnotator createTreeAnnotator() {
    LiteralTreeAnnotator literalTreeAnnotator = new LiteralTreeAnnotator(this);
    AnnotationMirror bottom = AnnotationBuilder.fromClass(elements, ReflectBottom.class);
    literalTreeAnnotator.addLiteralKind(LiteralKind.INT, bottom);
    literalTreeAnnotator.addStandardLiteralQualifiers();
    return new ListTreeAnnotator(new PropagationTreeAnnotator(this), literalTreeAnnotator);
}