PreviousUpNext

15.4.806  src/lib/html/html-attribute-vals.pkg

## html-attribute-vals.pkg

# Compiled by:
#     src/lib/html/html.lib

# This package is necessary since the attributes type is used in the parser,
# and there is no way to get it into the parser's api.


package htmlattr_vals {


  #  support for building elements that have attributes 
     Attribute_Val
      = NAME  String          #  [a-zA-Z.-]+ 
      | STRING  String        #  A string enclosed in "" or '' 
      | IMPLICIT;

     Attributes =  List ((String, Attribute_Val));

};


## COPYRIGHT (c) 1996 AT&T Research.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2013,
## released per terms of SMLNJ-COPYRIGHT.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext