private string buildArrayRef(DArrayRef aref) { string lhs = buildExpression(aref.getOperand(0)); string rhs = buildExpression(aref.getOperand(1)); return(lhs + "[" + rhs + "]"); }
public override void visit(DArrayRef aref) { #if B DNode node = aref.getOperand(0); DNode replacement = node.applyType(graph_.file, null, VariableType.ArrayReference); if (replacement != node) { node.block.replace(node, replacement); aref.replaceOperand(0, replacement); } #endif }
private string buildArrayRef(DArrayRef aref) { string lhs = buildExpression(aref.getOperand(0)); string rhs = buildExpression(aref.getOperand(1)); return lhs + "[" + rhs + "]"; }