datatype

datatype 
      ::= 
      "binary_integer" 
      | "natural" 
      | "positive" 
      | ( "number" [ "(" n [ "," n ] ")" ] ) 
      | ( "char" [ "(" n ")" ] ) 
      | ( "long" ) 
      | ( "raw" ) 
      | ( "long" "raw" ) 
      | ( "boolean" ) 
      | ( "date" ) 

This rule is call by

-> parameter_spec
-> type_spec