Examples with RecordUpdateExpr com.rockwellcollins.atc.agree.agree.RecordUpdateExpr used on opensource projects

Example 1 with RecordUpdateExpr

use of com.rockwellcollins.atc.agree.agree.RecordUpdateExpr in project AGREE by loonwerks.

the class AgreeASTBuilder method caseRecordUpdateExpr.

// BEGIN CASE EXPRESSION STATEMENTS
@Override
public Expr caseRecordUpdateExpr(RecordUpdateExpr upExpr) {
    Expr lustreExpr = doSwitch(upExpr.getRecord());
    Expr lustreArgExpr = doSwitch(upExpr.getExpr());
    lustreExpr = new jkind.lustre.RecordUpdateExpr(lustreExpr, upExpr.getKey().getName(), lustreArgExpr);
    return lustreExpr;
}