文件名称:use-2.3.0
介绍说明－－下载内容均来自于网络，请自行研究使用
UML设计测试工具，随着UML建模工具的广泛使用，UML的测试也越来越重要，改工具可以对UML图进行全面的语义测试-UML design test tools, as UML modeling tools are used widely, UML testing has become increasingly important tools for change UML diagram of the Semantic comprehensive test
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 95302923use-2.3.0.zip 列表 use-2.3.0/ use-2.3.0/.classpath use-2.3.0/.project use-2.3.0/AUTHORS use-2.3.0/bin/ use-2.3.0/bin/lcp.bat use-2.3.0/bin/use use-2.3.0/bin/use.bat use-2.3.0/build.xml use-2.3.0/ChangeLog use-2.3.0/COPYING use-2.3.0/doc/ use-2.3.0/doc/assl.ps use-2.3.0/doc/AssociationClass.use use-2.3.0/doc/AssociationClass.use.html use-2.3.0/doc/Demo.use use-2.3.0/doc/Demo1.use use-2.3.0/doc/Demo1.use.html use-2.3.0/doc/Demo2.use use-2.3.0/doc/Demo2.use.html use-2.3.0/doc/Employee.use use-2.3.0/doc/Employee1.use use-2.3.0/doc/Employee1.use.html use-2.3.0/doc/Employee2.use use-2.3.0/doc/Employee2.use.html use-2.3.0/doc/Employee3.use use-2.3.0/doc/Employee3.use.html use-2.3.0/doc/gen-img/ use-2.3.0/doc/gen-img/cls-AssociationClass.png use-2.3.0/doc/gen-img/cls-EDP.png use-2.3.0/doc/gen-img/cls-Employee.png use-2.3.0/doc/gen-img/cls-Navigation.png use-2.3.0/doc/gen-img/ob-LinkObject.png use-2.3.0/doc/gen-img/ob-Navigation.png use-2.3.0/doc/gen-img/overview.png use-2.3.0/doc/gen-img/pp-seq-emp-small.png use-2.3.0/doc/gen-img/pp-seq-graph-small.png use-2.3.0/doc/gen-img/pp-seq-rec-small.png use-2.3.0/doc/gen-img/pp1-small.png use-2.3.0/doc/gen-img/pp2-small.png use-2.3.0/doc/gen-img/qt1-small.png use-2.3.0/doc/gen-img/qt2-small.png use-2.3.0/doc/gen-img/qt2a-small.png use-2.3.0/doc/gen-img/qt2b-small.png use-2.3.0/doc/gen-img/qt2c-small.png use-2.3.0/doc/gen-img/qt3-small.png use-2.3.0/doc/gen-img/qt4-small.png use-2.3.0/doc/gen-img/qt4a-small.png use-2.3.0/doc/gen-img/qt5-small.png use-2.3.0/doc/gen-img/qt6-small.png use-2.3.0/doc/gen-img/qt7-small.png use-2.3.0/doc/gen-img/qt8-small.png use-2.3.0/doc/gen-img/qt9a-small.png use-2.3.0/doc/gen-img/qt9b-small.png use-2.3.0/doc/Graph.use use-2.3.0/doc/Graph.use.html use-2.3.0/doc/index.html use-2.3.0/doc/INSTALL use-2.3.0/doc/nc.html use-2.3.0/doc/NestedOperationCalls.use use-2.3.0/doc/NestedOperationCalls.use.html use-2.3.0/doc/NEWS use-2.3.0/doc/pp-seq-emp.png use-2.3.0/doc/pp-seq-graph.png use-2.3.0/doc/pp-seq-rec.png use-2.3.0/doc/pp1.png use-2.3.0/doc/pp2.png use-2.3.0/doc/prepost.html use-2.3.0/doc/qt.html use-2.3.0/doc/qt1.png use-2.3.0/doc/qt2.png use-2.3.0/doc/qt2c.png use-2.3.0/doc/qt3.png use-2.3.0/doc/qt4.png use-2.3.0/doc/qt4a.png use-2.3.0/doc/qt5.png use-2.3.0/doc/qt6.png use-2.3.0/doc/qt7.png use-2.3.0/doc/qt8.png use-2.3.0/doc/qt9a.png use-2.3.0/doc/qt9b.png use-2.3.0/doc/README use-2.3.0/doc/use1.png use-2.3.0/doc/use1a.gif use-2.3.0/doc/use1b.gif use-2.3.0/etc/ use-2.3.0/etc/checkstyle-generator.xml use-2.3.0/etc/checkstyle-use.xml use-2.3.0/etc/help.properties use-2.3.0/etc/java-header-use.txt use-2.3.0/etc/use.el use-2.3.0/etc/use.properties use-2.3.0/etc/USEMonitor.java.template use-2.3.0/examples/ use-2.3.0/examples/AB.cmd use-2.3.0/examples/AB.use use-2.3.0/examples/AB1.cmd use-2.3.0/examples/AB2.cmd use-2.3.0/examples/actionsemantics.cmd use-2.3.0/examples/actionsemantics.use use-2.3.0/examples/AssociationClass.cmd use-2.3.0/examples/AssociationClass.use use-2.3.0/examples/CallSequence.cmd use-2.3.0/examples/CallSequence.use use-2.3.0/examples/CarRental.cmd use-2.3.0/examples/CarRental.use use-2.3.0/examples/CarRental2.cmd use-2.3.0/examples/CarRental2.olt use-2.3.0/examples/CarRental2.use use-2.3.0/examples/Demo-meta.cmd use-2.3.0/examples/Demo-UML.eps use-2.3.0/examples/Demo.cmd use-2.3.0/examples/Demo.use use-2.3.0/examples/Demo0.cmd use-2.3.0/examples/Demo1.cmd use-2.3.0/examples/Demo2.cmd use-2.3.0/examples/Demo3.cmd use-2.3.0/examples/Demo4.cmd use-2.3.0/examples/e.cmd use-2.3.0/examples/Employee.cmd use-2.3.0/examples/Employee.dgm use-2.3.0/examples/Employee.use use-2.3.0/examples/Empty.cmd use-2.3.0/examples/Empty.use use-2.3.0/examples/ex.cmd use-2.3.0/examples/ex.olt use-2.3.0/examples/ex.use use-2.3.0/examples/ex0.cmd use-2.3.0/examples/ex1.cmd use-2.3.0/examples/ex2.cmd use-2.3.0/examples/ex3.cmd use-2.3.0/examples/ex4.cmd use-2.3.0/examples/generator/ use-2.3.0/examples/generator/assl.ps use-2.3.0/examples/generator/reservierung/ use-2.3.0/examples/generator/reservierung/README use-2.3.0/examples/generator/reservierung/result.gif use-2.3.0/examples/generator/reservierung/run.cmd use-2.3.0/examples/generator/schleifen/ use-2.3.0/examples/generator/schleifen/invarianten.txt use-2.3.0/examples/generator/schleifen/README use-2.3.0/examples/generator/schleifen/resultOfRun2.gif use-2.3.0/examples/generator/schleifen/run.cmd use-2.3.0/examples/generator/schleifen/run2.cmd use-2.3.0/examples/generator/vorgaenger/ use-2.3.0/examples/generator/vorgaenger/invarianten.txt use-2.3.0/examples/generator/vorgaenger/README use-2.3.0/examples/generator/vorgaenger/resultOfRun2.gif use-2.3.0/examples/generator/vorgaenger/run.cmd use-2.3.0/examples/generator/vorgaenger/run2.cmd use-2.3.0/examples/generator/vorgaenger/run3.cmd use-2.3.0/examples/generator/vorgaenger/run4.cmd use-2.3.0/examples/generator/waggonkette/ use-2.3.0/examples/generator/waggonkette/README use-2.3.0/examples/generator/waggonkette/result.gif use-2.3.0/examples/generator/waggonkette/run.cmd use-2.3.0/examples/generator/zug.assl use-2.3.0/examples/generator/zug.use use-2.3.0/examples/Grammar.cmd use-2.3.0/examples/Grammar.eps use-2.3.0/examples/Grammar.fig use-2.3.0/examples/Grammar.olt use-2.3.0/examples/Grammar.png use-2.3.0/examples/Grammar.use use-2.3.0/examples/Graph.cmd use-2.3.0/examples/Graph.use use-2.3.0/examples/Job.cmd use-2.3.0/examples/Job.use use-2.3.0/examples/Lists.cmd use-2.3.0/examples/Lists.olt use-2.3.0/examples/Lists.use use-2.3.0/examples/Makefile use-2.3.0/examples/Math.cmd use-2.3.0/examples/Math.use use-2.3.0/examples/monitoring/ use-2.3.0/examples/monitoring/build.lst use-2.3.0/examples/monitoring/Company.java use-2.3.0/examples/monitoring/Employee.use use-2.3.0/examples/monitoring/genmonitor.cmd use-2.3.0/examples/monitoring/Main.java use-2.3.0/examples/monitoring/Person.java use-2.3.0/examples/monitoring/USEMonitor.java use-2.3.0/examples/MultipleInheritance.cmd use-2.3.0/examples/MultipleInheritance.use use-2.3.0/examples/NestedOperationCalls.cmd use-2.3.0/examples/NestedOperationCalls.use use-2.3.0/examples/OCL2MM.cmd use-2.3.0/examples/OCL2MM.use use-2.3.0/examples/OCLmetamodel.cmd use-2.3.0/examples/OCLmetamodel.use use-2.3.0/examples/Person.cmd use-2.3.0/examples/Person.use use-2.3.0/examples/Polygon.cmd use-2.3.0/examples/Polygon.use use-2.3.0/examples/Project.cmd use-2.3.0/examples/Project.use use-2.3.0/examples/README use-2.3.0/examples/RecursiveOperations.cmd use-2.3.0/examples/RecursiveOperations.use use-2.3.0/examples/ReflexiveAssociation.cmd use-2.3.0/examples/ReflexiveAssociation.use use-2.3.0/examples/RoyalAndLoyal.cmd use-2.3.0/examples/RoyalAndLoyal.use use-2.3.0/examples/Student.cmd use-2.3.0/examples/Student.use use-2.3.0/examples/SwapLinks.cmd use-2.3.0/examples/SwapLinks.use use-2.3.0/examples/Test1.cmd use-2.3.0/examples/Test1.use use-2.3.0/examples/TODO use-2.3.0/examples/Tree.cmd use-2.3.0/examples/Tree.use use-2.3.0/examples/Tree2.cmd use-2.3.0/examples/UML13All.cmd use-2.3.0/examples/UML13All.use use-2.3.0/examples/UML13Core.cmd use-2.3.0/examples/UML13Core.use use-2.3.0/images/ use-2.3.0/images/Aggregation.gif use-2.3.0/images/Association.gif use-2.3.0/images/BarchartView.gif use-2.3.0/images/CallStack.gif use-2.3.0/images/Class.gif use-2.3.0/images/ClassDiagram.gif use-2.3.0/images/ClassExtentView.gif use-2.3.0/images/Close.gif use-2.3.0/images/CmdList.gif use-2.3.0/images/CompositeAggregation.gif use-2.3.0/images/Diagram.gif use-2.3.0/images/Generalization.gif use-2.3.0/images/InvariantView.gif use-2.3.0/images/InvFalse.gif use-2.3.0/images/InvNotAvail.gif use-2.3.0/images/InvTrue.gif use-2.3.0/images/LineChartView.gif use-2.3.0/images/LinkCountView.gif use-2.3.0/images/New.gif use-2.3.0/images/ObjectCountView.gif use-2.3.0/images/ObjectDiagram.gif use-2.3.0/images/ObjectProperties.gif use-2.3.0/images/OCL.gif use-2.3.0/images/Open.gif use-2.3.0/images/Print.gif use-2.3.0/images/Save.gif use-2.3.0/images/Select.gif use-2.3.0/images/SequenceDiagram.gif use-2.3.0/images/TreeClosed.gif use-2.3.0/images/TreeCollapsed.gif use-2.3.0/images/TreeExpanded.gif use-2.3.0/images/TreeLeaf.gif use-2.3.0/images/TreeOpen.gif use-2.3.0/images/Undo.gif use-2.3.0/images/use1.gif use-2.3.0/images/Zoom_in.gif use-2.3.0/images/Zoom_out.gif use-2.3.0/INSTALL use-2.3.0/lib/ use-2.3.0/lib/antlr-2.7.4.jar use-2.3.0/lib/antlr-license.txt use-2.3.0/lib/gsbase-license.txt use-2.3.0/lib/gsbase.jar use-2.3.0/lib/junit-license.html use-2.3.0/lib/junit.jar use-2.3.0/lib/libnatGNUReadline.so use-2.3.0/lib/use.jar use-2.3.0/lib/xerces-license.txt use-2.3.0/lib/xerces.jar use-2.3.0/NEWS use-2.3.0/README use-2.3.0/README.OCL use-2.3.0/src/ use-2.3.0/src/main/ use-2.3.0/src/main/org/ use-2.3.0/src/main/org/tzi/ use-2.3.0/src/main/org/tzi/use/ use-2.3.0/src/main/org/tzi/use/config/ use-2.3.0/src/main/org/tzi/use/config/Options.java use-2.3.0/src/main/org/tzi/use/config/package.html use-2.3.0/src/main/org/tzi/use/gen/ use-2.3.0/src/main/org/tzi/use/gen/assl/ use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/ use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GConfiguration.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GCreator.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalAttributeAssignment.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalIfThenElse.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrAny_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrCreateN_C_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrCreate_C.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrDelete_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrDelete_Object.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrInsert_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrSub_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrSub_Seq_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrTry_Assoc_LinkendSeqs.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstrTry_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstruction.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalInstructionList.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalLoop.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalOCLExpression.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalProcedure.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvaluationException.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/GEvalVariableAssignment.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/IGCaller.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/IGChecker.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/IGCollector.java use-2.3.0/src/main/org/tzi/use/gen/assl/dynamics/package.html use-2.3.0/src/main/org/tzi/use/gen/assl/statics/ use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GAssignment.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GAttributeAssignment.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GIfThenElse.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrAny_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrCreateN_C_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrCreate_C.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrDelete_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrDelete_Object.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrInsert_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrSub_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrSub_Seq_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrTry_Assoc_LinkendSeqs.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstrTry_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstruction.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstructionCreator.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GInstructionList.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GLoop.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherAny_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherCreateN_C_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherCreate_C.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherDelete_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherDelete_Object.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherInsert_Assoc_Linkends.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherSub_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherSub_Seq_Integer.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherTry_Assoc_LinkendSeqs.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GMatcherTry_Seq.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GOCLExpression.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GProcedure.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GValueInstruction.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/GVariableAssignment.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/IGInstructionMatcher.java use-2.3.0/src/main/org/tzi/use/gen/assl/statics/package.html use-2.3.0/src/main/org/tzi/use/gen/model/ use-2.3.0/src/main/org/tzi/use/gen/model/GFlaggedInvariant.java use-2.3.0/src/main/org/tzi/use/gen/model/GModel.java use-2.3.0/src/main/org/tzi/use/gen/tool/ use-2.3.0/src/main/org/tzi/use/gen/tool/GChecker.java use-2.3.0/src/main/org/tzi/use/gen/tool/GCollectorImpl.java use-2.3.0/src/main/org/tzi/use/gen/tool/GGenerator.java use-2.3.0/src/main/org/tzi/use/gen/tool/GNoResultException.java use-2.3.0/src/main/org/tzi/use/gen/tool/GProcedureCall.java use-2.3.0/src/main/org/tzi/use/gen/tool/GResult.java use-2.3.0/src/main/org/tzi/use/graph/ use-2.3.0/src/main/org/tzi/use/graph/DirectedEdge.java use-2.3.0/src/main/org/tzi/use/graph/DirectedEdgeBase.java use-2.3.0/src/main/org/tzi/use/graph/DirectedGraph.java use-2.3.0/src/main/org/tzi/use/graph/DirectedGraphBase.java use-2.3.0/src/main/org/tzi/use/graph/GraphException.java use-2.3.0/src/main/org/tzi/use/graph/layout/ use-2.3.0/src/main/org/tzi/use/graph/layout/GraphPanel.java use-2.3.0/src/main/org/tzi/use/graph/layout/LayeredLayout.java use-2.3.0/src/main/org/tzi/use/graph/layout/LayeredLayout_test.java use-2.3.0/src/main/org/tzi/use/graph/layout/Layout.java use-2.3.0/src/main/org/tzi/use/graph/layout/LayoutNode.java use-2.3.0/src/main/org/tzi/use/graph/layout/package.html use-2.3.0/src/main/org/tzi/use/graph/layout/SpringLayout.java use-2.3.0/src/main/org/tzi/use/graph/layout/SpringLayout_test.java use-2.3.0/src/main/org/tzi/use/graph/layout/Test.java.old use-2.3.0/src/main/org/tzi/use/graph/NodeDoesNotExistException.java use-2.3.0/src/main/org/tzi/use/graph/package.html use-2.3.0/src/main/org/tzi/use/gui/ use-2.3.0/src/main/org/tzi/use/gui/main/ use-2.3.0/src/main/org/tzi/use/gui/main/AboutDialog.java use-2.3.0/src/main/org/tzi/use/gui/main/ClassDiagramView.java.1 use-2.3.0/src/main/org/tzi/use/gui/main/CreateObjectDialog.java use-2.3.0/src/main/org/tzi/use/gui/main/EvalOCLDialog.java use-2.3.0/src/main/org/tzi/use/gui/main/LogPanel.java use-2.3.0/src/main/org/tzi/use/gui/main/MainWindow.java use-2.3.0/src/main/org/tzi/use/gui/main/ModelBrowser.java use-2.3.0/src/main/org/tzi/use/gui/main/ModelBrowserSorting.java use-2.3.0/src/main/org/tzi/use/gui/main/package.html use-2.3.0/src/main/org/tzi/use/gui/main/sorting/ use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalAssociationComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalAttributeComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalClassComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalConditionByNameComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalConditionByOperationComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalConditionByPreComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalInvariantByClassComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalInvariantByNameComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/AlphabeticalOperationComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/CompareUtil.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/CompareUtilImpl.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/package.html use-2.3.0/src/main/org/tzi/use/gui/main/sorting/SortingComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderAssociationComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderAttributeComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderClassComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderConditionComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderInvariantComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/sorting/UseFileOrderOperationComparator.java use-2.3.0/src/main/org/tzi/use/gui/main/ViewFrame.java use-2.3.0/src/main/org/tzi/use/gui/main/ViewManager.java use-2.3.0/src/main/org/tzi/use/gui/util/ use-2.3.0/src/main/org/tzi/use/gui/util/CloseOnEscapeKeyListener.java use-2.3.0/src/main/org/tzi/use/gui/util/ExtFileFilter.java use-2.3.0/src/main/org/tzi/use/gui/util/GridBagHelper.java use-2.3.0/src/main/org/tzi/use/gui/util/package.html use-2.3.0/src/main/org/tzi/use/gui/util/PopupListener.java use-2.3.0/src/main/org/tzi/use/gui/util/Selection.java use-2.3.0/src/main/org/tzi/use/gui/util/StatusBar.java use-2.3.0/src/main/org/tzi/use/gui/util/SwingWorker.java use-2.3.0/src/main/org/tzi/use/gui/util/TextComponentWriter.java use-2.3.0/src/main/org/tzi/use/gui/views/ use-2.3.0/src/main/org/tzi/use/gui/views/BarChartView.java use-2.3.0/src/main/org/tzi/use/gui/views/BarChartView_test.java use-2.3.0/src/main/org/tzi/use/gui/views/CallStackView.java use-2.3.0/src/main/org/tzi/use/gui/views/ClassExtentView.java use-2.3.0/src/main/org/tzi/use/gui/views/ClassInvariantDetailsDialog.java use-2.3.0/src/main/org/tzi/use/gui/views/ClassInvariantView.java use-2.3.0/src/main/org/tzi/use/gui/views/CommandView.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/AssociationName.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/BinaryEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/ClassNode.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/ClsDiagramOptions.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/EnumNode.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/NewClassDiagram.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/NewClassDiagramView.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/classdiagram/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/DiagramOptions.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/DiagramView.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/DiamondNode.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/EdgeBase.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/EdgeProperty.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/edges/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/edges/DirectedEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/edges/DirectedEdgeFactory.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/edges/I_DirectedEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/edges/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ActionHide.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ActionHideClassDiagram.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ActionHideObjectDiagram.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ActionLoadLayout.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ActionSaveLayout.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/DiagramMouseHandling.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/HideAdministration.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/HighlightChangeEvent.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/HighlightChangeListener.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/ModelBrowserMouseHandling.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/event/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/GeneralizationEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/HalfEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/LayoutInfos.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/Multiplicity.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/NodeBase.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/NodeEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/NodeOnEdge.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/NodeOnEdgeComparator.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/NewObjectDiagram.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/NewObjectDiagramView.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/ObjDiagramOptions.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/ObjectNode.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/objectdiagram/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/PlaceableNode.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/Rolename.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/Selectable.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/ use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/DashedDirectedLine.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/DirectedGraphic.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/DirectedGraphicFactory.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/DirectedLine.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/DirectedLineFactory.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/FilledDirectedGraphic.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/GUI.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/I_DirectedGraphic.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/I_DirectedLine.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/package.html use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/SimpleDirectedGraphic.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/SolidDirectedLine.java use-2.3.0/src/main/org/tzi/use/gui/views/diagrams/util/Util.java use-2.3.0/src/main/org/tzi/use/gui/views/ExprEvalBrowser.java use-2.3.0/src/main/org/tzi/use/gui/views/LineChartView.java use-2.3.0/src/main/org/tzi/use/gui/views/LineChartView_test.java use-2.3.0/src/main/org/tzi/use/gui/views/LinkCountView.java use-2.3.0/src/main/org/tzi/use/gui/views/ObjectCountView.java use-2.3.0/src/main/org/tzi/use/gui/views/ObjectPropertiesView.java use-2.3.0/src/main/org/tzi/use/gui/views/package.html use-2.3.0/src/main/org/tzi/use/gui/views/PrintableView.java use-2.3.0/src/main/org/tzi/use/gui/views/SequenceDiagram.java use-2.3.0/src/main/org/tzi/use/gui/views/SequenceDiagramView.java use-2.3.0/src/main/org/tzi/use/gui/views/StateEvolutionView.java use-2.3.0/src/main/org/tzi/use/gui/views/StateTreeView.java use-2.3.0/src/main/org/tzi/use/gui/views/View.java use-2.3.0/src/main/org/tzi/use/main/ use-2.3.0/src/main/org/tzi/use/main/DaVinciProcess.java use-2.3.0/src/main/org/tzi/use/main/Main.java use-2.3.0/src/main/org/tzi/use/main/MonitorAspectGenerator.java use-2.3.0/src/main/org/tzi/use/main/package.html use-2.3.0/src/main/org/tzi/use/main/Session.java use-2.3.0/src/main/org/tzi/use/main/shell/ use-2.3.0/src/main/org/tzi/use/main/shell/HelpForCmd.java use-2.3.0/src/main/org/tzi/use/main/shell/ModelToGraph.java use-2.3.0/src/main/org/tzi/use/main/shell/ReadlineStack.java use-2.3.0/src/main/org/tzi/use/main/shell/Shell.java use-2.3.0/src/main/org/tzi/use/parser/ use-2.3.0/src/main/org/tzi/use/parser/AST.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTCmdList.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTCreateAssignCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTCreateCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTCreateInsertCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTDeleteCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTDestroyCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTInsertCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTLetCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTOpEnterCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTOpExitCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTOpExitCmd.java.prj use-2.3.0/src/main/org/tzi/use/parser/cmd/ASTSetCmd.java use-2.3.0/src/main/org/tzi/use/parser/cmd/cmd.g use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdLexer.java use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdLexerTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdLexerTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdParser.java use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/cmd/GCmdTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/cmd/GOCLTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/Context.java use-2.3.0/src/main/org/tzi/use/parser/ExprContext.java use-2.3.0/src/main/org/tzi/use/parser/generator/ use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGAtomicInstruction.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGAttributeAssignment.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGIfThenElse.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGInstruction.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGInstructionParameterInterface.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGLoop.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGocl.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGProcedure.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGProcedureCall.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGValueInstruction.java use-2.3.0/src/main/org/tzi/use/parser/generator/ASTGVariableAssignment.java use-2.3.0/src/main/org/tzi/use/parser/generator/generator.g use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorLexer.java use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorLexerTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorLexerTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorParser.java use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/generator/GGeneratorTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/generator/GUSETokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/MyToken.java use-2.3.0/src/main/org/tzi/use/parser/NOTES use-2.3.0/src/main/org/tzi/use/parser/ocl/ use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTAllInstancesExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTBinaryExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTBooleanLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTCollectionItem.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTCollectionLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTCollectionType.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTElemVarsDeclaration.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTEmptyCollectionLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTEnumLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTEnumTypeDefinition.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTIfExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTIntegerLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTIterateExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTLetExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTOperationExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTQueryExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTRealLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTSimpleType.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTStringLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTTupleItem.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTTupleLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTTuplePart.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTTupleType.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTType.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTTypeArgExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTUnaryExpression.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTUndefinedLiteral.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTVariableDeclaration.java use-2.3.0/src/main/org/tzi/use/parser/ocl/ASTVariableInitialization.java use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLLexer.java use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLLexerTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLLexerTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLParser.java use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/ocl/GOCLTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/ocl/ocl.g use-2.3.0/src/main/org/tzi/use/parser/package.html use-2.3.0/src/main/org/tzi/use/parser/ParseErrorHandler.java use-2.3.0/src/main/org/tzi/use/parser/README use-2.3.0/src/main/org/tzi/use/parser/SemanticException.java use-2.3.0/src/main/org/tzi/use/parser/SrcPos.java use-2.3.0/src/main/org/tzi/use/parser/Symtable.java use-2.3.0/src/main/org/tzi/use/parser/use/ use-2.3.0/src/main/org/tzi/use/parser/USECompiler.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTAssociation.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTAssociationClass.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTAssociationEnd.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTAttribute.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTClass.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTConstraintDefinition.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTInvariantClause.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTModel.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTMultiplicity.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTMultiplicityRange.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTOperation.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTPrePost.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTPrePostClause.java use-2.3.0/src/main/org/tzi/use/parser/use/ASTPropertyCallExpression.java use-2.3.0/src/main/org/tzi/use/parser/use/GOCLTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/use/GUSELexer.java use-2.3.0/src/main/org/tzi/use/parser/use/GUSELexerTokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/use/GUSELexerTokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/use/GUSEParser.java use-2.3.0/src/main/org/tzi/use/parser/use/GUSETokenTypes.java use-2.3.0/src/main/org/tzi/use/parser/use/GUSETokenTypes.txt use-2.3.0/src/main/org/tzi/use/parser/use/use.g use-2.3.0/src/main/org/tzi/use/parser/xml/ use-2.3.0/src/main/org/tzi/use/parser/xml/ContentHandler.java use-2.3.0/src/main/org/tzi/use/parser/xml/Context.java use-2.3.0/src/main/org/tzi/use/parser/xml/LayoutContentHandler.java use-2.3.0/src/main/org/tzi/use/parser/xml/LayoutTags.java use-2.3.0/src/main/org/tzi/use/parser/xml/package.html use-2.3.0/src/main/org/tzi/use/parser/xml/XMLParserAccess.java use-2.3.0/src/main/org/tzi/use/parser/xml/XMLParserAccessImpl.java use-2.3.0/src/main/org/tzi/use/uml/ use-2.3.0/src/main/org/tzi/use/uml/mm/ use-2.3.0/src/main/org/tzi/use/uml/mm/MAggregationKind.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAssociation.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAssociationClass.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAssociationClassImpl.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAssociationEnd.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAssociationImpl.java use-2.3.0/src/main/org/tzi/use/uml/mm/MAttribute.java use-2.3.0/src/main/org/tzi/use/uml/mm/MClass.java use-2.3.0/src/main/org/tzi/use/uml/mm/MClassImpl.java use-2.3.0/src/main/org/tzi/use/uml/mm/MClassInvariant.java use-2.3.0/src/main/org/tzi/use/uml/mm/MGeneralization.java use-2.3.0/src/main/org/tzi/use/uml/mm/MInvalidModelException.java use-2.3.0/src/main/org/tzi/use/uml/mm/MMHTMLPrintVisitor.java use-2.3.0/src/main/org/tzi/use/uml/mm/MMInstanceGenerator.java use-2.3.0/src/main/org/tzi/use/uml/mm/MModel.java use-2.3.0/src/main/org/tzi/use/uml/mm/MModelElement.java use-2.3.0/src/main/org/tzi/use/uml/mm/MModelElementImpl.java use-2.3.0/src/main/org/tzi/use/uml/mm/MMPrintVisitor.java use-2.3.0/src/main/org/tzi/use/uml/mm/MMultiplicity.java use-2.3.0/src/main/org/tzi/use/uml/mm/MMVisitor.java use-2.3.0/src/main/org/tzi/use/uml/mm/MNavigableElement.java use-2.3.0/src/main/org/tzi/use/uml/mm/ModelFactory.java use-2.3.0/src/main/org/tzi/use/uml/mm/MOperation.java use-2.3.0/src/main/org/tzi/use/uml/mm/MPrePostCondition.java use-2.3.0/src/main/org/tzi/use/uml/mm/package.html use-2.3.0/src/main/org/tzi/use/uml/ocl/ use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/EvalContext.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/EvalNode.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/Evaluator.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpAllInstances.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpAny.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpAsType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpAttrOp.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpBagLiteral.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpCollect.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpCollectionLiteral.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpConstBoolean.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpConstEnum.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpConstInteger.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpConstReal.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpConstString.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpEmptyCollection.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpExists.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpForAll.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpIf.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpInvalidException.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpIsKindOf.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpIsTypeOf.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpIsUnique.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpIterate.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpLet.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpNavigation.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpObjAsSet.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpObjOp.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpOne.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpQuery.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpReject.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/Expression.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpressionWithValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpSelect.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpSequenceLiteral.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpSetLiteral.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpSortedBy.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpStdOp.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpTupleLiteral.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpUndefined.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ExpVariable.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/MultiplicityViolationException.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/package.html use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/ThreadedEvaluator.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/VarDecl.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/VarDeclList.java use-2.3.0/src/main/org/tzi/use/uml/ocl/expr/VarInitializer.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/ use-2.3.0/src/main/org/tzi/use/uml/ocl/type/BagType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/BasicType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/BooleanType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/CollectionType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/EnumType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/IntegerType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/ObjectType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/OclAnyType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/package.html use-2.3.0/src/main/org/tzi/use/uml/ocl/type/RealType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/SequenceType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/SetType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/StringType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/TupleType.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/Type.java use-2.3.0/src/main/org/tzi/use/uml/ocl/type/TypeFactory.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/ use-2.3.0/src/main/org/tzi/use/uml/ocl/value/BagValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/BooleanValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/CollectionValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/EnumValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/IntegerValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/ObjectValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/package.html use-2.3.0/src/main/org/tzi/use/uml/ocl/value/RealValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/SequenceValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/SetValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/StringValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/TupleValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/UndefinedValue.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/Value.java use-2.3.0/src/main/org/tzi/use/uml/ocl/value/VarBindings.java use-2.3.0/src/main/org/tzi/use/uml/sys/ use-2.3.0/src/main/org/tzi/use/uml/sys/MCmd.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdCreateAssignObjects.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdCreateInsertObjects.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdCreateObjects.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdDeleteLink.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdDestroyObjects.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdInsertLink.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdLet.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdOpEnter.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdOpExit.java use-2.3.0/src/main/org/tzi/use/uml/sys/MCmdSetAttribute.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLink.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLinkEnd.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLinkImpl.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLinkObject.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLinkObjectImpl.java use-2.3.0/src/main/org/tzi/use/uml/sys/MLinkSet.java use-2.3.0/src/main/org/tzi/use/uml/sys/MObject.java use-2.3.0/src/main/org/tzi/use/uml/sys/MObjectImpl.java use-2.3.0/src/main/org/tzi/use/uml/sys/MObjectState.java use-2.3.0/src/main/org/tzi/use/uml/sys/MOperationCall.java use-2.3.0/src/main/org/tzi/use/uml/sys/MSystem.java use-2.3.0/src/main/org/tzi/use/uml/sys/MSystemException.java use-2.3.0/src/main/org/tzi/use/uml/sys/MSystemState.java use-2.3.0/src/main/org/tzi/use/uml/sys/package.html use-2.3.0/src/main/org/tzi/use/uml/sys/StateChangeEvent.java use-2.3.0/src/main/org/tzi/use/uml/sys/StateChangeListener.java use-2.3.0/src/main/org/tzi/use/util/ use-2.3.0/src/main/org/tzi/use/util/AbstractBag.java use-2.3.0/src/main/org/tzi/use/util/Bag.java use-2.3.0/src/main/org/tzi/use/util/cmd/ use-2.3.0/src/main/org/tzi/use/util/cmd/CannotUndoException.java use-2.3.0/src/main/org/tzi/use/util/cmd/Command.java use-2.3.0/src/main/org/tzi/use/util/cmd/CommandFailedException.java use-2.3.0/src/main/org/tzi/use/util/cmd/CommandProcessor.java use-2.3.0/src/main/org/tzi/use/util/cmd/package.html use-2.3.0/src/main/org/tzi/use/util/CollectionComparator.java use-2.3.0/src/main/org/tzi/use/util/CountReader.java use-2.3.0/src/main/org/tzi/use/util/FilterIterator.java use-2.3.0/src/main/org/tzi/use/util/HashBag.java use-2.3.0/src/main/org/tzi/use/util/HashMultiMap.java use-2.3.0/src/main/org/tzi/use/util/input/ use-2.3.0/src/main/org/tzi/use/util/input/GNUReadline.java use-2.3.0/src/main/org/tzi/use/util/input/LineInput.java use-2.3.0/src/main/org/tzi/use/util/input/natGNUReadline.c use-2.3.0/src/main/org/tzi/use/util/input/package.html use-2.3.0/src/main/org/tzi/use/util/input/Readline.java use-2.3.0/src/main/org/tzi/use/util/input/ReadlineTestReadlineDecorator.java use-2.3.0/src/main/org/tzi/use/util/input/Readline_test.java use-2.3.0/src/main/org/tzi/use/util/input/SocketReadline.java use-2.3.0/src/main/org/tzi/use/util/input/StreamReadline.java use-2.3.0/src/main/org/tzi/use/util/ListNode.java use-2.3.0/src/main/org/tzi/use/util/ListUtil.java use-2.3.0/src/main/org/tzi/use/util/Log.java use-2.3.0/src/main/org/tzi/use/util/MultiMap.java use-2.3.0/src/main/org/tzi/use/util/NullWriter.java use-2.3.0/src/main/org/tzi/use/util/OldUSEWriter.java use-2.3.0/src/main/org/tzi/use/util/package.html use-2.3.0/src/main/org/tzi/use/util/Queue.java use-2.3.0/src/main/org/tzi/use/util/Report.java use-2.3.0/src/main/org/tzi/use/util/StringComparator.java use-2.3.0/src/main/org/tzi/use/util/StringUtil.java use-2.3.0/src/main/org/tzi/use/util/SuffixFileFilter.java use-2.3.0/src/main/org/tzi/use/util/TeeWriter.java use-2.3.0/src/main/org/tzi/use/util/TestBase.java use-2.3.0/src/main/org/tzi/use/util/TestEnv.java use-2.3.0/src/main/org/tzi/use/util/TypedProperties.java use-2.3.0/src/main/org/tzi/use/util/UnaryPredicate.java use-2.3.0/src/main/org/tzi/use/util/UniqueNameGenerator.java use-2.3.0/src/main/org/tzi/use/util/USEWriter.java use-2.3.0/src/test/ use-2.3.0/src/test/org/ use-2.3.0/src/test/org/tzi/ use-2.3.0/src/test/org/tzi/use/ use-2.3.0/src/test/org/tzi/use/AllTests.java use-2.3.0/src/test/org/tzi/use/graph/ use-2.3.0/src/test/org/tzi/use/graph/AllTests.java use-2.3.0/src/test/org/tzi/use/graph/GraphTest.java use-2.3.0/src/test/org/tzi/use/gui/ use-2.3.0/src/test/org/tzi/use/gui/views/ use-2.3.0/src/test/org/tzi/use/gui/views/diagrams/ use-2.3.0/src/test/org/tzi/use/gui/views/diagrams/util/ use-2.3.0/src/test/org/tzi/use/gui/views/diagrams/util/DirectedLineTest.java use-2.3.0/src/test/org/tzi/use/parser/ use-2.3.0/src/test/org/tzi/use/parser/AllTests.java use-2.3.0/src/test/org/tzi/use/parser/bug0009.use use-2.3.0/src/test/org/tzi/use/parser/t1.fail use-2.3.0/src/test/org/tzi/use/parser/t1.use use-2.3.0/src/test/org/tzi/use/parser/t10.fail use-2.3.0/src/test/org/tzi/use/parser/t10.use use-2.3.0/src/test/org/tzi/use/parser/t11.use use-2.3.0/src/test/org/tzi/use/parser/t12.fail use-2.3.0/src/test/org/tzi/use/parser/t12.use use-2.3.0/src/test/org/tzi/use/parser/t13.fail use-2.3.0/src/test/org/tzi/use/parser/t13.use use-2.3.0/src/test/org/tzi/use/parser/t14.use use-2.3.0/src/test/org/tzi/use/parser/t15.use use-2.3.0/src/test/org/tzi/use/parser/t16.fail use-2.3.0/src/test/org/tzi/use/parser/t16.use use-2.3.0/src/test/org/tzi/use/parser/t17.fail use-2.3.0/src/test/org/tzi/use/parser/t17.use use-2.3.0/src/test/org/tzi/use/parser/t18.fail use-2.3.0/src/test/org/tzi/use/parser/t18.use use-2.3.0/src/test/org/tzi/use/parser/t19.fail use-2.3.0/src/test/org/tzi/use/parser/t19.use use-2.3.0/src/test/org/tzi/use/parser/t1a.fail use-2.3.0/src/test/org/tzi/use/parser/t1a.use use-2.3.0/src/test/org/tzi/use/parser/t1b.fail use-2.3.0/src/test/org/tzi/use/parser/t1b.use use-2.3.0/src/test/org/tzi/use/parser/t2.use use-2.3.0/src/test/org/tzi/use/parser/t20a.fail use-2.3.0/src/test/org/tzi/use/parser/t20a.use use-2.3.0/src/test/org/tzi/use/parser/t20b.fail use-2.3.0/src/test/org/tzi/use/parser/t20b.use use-2.3.0/src/test/org/tzi/use/parser/t20c.use use-2.3.0/src/test/org/tzi/use/parser/t20d.fail use-2.3.0/src/test/org/tzi/use/parser/t20d.use use-2.3.0/src/test/org/tzi/use/parser/t3.fail use-2.3.0/src/test/org/tzi/use/parser/t3.use use-2.3.0/src/test/org/tzi/use/parser/t4.use use-2.3.0/src/test/org/tzi/use/parser/t5.fail use-2.3.0/src/test/org/tzi/use/parser/t5.use use-2.3.0/src/test/org/tzi/use/parser/t6.fail use-2.3.0/src/test/org/tzi/use/parser/t6.use use-2.3.0/src/test/org/tzi/use/parser/t7.fail use-2.3.0/src/test/org/tzi/use/parser/t7.use use-2.3.0/src/test/org/tzi/use/parser/t8.use use-2.3.0/src/test/org/tzi/use/parser/t9.fail use-2.3.0/src/test/org/tzi/use/parser/t9.use use-2.3.0/src/test/org/tzi/use/parser/test_expr.in use-2.3.0/src/test/org/tzi/use/parser/test_spec.use use-2.3.0/src/test/org/tzi/use/parser/USECompilerTest.java use-2.3.0/src/test/org/tzi/use/uml/ use-2.3.0/src/test/org/tzi/use/uml/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/mm/ use-2.3.0/src/test/org/tzi/use/uml/mm/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/mm/MAssociationClassTest.java use-2.3.0/src/test/org/tzi/use/uml/mm/MMultiplicityTest.java use-2.3.0/src/test/org/tzi/use/uml/mm/ModelCreationTest.java use-2.3.0/src/test/org/tzi/use/uml/mm/TestModelUtil.java use-2.3.0/src/test/org/tzi/use/uml/ocl/ use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/ use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/EvaluatorTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/ExpQueryTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/ExprNavigationTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/ExpStdOpTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/expr/NavigationTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/type/ use-2.3.0/src/test/org/tzi/use/uml/ocl/type/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/ocl/type/TypeTest.java use-2.3.0/src/test/org/tzi/use/uml/ocl/value/ use-2.3.0/src/test/org/tzi/use/uml/ocl/value/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/ocl/value/ValueTest.java use-2.3.0/src/test/org/tzi/use/uml/sys/ use-2.3.0/src/test/org/tzi/use/uml/sys/AllTests.java use-2.3.0/src/test/org/tzi/use/uml/sys/DeletionTest.java use-2.3.0/src/test/org/tzi/use/uml/sys/LinkTest.java use-2.3.0/src/test/org/tzi/use/uml/sys/MCmdDestroyObjectsTest.java use-2.3.0/src/test/org/tzi/use/uml/sys/MSystemStateTest.java use-2.3.0/src/test/org/tzi/use/uml/sys/ObjectCreation.java use-2.3.0/src/test/org/tzi/use/util/ use-2.3.0/src/test/org/tzi/use/util/AbstractBagTest.java use-2.3.0/src/test/org/tzi/use/util/AllTests.java use-2.3.0/src/test/org/tzi/use/util/FilterIteratorTest.java use-2.3.0/src/test/org/tzi/use/util/HashMultiMapTest.java use-2.3.0/src/test/org/tzi/use/util/ReportTest.java use-2.3.0/src/test/org/tzi/use/util/StringUtilTest.java use-2.3.0/test/ use-2.3.0/test/Makefile use-2.3.0/test/mkcmd.pl use-2.3.0/test/mkout.pl use-2.3.0/test/README use-2.3.0/test/state/ use-2.3.0/test/state/Binary1-bad1.cmd use-2.3.0/test/state/Binary1-good1.cmd use-2.3.0/test/state/Binary1.use use-2.3.0/test/state/Binary2-good1.cmd use-2.3.0/test/state/Binary2.use use-2.3.0/test/state/Empty-good1.cmd use-2.3.0/test/state/Empty.use use-2.3.0/test/state/Makefile use-2.3.0/test/state/Quaternary1-bad1.cmd use-2.3.0/test/state/Quaternary1-good1.cmd use-2.3.0/test/state/Quaternary1.use use-2.3.0/test/state/README use-2.3.0/test/state/Ternary1-bad1.cmd use-2.3.0/test/state/Ternary1-good1.cmd use-2.3.0/test/state/Ternary1.use use-2.3.0/test/state/Ternary2-good1.cmd use-2.3.0/test/state/Ternary2.use use-2.3.0/test/state/Ternary3-bad1.cmd use-2.3.0/test/state/Ternary3-bad2.cmd use-2.3.0/test/state/Ternary3-bad3.cmd use-2.3.0/test/state/Ternary3-bad4.cmd use-2.3.0/test/state/Ternary3-good1.cmd use-2.3.0/test/state/Ternary3.use use-2.3.0/test/t001.in use-2.3.0/test/t001.use use-2.3.0/test/t002.in use-2.3.0/test/t002.use use-2.3.0/test/t003.in use-2.3.0/test/t003.use use-2.3.0/test/t004.in use-2.3.0/test/t004.use use-2.3.0/test/t005.in use-2.3.0/test/t005.use use-2.3.0/test/t006.in use-2.3.0/test/t006.use use-2.3.0/test/t007.in use-2.3.0/test/t007.use use-2.3.0/test/t008.in use-2.3.0/test/t008.use use-2.3.0/test/t009.in use-2.3.0/test/t009.use use-2.3.0/test/t010.in use-2.3.0/test/t010.use use-2.3.0/test/t011.in use-2.3.0/test/t011.use use-2.3.0/test/t012.in use-2.3.0/test/t012.use use-2.3.0/test/t013.in use-2.3.0/test/t013.use use-2.3.0/test/t014.in use-2.3.0/test/t014.use use-2.3.0/test/t015.assl use-2.3.0/test/t015.in use-2.3.0/test/t015.use use-2.3.0/test/t016.in use-2.3.0/test/t016.use use-2.3.0/test/t017.in use-2.3.0/test/t017.use use-2.3.0/test/t018.in use-2.3.0/test/t018.use use-2.3.0/test/t019.in use-2.3.0/test/t019.use use-2.3.0/test/t020.in use-2.3.0/test/t020.use use-2.3.0/test/t021.in use-2.3.0/test/t021.use use-2.3.0/test/t022.in use-2.3.0/test/t022.use use-2.3.0/test/t023.in use-2.3.0/test/t023.use use-2.3.0/test/t024.in use-2.3.0/test/t024.use use-2.3.0/test/t025.in use-2.3.0/test/t025.use use-2.3.0/test/t027.in use-2.3.0/test/t027.use use-2.3.0/test/t028.in use-2.3.0/test/t028.use use-2.3.0/test/t029.in use-2.3.0/test/t029.use