Examples with SynchronizedNode org.checkerframework.dataflow.cfg.node.SynchronizedNode used on opensource projects

Example 1 with SynchronizedNode

use of org.checkerframework.dataflow.cfg.node.SynchronizedNode in project checker-framework by typetools.

the class CFGTranslationPhaseOne method visitSynchronized.

@Override
public Node visitSynchronized(SynchronizedTree tree, Void p) {
    // see JLS 14.19
    Node synchronizedExpr = scan(tree.getExpression(), p);
    SynchronizedNode synchronizedStartNode = new SynchronizedNode(tree, synchronizedExpr, true, env.getTypeUtils());
    extendWithNode(synchronizedStartNode);
    scan(tree.getBlock(), p);
    SynchronizedNode synchronizedEndNode = new SynchronizedNode(tree, synchronizedExpr, false, env.getTypeUtils());
    extendWithNode(synchronizedEndNode);
    return null;
}