- my $cicfilename = $cicuri;
- $cicfilename =~ s/cic:(.*)/$1/;
- $cicfilename =~ s/theory:(.*)/$1/;
- $cicfilename = $helm_dir.$cicfilename;
-
- my $cicurl = $map{$cicuri};
- 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;
-
- if (!defined($cicurl) ||
- (!defined($typesurl) && $typesuri) ||
- (!defined($annuri) && $annuri))
- {