Overview  Index  Help 
SMLDoc

Summarizer


structure Summarizer : SUMMARIZER =
struct
  type linkage = B.bind list * L.moduleLinkType list DG.graph
  datatype traceDirection = SRCTODEST | DESTTOSRC
  val summarize : ElaboratedAst.compileUnit list -> Binds.bind list * linkage
  val getClosureOfLink
      : traceDirection ->
          Linkage.moduleLinkType list ->
            linkage -> ElaboratedAst.moduleFQN -> Binds.bind list
end

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrSummarizer.html,v 1.9 2007/02/17 07:01:58 kiyoshiy Exp $

 
Type detail

linkage

type linkage = B.bind list * L.moduleLinkType list DG.graph

 
Datatype detail

traceDirection

datatype traceDirection = SRCTODEST | DESTTOSRC

 
DataConstructor detail

SRCTODEST

constructor SRCTODEST : traceDirection


DESTTOSRC

constructor DESTTOSRC : traceDirection

 
Value detail

summarize

val summarize : ElaboratedAst.compileUnit list -> Binds.bind list * linkage


getClosureOfLink

val getClosureOfLink
    : traceDirection ->
        Linkage.moduleLinkType list ->
          linkage -> ElaboratedAst.moduleFQN -> Binds.bind list

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML