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
