I don't think the code should enforce the use of the "default" file extensions.
It looks like the load methods can more-or-less auto-detect any format except xcas. Maybe we should consider adding a load method where the user explicitly requests a SerialFormat for cases were one wants to avoid auto-detection? -- Richard > On 04.08.2016, at 04:55, Marshall Schor <[email protected]> wrote: > > sorry, my bad English... :-) > > By casing, I didn't mean upper case, lower case, I meant the code uses the > Java > "switch" statement, with "case"s . > > (I think the code already is case-insensitive to upper/lower case for this.) > > And, yes, I mean the file extensions, the ".xmi", ".xcas", etc. > > -Marshall > > On 8/3/2016 4:53 PM, Richard Eckart de Castilho wrote: >> On 03.08.2016, at 22:51, Marshall Schor <[email protected]> wrote: >>> The "load" methods have some attention paid to "casing" on the file type. >> You mean ".BCAS" and ".BcAs" should be treated equally to ".bcas"? >> >>> The "save" methods do not do any defaulting to set the "proper" file type >>> that >>> would be needed by the load method. >> You mean the file extensions? >> >> Cheers, >> >> -- Richard
