# -*- tcl -*-
# Graph ops tests - Strongly connected components per Tarjan's algorithm
# Copyright (c) 2008 Andreas Kupries <andreas_kupries@users.sourceforge.net>
# All rights reserved.
# RCS: @(#) $Id: tarjan.test,v 1.3 2009/09/15 19:24:12 andreas_kupries Exp $

# Syntax: struct::graph::op::tarjan G

# -------------------------------------------------------------------------
# Wrong # args: Missing, Too many

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-1.0 {tarjan, wrong args, missing} {
    catch {struct::graph::op::tarjan} msg
    set msg
} [tcltest::wrongNumArgs struct::graph::op::tarjan {g} 0]

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-1.1 {tarjan, wrong args, too many} {
    catch {struct::graph::op::tarjan g x} msg
    set msg
} [tcltest::tooManyArgs struct::graph::op::tarjan {g}]

# -------------------------------------------------------------------------
# Logical arguments checks and failures

# -------------------------------------------------------------------------
# Ok arguments.

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.0 {tarjan, empty graph} {
    SETUP
    set result [struct::graph::op::tarjan mygraph]
    mygraph destroy
    set result
} {}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.1 {tarjan, nodes, no arcs} {
    SETUP
    mygraph node insert 0 1 2 3 4 5
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {0 1 2 3 4 5}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.2 {tarjan, nodes, arcs} {
    SETUP_A
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {{'node0' 'node1' 'node2' 'node3'} 'node4' 'node5' 'node6'}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.3 {tarjan, nodes, arcs} {
    SETUP_B
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {A B C D E S}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.4 {tarjan, nodes, arcs} {
    SETUP_C
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {{A B C D} E F}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.5 {tarjan, nodes, arcs} {
    SETUP_D
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {{a b c d} {f g h} i j}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.6 {tarjan, nodes, arcs} {
    SETUP_E
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {1b 1w 2b 2w 3b {3w 4b} 4w 5b 5w 6b 6w {7b 7w 8b 8w}}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.7 {tarjan, nodes, arcs} {
    SETUP_F
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {1b 1w 2b 2w 3b 3w 4b 4w}

test graphop-t${treeimpl}-g${impl}-s${setimpl}-st${stkimpl}-q${queimpl}-tarjan-3.8 {tarjan, nodes, arcs} {
    SETUP_G
    set result [setsetcanon [struct::graph::op::tarjan mygraph]]
    mygraph destroy
    set result
} {1b 1w 2b 2w 3b 3w 4b 4w 5b 5w}

# ---------------------------------------------------