next up previous contents
Next: Id Up: Evaluation Rules Previous: Expr   Contents

Literal

<

Literal    ::= ERR | TRUE | FALSE | Text | Integer

<

Eval( ERR    , C) = err
Eval( TRUE   , C) = true
Eval( FALSE  , C) = false
Eval( Text   , C) = the corresponding t_text value
Eval( Integer, C) = the corresponding t_int value

In the Text evaluation rule, the C++ interpretation of escape characters is used. In the Integer evaluation rule, evaluation halts with a runtime error if the integer is too large or small to be represented by the implementation.



Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu