From: Adam Krolnik (adamk@cyrix.com)
Date: Wed Jan 06 1999 - 10:44:51 PST
Hello Tom again,
Another question;
Why 'type' attributes? E.g.
why 'const integer'? why 'foreign string'? Why 'const'?
If they are pragma like, used by other tools as a standard way to
assign information to an object, why bother with type information.
One would presume that the type would then have to be checked.
E.g. (from your example) this is a semantic 'type' error.
(* const integer view = "gates_with_timing"; *)
90's languages exist that don't require 'type'ing things ( perl )
This doesn't seem to be intended for computation - rather
for description (terse computer descriptions.) Instead:
(* view = "gates_with_timing"; *)
I would favor a more 'type'less version.
I also don't think one needs the ',' and ';' separator/terminators
since you have section delineation.
Instead:
<attr_list> ::= <attr_spec>+
<attr_spec>
::= <attr_name> = <value>
| <attr_name>
<value>
::= <number>
| " string "
| expression
Adam Krolnik
Verification Engineer
Cyrix - NSC.
Richardson TX. 75085
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:53:24 PDT
and
sponsored by Boyd Technology, Inc.