Overview  Index  Help 
SMLDoc
A B C D E F G H I J K L M N O P Q R S T U V W

A

A - Constructor in HTML
A - Constructor in HTML
AA - structure ENVSet.AA
AbsDec - Constructor in AST
AbsDec - Constructor in Ast
ABSENT - Constructor in FileID
AbstypeDec - Constructor in AST
AbstypeDec - Constructor in Ast
AbstypeDec - Constructor in AnnotatedAst
addExternalException - Value in ELABORATOR
addExternalException - Value in Elaborator
addExternalFunctor - Value in ELABORATOR
addExternalFunctor - Value in Elaborator
addExternalFunctorSignature - Value in ELABORATOR
addExternalFunctorSignature - Value in Elaborator
addExternalSignature - Value in ELABORATOR
addExternalSignature - Value in Elaborator
addExternalStructure - Value in ELABORATOR
addExternalStructure - Value in Elaborator
addExternalType - Value in ELABORATOR
addExternalType - Value in Elaborator
addInfix - Value in PARSER
           add a name of the infix operator into the context.
addInfix - Value in Parser
          utility function exported
ADDRESS - Constructor in HTML
ADDRESS - Constructor in HTML
addsym - Type in CM_SEMANTIC
addsym - Datatype in CMSemantic
Alias - Constructor in CM_SEMANTIC
Alias - Constructor in CMSemantic
align - Type in HTML.CaptionAlign
align - Type in HTML.CellVAlign
align - Type in HTML.HAlign
align - Type in HTML.IAlign
align - Type in HTML.CaptionAlign
align - Type in HTML.CellVAlign
align - Type in HTML.HAlign
align - Type in HTML.IAlign
all - Value in HTML.TextFlowCtl
all - Value in HTML.TextFlowCtl
AnnotatedAst - structure AnnotatedAst
           abstract syntax tree annotated with doc comment.
ANONYMOUS_FUNCTORPARAMETER_STRUCTURE - Constructor in ElaboratedAst
AntiquoteExp - Value in ASTUTIL
AntiquoteExp - Value in AstUtil
appendDecSet - Value in ElaboratedAst
appendENVSet - Value in ENVSet
appendSpecSet - Value in ElaboratedAst
AppFct - Constructor in AST
AppFct - Constructor in Ast
AppFct - Constructor in AnnotatedAst
AppFct - Constructor in ElaboratedAst
          application
APPLET - Constructor in HTML
APPLET - Constructor in HTML
AppLink - Constructor in Linkage
AppStr - Constructor in AST
AppStr - Constructor in Ast
AppStr - Constructor in AnnotatedAst
AppStr - Constructor in ElaboratedAst
          application (external)
AREA - Constructor in HTML
area - Datatype in HTML
AREA - Constructor in HTML
area - Datatype in HTML
ArgFile - Constructor in Main
ArgLink - Constructor in Linkage
arg_descr - Datatype in GETOPT
arg_descr - Datatype in GetOpt
arg_order - Datatype in GETOPT
arg_order - Datatype in GetOpt
arrowTycon - Value in ASTUTIL
arrowTycon - Value in AstUtil
AST - signature AST
           abstract syntax tree.
Ast - structure Ast
           abstract syntax tree.
ASTUTIL - signature ASTUTIL
           Utility functions manipulating abstract syntax tree.
AstUtil - structure AstUtil
           Utility functions manipulating abstract syntax tree.
AugSig - Constructor in AST
AugSig - Constructor in Ast
AugSig - Constructor in AnnotatedAst
AugSig - Constructor in ElaboratedAst
          sig augmented with where specs
Author - Constructor in Main
AuthorTag - Constructor in DocComment

B

B - Constructor in HTML
B - Constructor in HTML
BaseFct - Constructor in AST
BaseFct - Constructor in Ast
BaseFct - Constructor in AnnotatedAst
BaseFct - Constructor in ElaboratedAst
          definition of a functor
BASEFONT - Constructor in HTML
BASEFONT - Constructor in HTML
BaseFsig - Constructor in AST
BaseFsig - Constructor in Ast
BaseFsig - Constructor in AnnotatedAst
BaseFsig - Constructor in ElaboratedAst
          basic funsig
baseline - Value in HTML.CellVAlign
baseline - Value in HTML.CellVAlign
BaseSig - Constructor in AST
BaseSig - Constructor in Ast
BaseSig - Constructor in AnnotatedAst
BaseSig - Constructor in ElaboratedAst
          basic signature (sig...end)
BaseStr - Constructor in AST
BaseStr - Constructor in Ast
BaseStr - Constructor in AnnotatedAst
BaseStr - Constructor in ElaboratedAst
          basic structure (struct...end)
BIG - Constructor in HTML
BIG - Constructor in HTML
bind - Datatype in Binds
bindException - Value in ENVSet
bindFunctor - Value in ENVSet
bindFunctorSignature - Value in ENVSet
bindModule - Value in ENVSet
Binds - structure Binds
           binding information.
bindSignature - Value in ENVSet
bindStructure - Value in ENVSet
bindType - Value in ENVSet
bindVal - Value in ENVSet
block - Datatype in HTML
block - Datatype in HTML
BlockList - Constructor in HTML
BlockList - Constructor in HTML
blockList - Value in MakeHTML
BLOCKQUOTE - Constructor in HTML
BLOCKQUOTE - Constructor in HTML
BODY - Constructor in HTML
body - Datatype in HTML
BODY - Constructor in HTML
body - Datatype in HTML
bogusID - Value in ASTUTIL
bogusID - Value in AstUtil
bottom - Value in HTML.CaptionAlign
bottom - Value in HTML.CellVAlign
bottom - Value in HTML.IAlign
bottom - Value in HTML.CaptionAlign
bottom - Value in HTML.CellVAlign
bottom - Value in HTML.IAlign
Bottom - Constructor in Main
BR - Constructor in HTML
BR - Constructor in HTML
BR - Value in MakeHTML

C

canonical - Value in FILE_ID
canonical - Value in FileID
CAPTION - Constructor in HTML
caption - Datatype in HTML
          table content *
CAPTION - Constructor in HTML
caption - Datatype in HTML
          table content *
