The type of a file refenced by SPIRIT. Either: fileType - a known SPIRIT file type, or userFileType - a file type not yet known by SPIRIT. If multiple types are specified, the order is important. The first type is the primary type of the file and the latter types are types that may be embedded in the file. For example a Verilog file containing PSL assertions. Enumerated file types known by SPIRIT. Free form file type, not - yet - known by SPIRIT .