MDValidator:Eclipse插件，可在MagicDraw模型上基于IncQuery模式进行验证
需积分: 10 167 浏览量
2021-05-09
09:57:09
上传
评论
收藏 33.91MB ZIP 举报
MDValidator-master.zip （66个子文件） 
MDValidator-master hu.bme.mit.inf.mdvalidator.patternloader bin 
.gitignore 4B META-INF MANIFEST.MF 554B .settings org.eclipse.jdt.core.prefs 357B src hu bme mit inf mdvalidator patternloader PatternLoader.java 3KB .project 673B build.properties 76B .classpath 369B example_project bin test.eiq 2KB Example_Microwave.mdzip 187KB .settings org.eclipse.jdt.core.prefs 587B src test.eiq 2KB .project 374B .classpath 295B hu.bme.mit.inf.validator.gui bin .gitignore 4B
swing2swt.jar 32KB META-INF MANIFEST.MF 1KB uml2.jar 2.99MB icons 
show_categories.gif 387B match.gif 923B pattern2.gif 939B sample2.gif 983B toc_open.gif 583B delete_obj.gif 351B pattern.gif 923B sample.gif 983B signed_yes.gif 72B import_wiz.gif 327B clear.gif 545B match2.gif 336B .settings org.eclipse.jdt.core.prefs 357B src hu bme mit inf validator gui OpenFileHandler.java 2KB DeleteSelHandler.java 2KB ClearRepoHandler.java 948B views SpecificationManager.java 683B SpecificationItem.java 3KB MDValidationView.java 10KB SpecificationLabelProvider.java 1KB LoadFromEiqHandler.java 3KB RegisterPatternsHandler.java 4KB ValidateMDModelHandler.java 3KB .project 661B md_api.jar 15.73MB build.properties 104B .classpath 573B plugin.xml 8KB md_foundation_1.0.jar 74KB hu.bme.mit.inf.mdvalidator.core bin .gitignore 4B META-INF MANIFEST.MF 447B .settings org.eclipse.jdt.core.prefs 357B src hu bme mit inf mdvalidator core Matcher.java 1KB MDQuerySpecificationRegistry.java 4KB Record.java 990B .project 664B build.properties 76B .classpath 369B README.md 236B hu.bme.mit.inf.mdvalidator.magicdrawmodelprovider bin .gitignore 4B META-INF MANIFEST.MF 469B uml2.jar 2.99MB .settings org.eclipse.jdt.core.prefs 357B src hu bme mit inf mdvalidator magicdrawmodelprovider MagicDrawModelProvider.java 5KB .project 682B md_api.jar 15.73MB build.properties 76B .classpath 522B md_foundation_1.0.jar 74KB资源评论
