Hi,all

Please accept my apologies if you have already received this letter.

I have a question about the FieldConstExpressionSpec:

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