Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml_gen


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<plugin>

  <extension point="org.eclipse.emf.ecore.generated_package">
    <package 
       uri = "http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage" 
       class = "hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage"
       genModel = "model/generated/AlloyLanguage.genmodel" /> 
	
  </extension>


</plugin>