Consider the grammar for boolean expressions with short-circuit evaluation:
B → B1 AND M B2 { B.code = B1.code || "if_false goto L" || B2.code }
B → id { B.code = "load " || id.lexeme }
M → ε { M.inh = newLabel() }
Which statement about the above SDD is true ?

Question

Consider the grammar for boolean expressions with short-circuit evaluation: 
 B → B1 AND M B2   { B.code = B1.code || "if_false goto L" || B2.code } 
 B → id            { B.code = "load " || id.lexeme } 
 M → ε             { M.inh = newLabel() } 
 Which statement about the above SDD is  true ?

Answer

It can be implemented only using synthesized attributes.

Answer

Circular dependency exists because  M  requires  B2.code  before evaluation

Answer

It is not L-attributed because  M.inh  depends on  B1.code .

Answer

It is L-attributed since inherited attributes are evaluated before visiting the right sibling.

Crowdly

Consider the grammar for boolean expressions with short-circuit evaluation: B ...

Want instant access to all verified answers on moovit.vit.ac.in?