CaptionAlign - structure HTML.CaptionAlign
CaptionAlign - structure HTML.CaptionAlign
CB - Constructor in ElaboratedAst
cb - Datatype in ElaboratedAst
cdata - Type in HTML
cdata - Type in HTML
CellVAlign - structure HTML.CellVAlign
CellVAlign - structure HTML.CellVAlign
CENTER - Constructor in HTML
center - Value in HTML.HAlign
CENTER - Constructor in HTML
center - Value in HTML.HAlign
CharPat - Constructor in AST
CharPat - Constructor in Ast
CharSet - Constructor in Main
checkbox - Value in HTML.InputType
checkbox - Value in HTML.InputType
checkId - Value in TokenTable
checkSymId - Value in TokenTable
checkTyvar - Value in TokenTable
circle - Value in HTML.Shape
circle - Value in HTML.ULStyle
circle - Value in HTML.Shape
circle - Value in HTML.ULStyle
CITE - Constructor in HTML
CITE - Constructor in HTML
Clause - Constructor in AST
clause - Datatype in AST
Clause - Constructor in Ast
clause - Datatype in Ast
CMFileParser - structure CMFileParser
          
CMFILE_PARSER - signature CMFILE_PARSER
           parser of SML/NJ CM description file.
CMSemantic - structure CMSemantic
          
CM_SEMANTIC - signature CM_SEMANTIC
           semantic actions to go with the grammar for CM description files
CODE - Constructor in HTML
CODE - Constructor in HTML
collectFilesInDir - Value in PATH_UTILITY
collectFilesInDir - Value in PathUtility
CommentedTy - Constructor in AnnotatedAst
CommentedTy - Constructor in ElaboratedAst
          with comment
compare - Value in FILE_ID
compare - Value in FileID
compareStringNoCase - Value in Utility
           case-insensitive version of String.collate
CompileUnit - Constructor in AnnotatedAst
compileUnit - Datatype in AnnotatedAst
          source file name and set of all declarations in the file.
CompileUnit - Constructor in ElaboratedAst
compileUnit - Datatype in ElaboratedAst
ConstrainedStr - Constructor in AST
ConstrainedStr - Constructor in Ast
ConstrainedStr - Constructor in AnnotatedAst
ConstrainedStr - Constructor in ElaboratedAst
          constrained sig
ConstraintLink - Constructor in Linkage
ConstraintPat - Constructor in AST
ConstraintPat - Constructor in Ast
Constrs - Constructor in AST
Constrs - Constructor in Ast
Constrs - Constructor in AnnotatedAst
Constrs - Constructor in ElaboratedAst
ConstructorBind - Constructor in Binds
ConstructurArgLink - Constructor in Linkage
context - Type in PARSER
          type of context of parsing
context - Type in Parser
          context
Contributor - Constructor in Main
ContributorTag - Constructor in DocComment
control - Type in HTML.TextFlowCtl
control - Type in HTML.TextFlowCtl
ConTy - Constructor in AST
ConTy - Constructor in Ast
ConTy - Constructor in AnnotatedAst
ConTy - Constructor in ElaboratedAst
          type constructor
Copyright - Constructor in Main
CopyrightTag - Constructor in DocComment
create - Value in ParserUtil.PositionMap
create - Value in DEPENDENCY_GRAPH
           creates a initial graph contains no edges between the nodes.
create - Value in DependencyGraph
cwd - Value in SOURCE_PATH
cwd - Value in SourcePath
CWD - Constructor in SourcePath

D

DataSpec - Constructor in AST
DataSpec - Constructor in Ast
DataSpec - Constructor in AnnotatedAst
DataTypeBind - Constructor in Binds
DatatypeDec - Constructor in AST
DatatypeDec - Constructor in Ast
DatatypeDec - Constructor in AnnotatedAst
Db - Constructor in AST
db - Datatype in AST
Db - Constructor in Ast
db - Datatype in Ast
Db - Constructor in AnnotatedAst
db - Datatype in AnnotatedAst
DB - Constructor in ElaboratedAst
db - Datatype in ElaboratedAst
dbrhs - Datatype in AST
dbrhs - Datatype in Ast
dbrhs - Datatype in AnnotatedAst
dbrhs - Datatype in ElaboratedAst
          DATATYPE BINDING RIGHT HAND SIDE
dec - Datatype in AST
dec - Datatype in Ast
dec - Datatype in AnnotatedAst
DecSet - Constructor in ElaboratedAst
decSet - Datatype in ElaboratedAst
          DECLARATIONS (let and structure)
default - Value in HTML.Shape
default - Value in HTML.Shape
defaultModuleListFileName - Value in EXTERNALREF_LINKER
           the default name of link files
defaultModuleListFileName - Value in ExternalRefLinker
DependencyAnalyzer - structure DependencyAnalyzer
           This module analyses dependency relation between the compilation units the parser generated.
DependencyGraph - structure DependencyGraph
           the signature of the module which provides operations on the dependency graph.
DEPENDENCY_ANALYZER - signature DEPENDENCY_ANALYZER
           This module analyses dependency relation between the compilation units the parser generated.
DEPENDENCY_GRAPH - signature DEPENDENCY_GRAPH
           the signature of the module which provides operations on the dependency graph.
dependsOn - Value in DEPENDENCY_GRAPH
           Put a edge between the specified nodes.
dependsOn - Value in DependencyGraph
description - Datatype in CM_SEMANTIC
description - Datatype in CMSemantic
DESTTOSRC - Constructor in SUMMARIZER
           trace from the destination to the source of links
DESTTOSRC - Constructor in Summarizer
DFN - Constructor in HTML
DFN - Constructor in HTML
DGP - structure Main.DGP
DIR - Constructor in HTML
DIR - Constructor in HTML
dir - Value in SOURCE_PATH
dir - Type in SOURCE_PATH
dir - Value in SourcePath
DIR - Constructor in SourcePath
dir - Datatype in SourcePath
Directory - Constructor in Main
disc - Value in HTML.ULStyle
disc - Value in HTML.ULStyle
DIV - Constructor in HTML
DIV - Constructor in HTML
DIV - Value in CM_SEMANTIC
DIV - Constructor in CMSemantic
DL - Constructor in HTML
DL - Constructor in HTML
docComment - Type in DocComment
DocComment - structure DocComment
           documentation comment.
