+ my $typesurl = $map{$typesuri} if (defined($typesuri));
+ my $annurl = $map{$annuri} if (defined($annuri));
+ my ($cicext, $typesext, $annext);
+ if ($cicurl =~ /\.xml$/) { # normal file
+ $cicext = ".xml";
+ } elsif ($cicurl =~ /\.xml\.gz$/) { # gzipped file
+ $cicext = ".xml.gz";
+ } else {
+ die "unexpected extension in url: $cicurl; might be '.xml' or '.xml.gz'";
+ }
+ if (defined($typesuri)) { # extension selection for types file
+ if ($typesurl =~ /\.xml$/) { # normal file
+ $typesext = ".types.xml";
+ } elsif ($typesurl =~ /\.xml\.gz$/) { # gzipped file
+ $typesext = ".types.xml.gz";
+ } else {
+ die "unexpected extension in url: $typesurl; might be '.xml' or '.xml.gz'";
+ }
+ }
+ if (defined($annuri)) { # extension selection for annotation file
+ if ($annurl =~ /\.xml$/) { # normal file
+ $annext = ".xml";
+ } elsif ($annurl =~ /\.xml\.gz$/) { # gzipped file
+ $annext = ".xml.gz";
+ } else {
+ die "unexpected extension in url: $annurl might be '.xml' or '.xml.gz'";
+ }
+ }
+ my $typesfilename = $cicfilename.$typesext if $typesuri;
+ my $annfilename = $cicfilename.$annsuffix.$annext if $annuri;
+ $cicfilename .= $cicext;
+# </gzip>
+