bottomup-pcf/plugin.xml at master · gnush/bottomup-pcf · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
   <extension
         point="org.eclipse.imp.runtime.languageDescription">
      <language
            extensions="typ"
            description="TypedLambda"
            language="TypedLambda"
            derivedFrom="DynamicRoot"
            validator="TypedLambda.TypedLambdaValidator"
            validatorClass="TypedLambda.TypedLambdaValidator"
      ></language>
   </extension>
   <extension
         id="TypedLambda.parser"
         name="TypedLambda Parser"
         point="org.eclipse.imp.runtime.parser">
      <parser
            class="TypedLambda.TypedLambdaParseController"
            language="TypedLambda">
      </parser>
   </extension>
</plugin>