-\r
-lcl_OBJECTS = lsymbolSet$O sigNodeSet$O \\r
- lslOpSet$O sortSet$O initDeclNodeList$O \\r
- sortList$O declaratorInvNodeList$O \\r
- interfaceNodeList$O sortSetList$O \\r
- declaratorNodeList$O letDeclNodeList$O \\r
- stDeclNodeList$O storeRefNodeList$O \\r
- lslOpList$O lsymbolList$O \\r
- termNodeList$O ltokenList$O \\r
- traitRefNodeList$O pairNodeList$O \\r
- typeNameNodeList$O fcnNodeList$O \\r
- paramNodeList$O programNodeList$O \\r
- varDeclarationNodeList$O varNodeList$O \\r
- quantifierNodeList$O replaceNodeList$O \\r
- importNodeList$O tokentable$O scan$O \\r
- scanline$O lslparse$O lh$O \\r
- checking$O lclctypes$O imports$O \\r
- lslinit$O syntable$O \\r
- usymtab_interface$O abstract$O ltoken$O \\r
- lclscanline$O lclsyntable$O \\r
- lcltokentable$O sort$O symtable$O \\r
- lclinit$O shift$O lclscan$O \\r
- lsymbol$O mapping$O\r
-\r
-splint_OBJECTS = cgrammar$O cscanner$O \\r
- mtscanner$O mtgrammar$O llgrammar$O \\r
- signature$O cppmain$O cpplib$O \\r
- cppexp$O cpphash$O cpperror$O \\r
- context$O uentry$O cprim$O \\r
- macrocache$O qual$O qtype$O \\r
- stateClause$O stateClauseList$O ctype$O \\r
- cvar$O clabstract$O idDecl$O \\r
- clause$O globalsClause$O \\r
- modifiesClause$O warnClause$O \\r
- functionClause$O functionClauseList$O \\r
- metaStateConstraint$O metaStateConstraintList$O \\r
- metaStateExpression$O metaStateSpecifier$O \\r
- functionConstraint$O pointers$O \\r
- structNames$O transferChecks$O \\r
- varKinds$O nameChecks$O exprData$O \\r
- cstring$O fileloc$O message$O \\r
- inputStream$O fileTable$O \\r
- cstringTable$O valueTable$O \\r
- stateValue$O llerror$O messageLog$O \\r
- flagMarker$O aliasTable$O ynm$O \\r
- sRefTable$O genericTable$O ekind$O \\r
- usymtab$O multiVal$O lltok$O \\r
- sRef$O lcllib$O randomNumbers$O \\r
- fileLib$O globals$O \\r
- flags$O general$O osd$O \\r
- reader$O mtreader$O clauseStack$O \\r
- filelocStack$O cstringList$O \\r
- cstringSList$O sRefSetList$O \\r
- ctypeList$O enumNameList$O \\r
- enumNameSList$O exprNodeList$O \\r
- exprNodeSList$O uentryList$O \\r
- fileIdList$O filelocList$O qualList$O \\r
- sRefList$O flagMarkerList$O \\r
- idDeclList$O flagSpec$O globSet$O \\r
- intSet$O typeIdSet$O guardSet$O \\r
- usymIdSet$O sRefSet$O stateInfo$O \\r
- stateCombinationTable$O metaStateTable$O \\r
- metaStateInfo$O annotationTable$O \\r
- annotationInfo$O mttok$O \\r
- mtDeclarationNode$O mtDeclarationPieces$O \\r
- mtDeclarationPiece$O mtContextNode$O \\r
- mtValuesNode$O mtDefaultsNode$O \\r
- mtAnnotationsNode$O mtMergeNode$O \\r
- mtAnnotationList$O mtAnnotationDecl$O \\r
- mtTransferClauseList$O mtTransferClause$O \\r
- mtTransferAction$O mtLoseReferenceList$O \\r
- mtLoseReference$O mtDefaultsDeclList$O \\r
- mtDefaultsDecl$O mtMergeItem$O \\r
- mtMergeClause$O mtMergeClauseList$O \\r
- exprNode$O exprChecks$O llmain$O \\r
- help$O rcfiles$O constraintGeneration$O \\r
- constraintTerm$O constraintExprData$O \\r
- constraintExpr$O constraint$O \\r
- constraintList$O constraintResolve$O \\r
- constraintOutput$O loopHeuristics$O snprintf$O\r