docComment - Type in ElaboratedAst
DocTitle - Constructor in Main
DocumentGenerationParameter - structure DocumentGenerationParameter
           parameter for ducument generation.
DOCUMENT_GENERATOR - signature DOCUMENT_GENERATOR
           The signature of modules which generates documents describing the given program.

E

EA - structure ENVSet.EA
EA - structure LinkFile.EA
EA - structure Linkage.EA
EasyHTMLParser - structure EasyHTMLParser
          
EASY_HTML_PARSER - signature EASY_HTML_PARSER
           This module provides functions parsing HTML documents.
eb - Datatype in AST
eb - Datatype in Ast
eb - Datatype in AnnotatedAst
eb - Datatype in ElaboratedAst
          EXCEPTION BINDING
EbDef - Constructor in AST
EbDef - Constructor in Ast
EbDef - Constructor in AnnotatedAst
EBDef - Constructor in ElaboratedAst
EbGen - Constructor in AST
EbGen - Constructor in Ast
EbGen - Constructor in AnnotatedAst
EBGen - Constructor in ElaboratedAst
elaborate - Value in ELABORATOR
           do elaboration.
elaborate - Value in Elaborator
           elaboration.
ElaboratedAst - structure ElaboratedAst
           data structures generated by elaboration.
ELABORATOR - signature ELABORATOR
           elaborates abstract syntax tree generated by the parser.
Elaborator - structure Elaborator
          
EM - Constructor in HTML
EM - Constructor in HTML
emptyContext - Value in PARSER
          empty context
emptyContext - Value in Parser
          empty context
emptyDecSet - Value in ElaboratedAst
emptyENVSet - Value in ENVSet
emptySpecSet - Value in ElaboratedAst
EnclosedTy - Constructor in AST
EnclosedTy - Constructor in Ast
ENVSet - Constructor in ENVSet
ENVSet - Datatype in ENVSet
ENVSet - structure ENVSet
           environment with module hierarchy.
EQ - Value in CM_SEMANTIC
EQ - Constructor in CMSemantic
eqsym - Type in CM_SEMANTIC
eqsym - Datatype in CMSemantic
error - Value in DocumentGenerationParameter
ExceptionBind - Constructor in Binds
ExceptionDec - Constructor in AST
ExceptionDec - Constructor in Ast
ExceptionDec - Constructor in AnnotatedAst
ExceptionDefine - Constructor in LinkFile
exceptionReference - Type in ElaboratedAst
ExceptionTag - Constructor in DocComment
ExceSpec - Constructor in AST
ExceSpec - Constructor in Ast
ExceSpec - Constructor in AnnotatedAst
ExnArgLink - Constructor in Linkage
exnID - Value in ASTUTIL
exnID - Value in AstUtil
exp - Type in AST
exp - Type in Ast
expandFileName - Value in Main
           filePath must be absolute path.
extend - Value in SOURCE_PATH
extend - Value in SourcePath
ExternalRef - Constructor in ElaboratedAst
ExternalRefLinker - structure ExternalRefLinker
          
EXTERNALREF_LINKER - signature EXTERNALREF_LINKER
           This modules reads/writes link files.

F

Fb - Constructor in AST
fb - Datatype in AST
Fb - Constructor in Ast
fb - Datatype in Ast
Fctb - Constructor in AST
fctb - Datatype in AST
Fctb - Constructor in Ast
fctb - Datatype in Ast
FCTB - Constructor in ElaboratedAst
fctb - Datatype in ElaboratedAst
FctBind - Constructor in Binds
FctDec - Constructor in AST
FctDec - Constructor in Ast
FctDec - Constructor in AnnotatedAst
fctexp - Datatype in AST
fctexp - Datatype in Ast
fctexp - Datatype in AnnotatedAst
fctexp - Datatype in ElaboratedAst
          FUNCTOR EXPRESSION
FctSpec - Constructor in AST
FctSpec - Constructor in Ast
FctSpec - Constructor in AnnotatedAst
file - Value in HTML.InputType
file - Value in HTML.InputType
file - Value in SOURCE_PATH
file - Type in SOURCE_PATH
file - Value in SourcePath
file - Datatype in SourcePath
fileId - Value in FILE_ID
fileId - Value in FileID
FileID - structure FileID
          
FILE_ID - signature FILE_ID
           Abstract file IDs.
FixDec - Constructor in AST
FixDec - Constructor in Ast
fixity - Datatype in AST
fixity - Datatype in Ast
FlatAppPat - Constructor in AST
FlatAppPat - Constructor in Ast
FONT - Constructor in HTML
FONT - Constructor in HTML
Footer - Constructor in Main
FORM - Constructor in HTML
FORM - Constructor in HTML
FormalArgLink - Constructor in Linkage
Frame - Constructor in HTML
frame - Datatype in HTML
Frame - Constructor in HTML
frame - Datatype in HTML
FRAMEBODY - Constructor in HTML
FRAMEBODY - Constructor in HTML
FrameSet - Constructor in HTML
FrameSet - Constructor in HTML
fromString - Value in HTML.TextFlowCtl
fromString - Value in HTML.Shape
fromString - Value in HTML.ULStyle
fromString - Value in HTML.CaptionAlign
fromString - Value in HTML.CellVAlign
fromString - Value in HTML.HAlign
fromString - Value in HTML.IAlign
fromString - Value in HTML.InputType
fromString - Value in HTML.HttpMethod
fromString - Value in HTML.TextFlowCtl
fromString - Value in HTML.Shape
fromString - Value in HTML.ULStyle
fromString - Value in HTML.CaptionAlign
fromString - Value in HTML.CellVAlign
fromString - Value in HTML.HAlign
fromString - Value in HTML.IAlign
fromString - Value in HTML.InputType
fromString - Value in HTML.HttpMethod
Fsigb - Constructor in AST
fsigb - Datatype in AST
Fsigb - Constructor in Ast
fsigb - Datatype in Ast
FSIGB - Constructor in ElaboratedAst
fsigb - Datatype in ElaboratedAst
FsigBind - Constructor in Binds
FsigDec - Constructor in AST
FsigDec - Constructor in Ast
FsigDec - Constructor in AnnotatedAst
fsigexp - Datatype in AST
fsigexp - Datatype in Ast
fsigexp - Datatype in AnnotatedAst
fsigexp - Datatype in ElaboratedAst
          FUNCTOR SIGNATURE EXPRESSION
