B.2 Identifiers

FSP definitions and process parameters are named by identifiers beginning with an uppercase letter. Action label and variable identifiers begin with a lowercase letter.

 ConstantIdent: RangeIdent: SetIdent: ParameterIdent: ProcessIdent: PropertyIdent: ProgressIdent: MenuIdent: FluentIdent: AssertIdent:               UpperCaseIdentifier Variable:               LowerCaseIdentifier

Upper- and lowercase identifiers are specified by the following productions in which UpperCaseLetter denotes one of the uppercase alphabetical characters and LowerCaseLetter denotes one of the lowercase alphabetical characters or underscore “_”. Digit denotes one of the decimal digits.

 UpperCaseIdentifier:           UpperCaseLetter           UpperCaseIdentifier Letter           UpperCaseIdentifier Digit LowerCaseIdentifier:           LowerCaseLetter           LowerCaseIdentifier Letter           LowerCaseIdentifier Digit Letter:           UpperCaseLetter           LowerCaseLetter