org.eclipse.viatra2.core2/plugin.xml

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

     <extension-point id="modelimport" name="Model Import Interface" schema="schema/modelimport.exsd"/>
   <extension-point id="programloader" name="Program Model Loader Interface" schema="schema/programloader.exsd"/>
   <extension-point id="nativefunction" name="Native Function Extension Point" schema="schema/nativefunction.exsd"/>
   <extension-point id="codeout" name="code output plugin" schema="schema/codeout.exsd"/>
   <extension-point id="logger" name="logger" schema="schema/logger.exsd"/>
   <extension-point id="interpreter" name="interpreter" schema="schema/interpreter.exsd"/>
   <extension-point id="properties" name="properties" schema="schema/properties.exsd"/>
   <extension-point id="wizardcontributor" name="New Modelspace Wizard Contributor" schema="schema/wizardcontributor.exsd"/>
   <extension-point id="frameworkservice" name="VIATRA Framework Service" schema="schema/frameworkservice.exsd"/>
 <extension
         point="org.eclipse.viatra2.core2.codeout">
      <codeout
            class="org.eclipse.viatra2.codegen.FileCodeFormatter"/>
   </extension>
   <extension
         point="org.eclipse.viatra2.core2.logger">
      <logger class="org.eclipse.viatra2.logger.SimpleLoggerFactory"/>
   </extension>
   <extension
         point="org.eclipse.viatra2.core2.nativefunction">
      <function class="org.eclipse.viatra2.natives.AdderFunction"/>
      <function class="org.eclipse.viatra2.natives.ExistsFunction"/>
      <function class="org.eclipse.viatra2.natives.SysTimeFunction"/>
      <function class="org.eclipse.viatra2.natives.CleanFunction"/>
      <function class="org.eclipse.viatra2.buffers.GetBuffer"/>
      <function
            class="org.eclipse.viatra2.natives.GetVIATRAID">
      </function>
      <function
            class="org.eclipse.viatra2.natives.MeasureMemoryFootprintFunction">
      </function>
      <function class="org.eclipse.viatra2.buffers.ClearBuffer"/>
      <function class="org.eclipse.viatra2.buffers.FlushBuffer"/>
      <function
            class="org.eclipse.viatra2.natives.RandomDoubleFunction">
      </function>
      <function
            class="org.eclipse.viatra2.natives.RandomIntegerFunction">
      </function>
      
     
   </extension>
   <extension
         point="org.eclipse.viatra2.core2.wizardcontributor">
      <category
            id="vpm"
            name="VPM Core"/>
      <model
            categoryID="vpm"
            description="The Visual and Precise Metamodeling language core metamodel by Daniel Varro"
            file_vpml="model/vpmcore.vpml"
            file_vtml="model/vpmcore.vtml"
            id="org.eclipse.viatra2.core2.vpmcoremodel"
            name="VPM Core and Datatypes metamodel"/>
   </extension>
   <extension
         point="org.eclipse.viatra2.core2.properties">
      <propertyprovider class="org.eclipse.viatra2.framework.properties.providers.VPMLoggerPropertyProvider"/>
      <propertyprovider
            class="org.eclipse.viatra2.framework.properties.providers.VPMCorePropertyProvider">
      </propertyprovider>
      <!-- <propertyprovider
            class="org.eclipse.viatra2.modelChecker.ModelCheckerPropertyProvider">
      </propertyprovider> -->
   </extension>
   <extension
         point="org.eclipse.core.runtime.adapters">
      <factory
            adaptableType="org.eclipse.core.resources.IResource"
            class="org.eclipse.viatra2.errors.reporting.internal.FileToMarkerManager">
         <adapter
               type="org.eclipse.viatra2.errors.reporting.IErrorReporter">
         </adapter>
      </factory>
   </extension>
 
</plugin>