#!/usr/bin/perl

use strict;
use Data::Dumper;
use XML::Simple;

my @failed;
# failing for C transformation
# @failed = qw/
# 187 191 192 207 215 216 220 223 224 225 226 228 229 230 232 233 234 235
# 236 237 239 240 241 242 243 244 245 247 250 252 253 276 338 347 422 530
# 554 201 496 500 501 509 510 518 519 520 521 522 531 532 534 567 569 577
# 301 307 446 552 557 558 561/;

my $manifest = XMLin("./manifest.xml");
# print Dumper($manifest->{'assert'});

my $perSpecId;

my @allTests;
my @ecmaTests;
my @xpathTests;
my @agnosticTests;
my @nullTests;
my @manualTests;

TESTS: for my $testNr (keys $manifest->{'assert'}) {
	my @tests;
	my $thisTest = $manifest->{'assert'}->{$testNr};
	if (ref($thisTest->{'test'}->{'start'}) eq "ARRAY") {
		push (@tests, @{$thisTest->{'test'}->{'start'}});
	} else {
		push (@tests, $thisTest->{'test'}->{'start'});
	}
	for my $t (@tests) {
		if ($t->{'uri'} =~ /\/test(.*)\.[txml|txt]/) {
			next TESTS if ( grep /^$1$/, @failed );
			$perSpecId->{$thisTest->{'specnum'}.':'.$thisTest->{'specid'}}->{'tests'} .= $1." ";
		} else {
			die(Dumper($t));
		}
	}	
	
	$perSpecId->{$thisTest->{'specnum'}.':'.$thisTest->{'specid'}}->{'total'} += @tests;
	
	if ($thisTest->{'test'}->{'manual'} eq "true") {
		$perSpecId->{$thisTest->{'specnum'}.':'.$thisTest->{'specid'}}->{'manual'} += @tests;
		push @manualTests,  @tests;
		
	}
	
	if ($thisTest->{'specid'} eq "#minimal-profile" || $thisTest->{'specid'} !~ /profile$/) {
		push @nullTests,  @tests;
	}

	if ($thisTest->{'specid'} eq "#ecma-profile" || $thisTest->{'specid'} !~ /profile$/) {
		push @ecmaTests,  @tests;
	}

	if ($thisTest->{'specid'} eq "#xpath-profile" || $thisTest->{'specid'} !~ /profile$/) {
		push @xpathTests,  @tests;
	}
		
	push (@allTests, @tests);
	push @agnosticTests, @tests if ($thisTest->{'specid'} !~ /profile$/);
}

# print Dumper(@ecmaTests);

my %datamodels = (
	"ecma" => \@ecmaTests,
	"xpath" => \@xpathTests,
	"promela" => \@agnosticTests,
	"prolog" => \@agnosticTests,
	"lua" => \@ecmaTests
);

for my $datamodel (keys %datamodels) {
	# every scxml file is a test
	for (`ls $datamodel/*.scxml`) {
		my $filename = $_;
		chomp($filename);
		if ($filename =~ /\/test(\d+\w?)\.scxml/) {
			print("${filename} is not in mainfest\n") if (! grep $_->{'uri'} == "${1}/test${1}.scxml", @{$datamodels{$datamodel}});
		}
	}
	# every test is given
	for my $testURI (@{$datamodels{$datamodel}}) {
		if ($testURI->{'uri'} =~ /^(\d+)\/(test\d+\w?)\.(txt|txml)$/) {
			my $name = $2;
			my $suffix = ($3 eq "txml" ? "scxml" : $3);
			if (! -e "${datamodel}/${name}.${suffix}") {
				print("${datamodel}/${name}.${suffix} is missing\n");
			}
		} else {
			die ($testURI->{'uri'});
		}
	}
}

print Dumper($perSpecId);

print "NULL : ".@nullTests."\n";
print "ECMA : ".@ecmaTests."\n";
print "XPATH: ".@xpathTests."\n";
print "\n";
print "MAN  : ".@manualTests."\n";
print "ANY  : ".@agnosticTests."\n";
print "TOTAL: ".@allTests."\n";