HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

updated/added cm files 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3093 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-09-19 06:10:47 +00:00
parent 6b81909579
commit de0cb4d9b4
2 changed files with 112 additions and 79 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

163
lib/fxp/src/fxlib.cm
View File

@ -1,96 +1,101 @@
Group is
Catalog/catData.sml
Catalog/catDtd.sml
Catalog/catError.sml
Catalog/catFile.sml
Catalog/catHooks.sml
Catalog/catOptions.sml
Catalog/catParams.sml
Catalog/catParse.sml
Catalog/catResolve.sml
Catalog/catalog.sml
Catalog/socatParse.sml
Parser/Base/base.sml
Parser/Base/baseData.sml
Parser/Base/baseString.sml
Parser/Dfa/dfa.sml
#if(defined(SMLNJ_VERSION))
$/basis.cm
$smlnj/compiler/compiler.cm
#else
#endif
config.sml
Util/utilCompare.sml
Util/utilString.sml
Util/utilError.sml
Util/utilHash.sml
Util/utilInt.sml
Util/utilList.sml
Util/utilTime.sml
Util/intLists.sml
Util/intSets.sml
Util/options.sml
Util/SymDict/key.sml
Util/SymDict/dict.sml
Util/SymDict/symbolTable.sml
Util/SymDict/intSetDict.sml
Util/SymDict/intDict.sml
Util/SymDict/intListDict.sml
Util/SymDict/stringDict.sml
Unicode/Chars/uniChar.sml
Unicode/Chars/charClasses.sml
Unicode/Chars/charVecDict.sml
Unicode/Chars/dataDict.sml
Unicode/Chars/uniRanges.sml
Unicode/Chars/uniClasses.sml
Unicode/Chars/testClasses.sml
Unicode/Uri/uriDecode.sml
Unicode/Uri/uriEncode.sml
Unicode/Uri/uri.sml
Unicode/Uri/uriDict.sml
Unicode/encoding.sml
Unicode/Encode/encodeBasic.sml
Unicode/Encode/encodeError.sml
Unicode/Encode/encodeMisc.sml
Unicode/Encode/encode.sml
Unicode/Decode/decodeFile.sml
Unicode/Decode/decodeError.sml
Unicode/Decode/decodeMisc.sml
Unicode/Decode/decodeUtil.sml
Unicode/Decode/decodeUcs2.sml
Unicode/Decode/decodeUcs4.sml
Unicode/Decode/decodeUtf16.sml
Unicode/Decode/decodeUtf8.sml
Unicode/Decode/decode.sml
Parser/version.sml
Parser/Dfa/dfaData.sml
Parser/Dfa/dfaError.sml
Parser/Dfa/dfaOptions.sml
Parser/Dfa/dfaPassOne.sml
Parser/Dfa/dfaPassThree.sml
Parser/Dfa/dfaPassTwo.sml
Parser/Dfa/dfaString.sml
Parser/Dfa/dfaUtil.sml
Parser/Dtd/dtdAttributes.sml
Parser/Dtd/dtdDeclare.sml
Parser/Dtd/dtdManager.sml
Parser/Dfa/dfaPassOne.sml
Parser/Dfa/dfaPassTwo.sml
Parser/Dfa/dfaPassThree.sml
Parser/Dfa/dfaString.sml
Parser/Dfa/dfa.sml
Parser/Error/errorData.sml
Parser/Error/errorMessage.sml
Parser/Error/errorString.sml
Parser/Error/errorMessage.sml
Parser/Error/errorUtil.sml
Parser/Error/errors.sml
Parser/Error/expected.sml
Parser/Error/errors.sml
Parser/Base/baseData.sml
Parser/Base/baseString.sml
Parser/Base/base.sml
Parser/Params/dtd.sml
Parser/Params/hookData.sml
Parser/Params/hooks.sml
Parser/Params/ignore.sml
Parser/Params/parserOptions.sml
Parser/Params/resolve.sml
Parser/Parse/parseBase.sml
Parser/Parse/parseContent.sml
Parser/Parse/parseDecl.sml
Parser/Parse/parseDocument.sml
Parser/Parse/parseDtd.sml
Parser/Parse/parseLiterals.sml
Parser/Parse/parseMisc.sml
Parser/Parse/parseNames.sml
Parser/Parse/parseRefs.sml
Parser/Parse/parseTags.sml
Parser/Parse/parseXml.sml
Parser/entities.sml
Parser/version.sml
Unicode/Chars/charClasses.sml
Unicode/Chars/charVecDict.sml
Unicode/Chars/dataDict.sml
Unicode/Chars/testClasses.sml
Unicode/Chars/uniChar.sml
Unicode/Chars/uniClasses.sml
Unicode/Chars/uniRanges.sml
Unicode/Decode/decode.sml
Unicode/Decode/decodeError.sml
Unicode/Decode/decodeFile.sml
Unicode/Decode/decodeMisc.sml
Unicode/Decode/decodeUcs2.sml
Unicode/Decode/decodeUcs4.sml
Unicode/Decode/decodeUtf16.sml
Unicode/Decode/decodeUtf8.sml
Unicode/Decode/decodeUtil.sml
Unicode/Encode/encode.sml
Unicode/Encode/encodeBasic.sml
Unicode/Encode/encodeError.sml
Unicode/Encode/encodeMisc.sml
Unicode/Uri/uri.sml
Unicode/Uri/uriDecode.sml
Unicode/Uri/uriDict.sml
Unicode/Uri/uriEncode.sml
Unicode/encoding.sml
Util/SymDict/dict.sml
Util/SymDict/intDict.sml
Util/SymDict/intListDict.sml
Util/SymDict/intSetDict.sml
Util/SymDict/key.sml
Util/SymDict/stringDict.sml
Util/SymDict/symbolTable.sml
Util/intLists.sml
Util/intSets.sml
Util/options.sml
Util/utilCompare.sml
Util/utilError.sml
Util/utilHash.sml
Util/utilInt.sml
Util/utilList.sml
Util/utilString.sml
Util/utilTime.sml
config.sml
Parser/Dtd/dtdDeclare.sml
Parser/Dtd/dtdAttributes.sml
Parser/Dtd/dtdManager.sml
Parser/Parse/parseBase.sml
Parser/Parse/parseNames.sml
Parser/Parse/parseMisc.sml
Parser/Parse/parseXml.sml
Parser/Parse/parseRefs.sml
Parser/Parse/parseLiterals.sml
Parser/Parse/parseTags.sml
Parser/Parse/parseDecl.sml
Parser/Parse/parseDtd.sml
Parser/Parse/parseContent.sml
Parser/Parse/parseDocument.sml
Catalog/catData.sml
Catalog/catDtd.sml
Catalog/catError.sml
Catalog/catParams.sml
Catalog/catFile.sml
Catalog/catHooks.sml
Catalog/catOptions.sml
Catalog/socatParse.sml
Catalog/catParse.sml
Catalog/catalog.sml
Catalog/catResolve.sml
genRandom.sml

28
src/su4uml.cm Normal file
View File

@ -0,0 +1,28 @@
Group is
#if(defined(SMLNJ_VERSION))
$/basis.cm
$smlnj/compiler/compiler.cm
$/smlnj-lib.cm
#else
#endif
../lib/fxp/src/fxlib.cm
library.sml
rep_ocl.sig
rep_ocl.sml
rep_state_machines.sig
rep_state_machines.sml
rep_activity_graphs.sig
rep_activity_graphs.sml
rep_core.sig
rep_core.sml
rep.sig
rep.sml
xmi_ocl.sml
xmi_core.sml
xmi_state_machines.sml
xmi_activity_graphs.sml
xmi.sml
xmltree_parser.sml
xmi_idtable.sml
xml2xmi.sml
xmi2rep.sml