FUNCTOR - Constructor in ElaboratedAst
FUNCTORPARAMETER_STRUCTURE - Constructor in ElaboratedAst
FUNCTORSIGNATURE - Constructor in ElaboratedAst
FunDec - Constructor in AST
FunDec - Constructor in Ast
FunDec - Constructor in AnnotatedAst
FunTy - Constructor in ElaboratedAst
          function type

G

G - structure Main.G
GE - Value in CM_SEMANTIC
GE - Constructor in CMSemantic
generateDocument - Value in DOCUMENT_GENERATOR
           generates document describing the given program.
generateDocument - Value in HTMLDocumentGenerator
get - Value in HTML.HttpMethod
get - Value in HTML.HttpMethod
getBodyOfHTML - Value in EASY_HTML_PARSER
           retrieves the content of BODY tag.
getBodyOfHTML - Value in EasyHTMLParser
getClosure - Value in DEPENDENCY_GRAPH
           get the closure of the dependency relation.
getClosure - Value in DependencyGraph
getClosureOfLink - Value in SUMMARIZER
           traces the linkage graph and gets the closure of links of the specified type.
getClosureOfLink - Value in Summarizer
getClosureRev - Value in DEPENDENCY_GRAPH
           the reverse version of the getClosure.
getClosureRev - Value in DependencyGraph
getModuleFQN - Value in Binds
getName - Value in Binds
getOpt - Value in GETOPT
GETOPT - signature GETOPT
           A SML port of GNU's getopt library.
getOpt - Value in GetOpt
GetOpt - structure GetOpt
          
getOptDC - Value in Binds
graph - Type in DEPENDENCY_GRAPH
          dependency graph
graph - Type in DependencyGraph
Group - Constructor in CM_SEMANTIC
Group - Constructor in CMSemantic
GT - Value in CM_SEMANTIC
GT - Constructor in CMSemantic

H

HAlign - structure HTML.HAlign
HAlign - structure HTML.HAlign
Header - Constructor in Main
Head_BASE - Constructor in HTML
Head_BASE - Constructor in HTML
head_content - Datatype in HTML
head_content - Datatype in HTML
Head_ISINDEX - Constructor in HTML
Head_ISINDEX - Constructor in HTML
Head_LINK - Constructor in HTML
Head_LINK - Constructor in HTML
Head_META - Constructor in HTML
Head_META - Constructor in HTML
Head_SCRIPT - Constructor in HTML
Head_SCRIPT - Constructor in HTML
Head_STYLE - Constructor in HTML
Head_STYLE - Constructor in HTML
Head_TITLE - Constructor in HTML
Head_TITLE - Constructor in HTML
Help - Constructor in Main
HelpFile - Constructor in Main
hidden - Value in HTML.InputType
hidden - Value in HTML.InputType
HideBySig - Constructor in Main
Hn - Constructor in HTML
Hn - Constructor in HTML
HR - Constructor in HTML
HR - Constructor in HTML
HR - Value in MakeHTML
HTML - Constructor in HTML
html - Datatype in HTML
HTML - signature HTML
           This file defines the abstract syntax of HTML documents.
HTML - Constructor in HTML
html - Datatype in HTML
HTML - structure HTML
           This file defines the abstract syntax of HTML documents.
HTMLDocumentGenerator - structure HTMLDocumentGenerator
           This module generates HTML documents describing the given program.
htmlVersion - Value in HTML
htmlVersion - Value in HTML
HttpMethod - structure HTML.HttpMethod
HttpMethod - structure HTML.HttpMethod

I

I - Constructor in HTML
I - Constructor in HTML
IAlign - structure HTML.IAlign
IAlign - structure HTML.IAlign
id - Type in DocComment
id - Type in HTML
id - Type in HTML
id - Type in FILE_ID
id - Datatype in FileID
IDParamPat - Constructor in DocComment
IDParamPat - Constructor in ElaboratedAst
image - Value in HTML.InputType
image - Value in HTML.InputType
IMG - Constructor in HTML
IMG - Constructor in HTML
IncludeLink - Constructor in Linkage
IncludeSpec - Constructor in AST
IncludeSpec - Constructor in Ast
IncludeSpec - Constructor in AnnotatedAst
ineqsym - Type in CM_SEMANTIC
ineqsym - Datatype in CMSemantic
INfix - Constructor in AST
INfix - Constructor in Ast
INfixR - Constructor in AST
INfixR - Constructor in Ast
INPUT - Constructor in HTML
INPUT - Constructor in HTML
InputType - structure HTML.InputType
InputType - structure HTML.InputType
interleave - Value in Utility
           interleave elements of a list with separators.
interleaveString - Value in Utility
           Concat strings with separator.
IntPat - Constructor in AST
IntPat - Constructor in Ast
InvalidParameter - Exception in Main
isAbsolute - Value in PATH_UTILITY
isAbsolute - Value in PathUtility
isCMFileName - Value in CMFILE_PARSER
isCMFileName - Value in CMFileParser
isConstructorBind - Value in Binds
isDataTypeBind - Value in Binds
isDependsOn - Value in DEPENDENCY_GRAPH
           indicates whether there is a edge between the specified nodes.
isDependsOn - Value in DependencyGraph
isExceptionBind - Value in Binds
isFctBind - Value in Binds
isFQNOfFunctorParameter - Value in ElaboratedAst
isFsigBind - Value in Binds
ISINDEX - Constructor in HTML
ISINDEX - Constructor in HTML
isPrefixOf - Value in Utility
           indicates whether a list is a prefix of another list.
isSigBind - Value in Binds
isStrBind - Value in Binds
isTypeBind - Value in Binds
isValBind - Value in Binds
item - Datatype in LinkFile
itsym - Value in ASTUTIL
itsym - Value in AstUtil

J

