transform_realizable.tcl

Go to the documentation of this file.

/*  -*- tcl -*- */
/*  -- $Id: transform_realizable.tcl,v 1.1 2005/09/28 04:51:22 andreas_kupries Exp $ ---*/
/* */
/*  PAGE plugin - transform - realizable ~ Realizability Analysis*/
/* */

/*  ### ### ### ######### ######### #########*/
/*  Imported API*/

/*  -----------------+--*/
/*  page_tdata       | Access to processed input stream.*/
/*  -----------------+--*/
/*  page_info        | Reporting to the user.*/
/*  page_warning     |*/
/*  page_error       |*/
/*  -----------------+--*/
/*  page_log_error   | Reporting of internals.*/
/*  page_log_warning |*/
/*  page_log_info    |*/
/*  -----------------+--*/

/*  ### ### ### ######### ######### #########*/
/*  Exported API*/

/*  -----------------+--*/
/*  page_tfeature    | Query for special plugin features page might wish to use.*/
/*  page_ttime       | Activate collection of timing statistics.*/
/*  page_tgettime    | Return the collected timing statistics.*/
/*  page_tlabel      | User readable label for the plugin.*/
/*  page_thelp       | Doctools help text for plugin.*/
/*  page_toptions    | Options understood by plugin.*/
/*  page_tconfigure  | Option (re)configuration.*/
/*  page_trun        | Transform input data per plugin configuration and hardwiring.*/
/*  -----------------+--*/

/*  ### ### ### ######### ######### #########*/
/*  Requisites*/

package require page::analysis::peg::realizable
package require struct::tree         ; /*  Data structure.*/

global usec
global timed
    timed =  0

/*  ### ### ### ######### ######### #########*/
/*  Implementation of exported API*/

ret  page_tlabel () {
    return Realizability
}

ret  page_tfeature (type key) {
    return [string eq $key timeable]
}

ret  page_ttime () {
    global timed
    set    timed 1
    return
}

ret  page_tgettime () {
    global  usec
    return $usec
}

ret  page_thelp () {
    return {}
}

ret  page_toptions () {
    return {}
}

ret  page_tconfigure (type option , type value) {
    return -code error "Cannot set value of unknown option \"$option\""
}

ret  page_trun (type data) {
    global timed usec
    page_log_info "transform/realizable/run/"

    if {$timed} {
    set usec [lindex [time {
        ::struct::tree           ::tree deserialize $data
        ::page::analysis::peg::realizable::remove! ::tree
    }] 0] ; #{}
    } else {
    ::struct::tree           ::tree deserialize $data
    ::page::analysis::peg::realizable::remove! ::tree
    }
    set data [::tree serialize]
    ::tree destroy

    page_log_info "transform/realizable/run/ok"
    return $data
}

/*  ### ### ### ######### ######### #########*/
/*  Internal helper code.*/

/*  ### ### ### ######### ######### #########*/
/*  Initialization*/

package provide page::transform::realizable 0.1