use of org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode in project checker-framework by typetools.
the class CFGTranslationPhaseOne method visitPrimitiveType.
@Override
public Node visitPrimitiveType(PrimitiveTypeTree tree, Void p) {
Node result = new PrimitiveTypeNode(tree, types);
extendWithNode(result);
return result;
}
Aggregations