joinBaseExt - Value in PATH_UTILITY
joinBaseExt - Value in PathUtility
joinDirFile - Value in PATH_UTILITY
joinDirFile - Value in PathUtility

K

KBD - Constructor in HTML
KBD - Constructor in HTML

L

layered - Value in ASTUTIL
layered - Value in AstUtil
LayeredPat - Constructor in AST
LayeredPat - Constructor in Ast
LE - Value in CM_SEMANTIC
LE - Constructor in CMSemantic
left - Value in HTML.TextFlowCtl
left - Value in HTML.HAlign
left - Value in HTML.IAlign
left - Value in HTML.TextFlowCtl
left - Value in HTML.HAlign
left - Value in HTML.IAlign
LetFct - Constructor in AST
LetFct - Constructor in Ast
LetFct - Constructor in AnnotatedAst
LetStr - Constructor in AST
LetStr - Constructor in Ast
LetStr - Constructor in AnnotatedAst
LI - Constructor in HTML
LI - Constructor in HTML
Link - Constructor in Main
Linkage - structure Linkage
           information of links between entities.
linkage - Type in SUMMARIZER
           graph of dependency links between the binds
linkage - Type in Summarizer
LinkFile - structure LinkFile
           datatype of linke file which describes linkage information.
LinkOffline - Constructor in Main
LinkSource - Constructor in Main
ListPat - Constructor in AST
ListPat - Constructor in Ast
ListSubModule - Constructor in Main
list_item - Datatype in HTML
list_item - Datatype in HTML
loc - Type in AnnotatedAst
loc - Type in ElaboratedAst
LocalDec - Constructor in AST
LocalDec - Constructor in Ast
LocalDec - Constructor in AnnotatedAst
LT - Value in CM_SEMANTIC
LT - Constructor in CMSemantic

M

main - Value in Main
Main - structure Main
           entry point.
makeAbsolute - Value in PATH_UTILITY
           convert a path to its absolute form.
makeAbsolute - Value in PathUtility
           convert path string to absolute path.
makeDocument - Value in SMLDOC
           makes documents describing the ML program.
makeDocument - Value in SMLDoc
MakeHTML - structure MakeHTML
           This is a collection of constructors for building some of the common kinds of HTML elements.
makeSEQdec - Value in ASTUTIL
makeSEQdec - Value in AstUtil
MAP - Constructor in HTML
MAP - Constructor in HTML
MarkDec - Constructor in AST
MarkDec - Constructor in Ast
MarkFb - Constructor in AST
MarkFb - Constructor in Ast
MarkFct - Constructor in AST
MarkFct - Constructor in Ast
MarkFsig - Constructor in AST
MarkFsig - Constructor in Ast
MarkPat - Constructor in AST
MarkPat - Constructor in Ast
MarkSig - Constructor in AST
MarkSig - Constructor in Ast
MarkStr - Constructor in AST
MarkStr - Constructor in Ast
MarkTy - Constructor in AST
MarkTy - Constructor in Ast
MENU - Constructor in HTML
MENU - Constructor in HTML
method - Type in HTML.HttpMethod
method - Type in HTML.HttpMethod
middle - Value in HTML.CellVAlign
middle - Value in HTML.IAlign
middle - Value in HTML.CellVAlign
middle - Value in HTML.IAlign
MINUS - Value in CM_SEMANTIC
MINUS - Constructor in CMSemantic
MissingEscapedChar - Exception in Utility
           raised by the tokenizeString if the string ends with a unescaped backslash.
mkA_HREF - Value in MakeHTML
mkA_NAME - Value in MakeHTML
mkDL - Value in MakeHTML
mkH - Value in MakeHTML
mkLI - Value in MakeHTML
mkOL - Value in MakeHTML
mkP - Value in MakeHTML
mkTD - Value in MakeHTML
mkTD_COLSPAN - Value in MakeHTML
mkTH - Value in MakeHTML
mkTH_COLSPAN - Value in MakeHTML
mkTR - Value in MakeHTML
mkUL - Value in MakeHTML
MOD - Value in CM_SEMANTIC
MOD - Constructor in CMSemantic
ModuleDefine - Constructor in LinkFile
ModuleDefLink - Constructor in Linkage
moduleFQN - Type in ElaboratedAst
moduleFQNToPath - Value in ElaboratedAst
moduleFQNToString - Value in ElaboratedAst
moduleLinkage - Type in Linkage
moduleLinkType - Datatype in Linkage
ModuleRef - Constructor in ElaboratedAst
moduleReference - Datatype in ElaboratedAst
ModuleReplica - Constructor in LinkFile
moduleType - Datatype in ElaboratedAst
mulsym - Type in CM_SEMANTIC
mulsym - Datatype in CMSemantic

N

name - Type in HTML
name - Type in HTML
native - Value in SOURCE_PATH
native - Value in SourcePath
NativePathName - Constructor in CM_SEMANTIC
NativePathName - Constructor in CMSemantic
NE - Value in CM_SEMANTIC
NE - Constructor in CMSemantic
NoArg - Constructor in GETOPT
NoArg - Constructor in GetOpt
NoHelp - Constructor in Main
NoIndex - Constructor in Main
NoNavBar - Constructor in Main
none - Value in HTML.TextFlowCtl
none - Value in HTML.TextFlowCtl
NONfix - Constructor in AST
NONfix - Constructor in Ast
NoSig - Constructor in AST
NoSig - Constructor in Ast
NoSig - Constructor in AnnotatedAst
NoSig - Constructor in ElaboratedAst
NoWarning - Constructor in Main

O

