Examples with ExprContext com.dat3m.dartagnan.parsers.BoogieParser.ExprContext used on opensource projects

Example 1 with ExprContext

use of com.dat3m.dartagnan.parsers.BoogieParser.ExprContext in project Dat3M by hernanponcedeleon.

the class PthreadsProcedures method mutexInit.

private static void mutexInit(VisitorBoogie visitor, Call_cmdContext ctx) {
    ExprContext lock = ctx.call_params().exprs().expr(0);
    IExpr lockAddress = (IExpr) lock.accept(visitor);
    IExpr value = (IExpr) ctx.call_params().exprs().expr(1).accept(visitor);
    if (lockAddress != null) {
        visitor.programBuilder.addChild(visitor.threadCount, EventFactory.Pthread.newInitLock(lock.getText(), lockAddress, value));
    }
}