% @(#) $Id: char_literals.lsl,v 1.1 1995/08/29 04:42:00 leavens Exp $
% Adapted from [Tan94, appendix D.1]
char_literals(char): trait
 introduces
  newline, LF, tab, HT, verticalTab, VT, backspace, BS: -> char
  carriageReturn, CR, formFeed, FF, alert, BEL: -> char
  backslash, questionMark, singleQuote, doubleQuote: -> char
  null, escape, ESC, EOF: -> char
  space, period, comma, leftParen, rightParen, semicolon, colon: -> char
  slash, minus, atSign, asterisk, exclamationPoint, percentSign: -> char
  ampersand, '_', plus, equals, caret, dollarSign, verticalBar: -> char
  left_curly_brace, right_curly_brace: -> char
  left_square_bracket, right_square_backet: -> char
  tilde, backquote: -> char
  '0', '1', '2', '3', '4', '5', '6', '7', '8', '9': -> char
  'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M': -> char
  'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z': -> char
  'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm': -> char
  'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z': -> char
 asserts
   equations
     newline == LF;
     tab == HT;
     verticalTab == VT;
     backspace == BS;
     carriageReturn == CR;
     formFeed == FF;
     alert == BEL;
     escape == ESC;

[Index]

HTML generated using lcpp2html.