OL - Constructor in HTML
OL - Constructor in HTML
onProgress - Value in DocumentGenerationParameter
Opaque - Constructor in AST
Opaque - Constructor in Ast
Opaque - Constructor in AnnotatedAst
Opaque - Constructor in ElaboratedAst
OpenDec - Constructor in AST
OpenDec - Constructor in Ast
OpenDec - Constructor in AnnotatedAst
OpenLink - Constructor in Linkage
operations - Type in ParserUtil.PositionMap
OptArg - Constructor in GETOPT
OptArg - Constructor in GetOpt
optDocComment - Type in AnnotatedAst
optDocComment - Type in ElaboratedAst
OPTION - Constructor in HTML
OPTION - Constructor in HTML
optionDescs - Value in Main
opt_descr - Type in GETOPT
opt_descr - Type in GetOpt
ord_key - Type in FILE_ID
ord_key - Type in FileID
OrPat - Constructor in AST
OrPat - Constructor in Ast
osstring - Value in SOURCE_PATH
osstring - Value in SourcePath
osstring_dir - Value in SOURCE_PATH
osstring_dir - Value in SourcePath
osstring_prefile - Value in SOURCE_PATH
osstring_prefile - Value in SourcePath
osstring_prefile_relative - Value in SOURCE_PATH
osstring_prefile_relative - Value in SourcePath
Overview - Constructor in Main
OvldDec - Constructor in AST
OvldDec - Constructor in Ast

P

P - Constructor in HTML
P - Constructor in HTML
PARAM - Constructor in HTML
PARAM - Constructor in HTML
Parameter - Constructor in DocumentGenerationParameter
parameter - Datatype in DocumentGenerationParameter
parameterOption - Datatype in Main
paramPattern - Datatype in DocComment
paramPattern - Datatype in ElaboratedAst
ParamsTag - Constructor in DocComment
ParamTag - Constructor in DocComment
parseArgFile - Value in Main
parseCommandLine - Value in Main
parseFile - Value in PARSER
           parses a file which contains ML program annotated with documentation comments.
parseFile - Value in Parser
           parses a file.
PARSER - signature PARSER
           Parser of ML program which may contain documentation comments.
Parser - structure Parser
          
ParserUtil - structure ParserUtil
           Utilities for parser.
password - Value in HTML.InputType
password - Value in HTML.InputType
pat - Datatype in AST
pat - Datatype in Ast
path - Type in AST
path - Type in Ast
path - Type in AnnotatedAst
          symbolic path (Modules.spath)
path - Type in ElaboratedAst
path - Type in ELABORATOR
          long ID
path - Type in Elaborator
PATH - Constructor in SourcePath
pathName - Datatype in CM_SEMANTIC
pathName - Datatype in CMSemantic
pathToString - Value in ElaboratedAst
PathUtility - structure PathUtility
           Utility functions for file path manipulation.
PATH_UTILITY - signature PATH_UTILITY
           Utility functions for path manipulation.
PCDATA - Constructor in HTML
pcdata - Type in HTML
PCDATA - Constructor in HTML
pcdata - Type in HTML
Permute - Constructor in GETOPT
Permute - Constructor in GetOpt
pixels - Type in HTML
pixels - Type in HTML
PLUS - Value in CM_SEMANTIC
PLUS - Constructor in CMSemantic
poly - Value in HTML.Shape
poly - Value in HTML.Shape
pos - Type in ParserUtil.PositionMap
PositionMap - structure ParserUtil.PositionMap
PRE - Constructor in HTML
PRE - Constructor in HTML
pre - Value in SOURCE_PATH
pre - Value in SourcePath
prefile - Type in SOURCE_PATH
prefile - Type in SourcePath
PRESENT - Constructor in FileID
prHTML - Value in PrHTML
PrHTML - structure PrHTML
           Pretty-print an HTML tree.
PU - structure Main.PU
put - Value in HTML.HttpMethod
put - Value in HTML.HttpMethod

Q

QuoteExp - Value in ASTUTIL
QuoteExp - Value in AstUtil

R

radio - Value in HTML.InputType
radio - Value in HTML.InputType
readCMFile - Value in CMFILE_PARSER
readCMFile - Value in CMFileParser
readLinkFile - Value in EXTERNALREF_LINKER
           reads the link file.
readLinkFile - Value in ExternalRefLinker
RecordParamPat - Constructor in DocComment
RecordParamPat - Constructor in ElaboratedAst
RecordPat - Constructor in AST
RecordPat - Constructor in Ast
RecordTy - Constructor in AST
RecordTy - Constructor in Ast
RecordTy - Constructor in AnnotatedAst
RecordTy - Constructor in ElaboratedAst
          record
rect - Value in HTML.Shape
rect - Value in HTML.Shape
Recursive - Constructor in Main
region - Type in AST
region - Type in Ast
Repl - Constructor in AST
Repl - Constructor in Ast
Repl - Constructor in AnnotatedAst
Repl - Constructor in ElaboratedAst
replaceFile - Value in Utility
           replaces strings in the contents of a file.
replaceString - Value in Utility
           replaces string.
replaceStringByTable - Value in Utility
ReqArg - Constructor in GETOPT
ReqArg - Constructor in GetOpt
RequireOrder - Constructor in GETOPT
RequireOrder - Constructor in GetOpt
reset - Value in HTML.InputType
reset - Value in HTML.InputType
ReturnInOrder - Constructor in GETOPT
ReturnInOrder - Constructor in GetOpt
ReturnTag - Constructor in DocComment
right - Value in HTML.TextFlowCtl
right - Value in HTML.HAlign
right - Value in HTML.IAlign
right - Value in HTML.TextFlowCtl
right - Value in HTML.HAlign
right - Value in HTML.IAlign
ROOT - Constructor in SourcePath
Rule - Constructor in AST
rule - Datatype in AST
Rule - Constructor in Ast
rule - Datatype in Ast
Rvb - Constructor in AST
rvb - Datatype in AST
Rvb - Constructor in Ast
rvb - Datatype in Ast

S

SAMP - Constructor in HTML
SAMP - Constructor in HTML
satisfyAll - Value in Utility
           build a predicator which is a conjunction of predicators.
satisfyAny - Value in Utility
           build a predicator which is a disjunction of predicators.
