Hi,all
555.FieldConstExpressionSpec ::= FieldReference AssignmentChar
ConstantExpression,
here FieldReference may be an ArrayOrBitRef,which is a SingleExpression. I think
we need the static semantics which restrict the FieldReference must resolve to a
const value of integer type, or change the rules to :
555. FieldConstExpressionSpec :: FieldConstReference AssignmentChar
ConstantExpression.
FieldConstReference ::= StructFieldRef | ConstArrayOrBitRef | ParRef
ConstArrayOrBitRef ::= "[" ConstFieldOrBitNumber "]"
ConstFieldOrBitNumber ::= SingleConstExpression
Thanks!
Ji XiangDong
Univ. of Science & Technology of China
86-551-3606124
This email address is being protected from spambots. You need JavaScript enabled to view it.
2003-05-17 16:10:25