SCRIPT - Constructor in HTML
SCRIPT - Constructor in HTML
SeeTag - Constructor in DocComment
SELECT - Constructor in HTML
SELECT - Constructor in HTML
select_option - Datatype in HTML
select_option - Datatype in HTML
SeqDec - Constructor in AST
SeqDec - Constructor in Ast
shape - Type in HTML.Shape
Shape - structure HTML.Shape
shape - Type in HTML.Shape
Shape - structure HTML.Shape
ShareStrSpec - Constructor in AST
ShareStrSpec - Constructor in Ast
ShareStrSpec - Constructor in AnnotatedAst
ShareTycSpec - Constructor in AST
ShareTycSpec - Constructor in Ast
ShareTycSpec - Constructor in AnnotatedAst
ShowSummary - Constructor in Main
Sigb - Constructor in AST
sigb - Datatype in AST
Sigb - Constructor in Ast
sigb - Datatype in Ast
SIGB - Constructor in ElaboratedAst
sigb - Datatype in ElaboratedAst
SigBind - Constructor in Binds
sigConst - Datatype in AST
sigConst - Datatype in Ast
sigConst - Datatype in AnnotatedAst
sigConst - Datatype in ElaboratedAst
SigDec - Constructor in AST
SigDec - Constructor in Ast
SigDec - Constructor in AnnotatedAst
sigexp - Datatype in AST
sigexp - Datatype in Ast
sigexp - Datatype in AnnotatedAst
sigexp - Datatype in ElaboratedAst
          SIGNATURE EXPRESSION
SIGNATURE - Constructor in ElaboratedAst
SMALL - Constructor in HTML
SMALL - Constructor in HTML
SMLDOC - signature SMLDOC
           The top level module of the SMLDoc.
SMLDoc - structure SMLDoc
          
sort - Value in Utility
           sorts a list.
sort - Value in DEPENDENCY_GRAPH
           topological sort on the dependency graph
sort - Value in DependencyGraph
sort - Value in DEPENDENCY_ANALYZER
           sort a list of compilation units on dependency relation.
sort - Value in DependencyAnalyzer
SourcePath - structure SourcePath
          
SOURCE_PATH - signature SOURCE_PATH
           Operations over abstract names for CM source files.
spec - Datatype in AST
spec - Datatype in Ast
spec - Datatype in AnnotatedAst
SpecSet - Constructor in ElaboratedAst
specSet - Datatype in ElaboratedAst
          SPECIFICATION FOR SIGNATURE DEFINITIONS
splitBaseExt - Value in PATH_UTILITY
splitBaseExt - Value in PathUtility
splitDirFile - Value in PATH_UTILITY
splitDirFile - Value in PathUtility
           similar with OS.Path.splitDirFile.
SplitIndex - Constructor in Main
splitLast - Value in Utility
           split a list into a pair of the elements but the last element and the last element.
square - Value in HTML.ULStyle
square - Value in HTML.ULStyle
srcpos - Type in AST
srcpos - Type in Ast
SRCTODEST - Constructor in SUMMARIZER
           trace from the source to the destination of links
SRCTODEST - Constructor in Summarizer
standard - Value in SOURCE_PATH
standard - Value in SourcePath
StandardPathName - Constructor in CM_SEMANTIC
StandardPathName - Constructor in CMSemantic
StdIn - Constructor in Main
Strb - Constructor in AST
strb - Datatype in AST
Strb - Constructor in Ast
strb - Datatype in Ast
STRB - Constructor in ElaboratedAst
strb - Datatype in ElaboratedAst
StrBind - Constructor in Binds
StrDec - Constructor in AST
StrDec - Constructor in Ast
StrDec - Constructor in AnnotatedAst
strexp - Datatype in AST
strexp - Datatype in Ast
strexp - Datatype in AnnotatedAst
strexp - Datatype in ElaboratedAst
          STRUCTURE EXPRESSION
STRIKE - Constructor in HTML
STRIKE - Constructor in HTML
StringPat - Constructor in AST
StringPat - Constructor in Ast
STRONG - Constructor in HTML
STRONG - Constructor in HTML
StrSpec - Constructor in AST
StrSpec - Constructor in Ast
StrSpec - Constructor in AnnotatedAst
STRUCTURE - Constructor in ElaboratedAst
style - Type in HTML.ULStyle
style - Type in HTML.ULStyle
SUB - Constructor in HTML
SUB - Constructor in HTML
submit - Value in HTML.InputType
submit - Value in HTML.InputType
summarize - Value in SUMMARIZER
           generates summary information of the abstract syntax tree.
summarize - Value in Summarizer
SUMMARIZER - signature SUMMARIZER
           signature of module which analyse the elaborated AST and produce the summarized information useful for the document generator.
Summarizer - structure Summarizer
          
SUP - Constructor in HTML
SUP - Constructor in HTML
symArg - Value in ASTUTIL
symArg - Value in AstUtil

T

TABLE - Constructor in HTML
TABLE - Constructor in HTML
table_cell - Datatype in HTML
table_cell - Datatype in HTML
tag - Datatype in DocComment
TagSet - Constructor in ElaboratedAst
tagSet - Datatype in ElaboratedAst
Tb - Constructor in AST
tb - Datatype in AST
Tb - Constructor in Ast
tb - Datatype in Ast
Tb - Constructor in AnnotatedAst
tb - Datatype in AnnotatedAst
TB - Constructor in ElaboratedAst
tb - Datatype in ElaboratedAst
TD - Constructor in HTML
TD - Constructor in HTML
text - Datatype in HTML
          Text *
text - Value in HTML.InputType
text - Datatype in HTML
          Text *
text - Value in HTML.InputType
TEXTAREA - Constructor in HTML
TEXTAREA - Constructor in HTML
TextBlock - Constructor in HTML
TextBlock - Constructor in HTML
TextFlowCtl - structure HTML.TextFlowCtl
TextFlowCtl - structure HTML.TextFlowCtl
TextList - Constructor in HTML
TextList - Constructor in HTML
textList - Value in MakeHTML
TH - Constructor in HTML
TH - Constructor in HTML
TIMES - Value in CM_SEMANTIC
TIMES - Constructor in CMSemantic
tokenizeString - Value in Utility
           break a string into tokens (with escape interpretation facility).
TokenTable - functor TokenTable
           hash table for token recognition.
top - Value in HTML.CaptionAlign
top - Value in HTML.CellVAlign
top - Value in HTML.IAlign
top - Value in HTML.CaptionAlign
top - Value in HTML.CellVAlign
top - Value in HTML.IAlign
toString - Value in HTML.TextFlowCtl
toString - Value in HTML.Shape
toString - Value in HTML.ULStyle
toString - Value in HTML.CaptionAlign
toString - Value in HTML.CellVAlign
toString - Value in HTML.HAlign
toString - Value in HTML.IAlign
toString - Value in HTML.InputType
toString - Value in HTML.HttpMethod
toString - Value in HTML.TextFlowCtl
toString - Value in HTML.Shape
toString - Value in HTML.ULStyle
toString - Value in HTML.CaptionAlign
toString - Value in HTML.CellVAlign
toString - Value in HTML.HAlign
toString - Value in HTML.IAlign
toString - Value in HTML.InputType
toString - Value in HTML.HttpMethod
TR - Constructor in HTML
tr - Datatype in HTML
TR - Constructor in HTML
tr - Datatype in HTML
traceDirection - Datatype in SUMMARIZER
           indicates the direction of trace in the getClosureOfLink
traceDirection - Datatype in Summarizer
Transparent - Constructor in AST
Transparent - Constructor in Ast
Transparent - Constructor in AnnotatedAst
Transparent - Constructor in ElaboratedAst
trPath - Value in PATH_UTILITY
           substitute '\' in the path to '/'.
trPath - Value in PathUtility
TT - Constructor in HTML
TT - Constructor in HTML
TupleParamPat - Constructor in DocComment
TupleParamPat - Constructor in ElaboratedAst
TuplePat - Constructor in AST
TuplePat - Constructor in Ast
TupleTy - Constructor in AST
TupleTy - Constructor in Ast
TupleTy - Constructor in AnnotatedAst
TupleTy - Constructor in ElaboratedAst
          tuple
ty - Datatype in AST
ty - Datatype in Ast
ty - Datatype in AnnotatedAst
ty - Datatype in ElaboratedAst
          TYPES
ty - Type in HTML.InputType
ty - Type in HTML.InputType
TycSpec - Constructor in AST
TycSpec - Constructor in Ast
TycSpec - Constructor in AnnotatedAst
TypeBind - Constructor in Binds
TypeDec - Constructor in AST
TypeDec - Constructor in Ast
TypeDec - Constructor in AnnotatedAst
TypeDefine - Constructor in LinkFile
TypeDefLink - Constructor in Linkage
typeLinkage - Type in Linkage
typeLinkType - Datatype in Linkage
typeReference - Type in ElaboratedAst
TypeReplica - Constructor in LinkFile
TyRow - Constructor in AST
tyrow - Datatype in AST
TyRow - Constructor in Ast
tyrow - Datatype in Ast
tyvar - Type in AST
tyvar - Type in Ast
tyvar - Type in AnnotatedAst
tyvar - Type in ElaboratedAst

U

U - Constructor in HTML
U - Constructor in HTML
U - structure Main.U
UL - Constructor in HTML
UL - Constructor in HTML
ULStyle - structure HTML.ULStyle
ULStyle - structure HTML.ULStyle
uniq - Value in Utility
           filter out repeated elements in a list.
unitExp - Value in ASTUTIL
unitExp - Value in AstUtil
unitPat - Value in ASTUTIL
unitPat - Value in AstUtil
UnknownRef - Constructor in ElaboratedAst
url - Type in HTML
url - Type in HTML
usageHeader - Value in Main
usageInfo - Value in GETOPT
usageInfo - Value in GetOpt
Use - Constructor in Main
UseDec - Constructor in AST
UseDec - Constructor in Ast
Utility - structure Utility
           This module provides functions independent of the specific applications.

V

ValBind - Constructor in Binds
ValDec - Constructor in AST
ValDec - Constructor in Ast
ValDec - Constructor in AnnotatedAst
ValDefine - Constructor in LinkFile
ValrecDec - Constructor in AST
ValrecDec - Constructor in Ast
ValSpec - Constructor in AST
ValSpec - Constructor in Ast
ValSpec - Constructor in AnnotatedAst
ValTypeLink - Constructor in Linkage
VAR - Constructor in HTML
VAR - Constructor in HTML
VarFct - Constructor in AST
VarFct - Constructor in Ast
VarFct - Constructor in AnnotatedAst
VarFct - Constructor in ElaboratedAst
          functor variable
VarFsig - Constructor in AST
VarFsig - Constructor in Ast
VarFsig - Constructor in AnnotatedAst
VarFsig - Constructor in ElaboratedAst
          funsig variable
VarPat - Constructor in AST
VarPat - Constructor in Ast
VarSig - Constructor in AST
VarSig - Constructor in Ast
VarSig - Constructor in AnnotatedAst
VarSig - Constructor in ElaboratedAst
          signature variable
VarStr - Constructor in AST
VarStr - Constructor in Ast
VarStr - Constructor in AnnotatedAst
VarStr - Constructor in ElaboratedAst
          variable structure
VarTy - Constructor in AST
VarTy - Constructor in Ast
VarTy - Constructor in AnnotatedAst
VarTy - Constructor in ElaboratedAst
          type variable
Vb - Constructor in AST
vb - Datatype in AST
Vb - Constructor in Ast
vb - Datatype in Ast
VB - Constructor in ElaboratedAst
vb - Datatype in ElaboratedAst
VectorPat - Constructor in AST
VectorPat - Constructor in Ast
Verbose - Constructor in Main
Version - Constructor in Main
VersionTag - Constructor in DocComment

W

warn - Value in DocumentGenerationParameter
WhereLink - Constructor in Linkage
wherespec - Datatype in AST
wherespec - Datatype in Ast
wherespec - Datatype in AnnotatedAst
wherespec - Datatype in ElaboratedAst
          WHERE SPEC
WhStruct - Constructor in AST
WhStruct - Constructor in Ast
WhStruct - Constructor in AnnotatedAst
WhStruct - Constructor in ElaboratedAst
WhType - Constructor in AST
WhType - Constructor in Ast
WhType - Constructor in AnnotatedAst
WhType - Constructor in ElaboratedAst
WildPat - Constructor in AST
WildPat - Constructor in Ast
WindowTitle - Constructor in Main
WordPat - Constructor in AST
WordPat - Constructor in Ast
writeLinkFile - Value in EXTERNALREF_LINKER
           writes the ENVSet into a link file.
writeLinkFile - Value in ExternalRefLinker

Overview  Index  Help 
SMLDoc: Documentation generator for SML
A B C D E F G H I J K L M N O P Q R S T U V W