(refs #7595) Started SCL/Reflection module

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / java / ReflectionJavaModule.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/ReflectionJavaModule.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/ReflectionJavaModule.java
new file mode 100644 (file)
index 0000000..dab0056
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/ReflectionJavaModule.java
@@ -0,0 +1,51 @@
+package org.simantics.scl.compiler.elaboration.java;
+
+import org.cojen.classfile.TypeDesc;
+import org.osgi.service.component.annotations.Component;
+import org.simantics.scl.compiler.common.names.Name;
+import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
+import org.simantics.scl.compiler.elaboration.expressions.EApply;
+import org.simantics.scl.compiler.elaboration.expressions.EExternalConstant;
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.elaboration.macros.MacroRule;
+import org.simantics.scl.compiler.elaboration.modules.SCLValue;
+import org.simantics.scl.compiler.internal.codegen.types.StandardTypeConstructor;
+import org.simantics.scl.compiler.module.ConcreteModule;
+import org.simantics.scl.compiler.module.repository.ModuleRepository;
+import org.simantics.scl.compiler.types.TCon;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.kinds.Kinds;
+
+@Component
+public class ReflectionJavaModule extends ConcreteModule {
+    
+    public static ReflectionJavaModule INSTANCE = new ReflectionJavaModule();
+
+    public ReflectionJavaModule() {
+        super("SCL/ReflectionJava");
+        
+        // ModuleRepository type
+        TCon ModuleRepository = Types.con(getName(), "ModuleRepository");
+        StandardTypeConstructor markerConstructor = new StandardTypeConstructor(ModuleRepository,
+                Kinds.STAR, TypeDesc.forClass(ModuleRepository.class));
+        markerConstructor.external = true;
+        addTypeDescriptor("ModuleRepository", markerConstructor);
+        
+        // MODULE_REPOSITORY value
+        SCLValue value = new SCLValue(Name.create(getName(), "MODULE_REPOSITORY"));
+        value.setType(Types.functionE(Types.PUNIT, Types.NO_EFFECTS, ModuleRepository));
+        value.setMacroRule(new MacroRule() {
+            @Override
+            public Expression apply(SimplificationContext context, Type[] typeParameters, EApply apply) {
+                if(apply.parameters.length != 1)
+                    return null;
+                return new EExternalConstant(context.getCompilationContext().moduleRepository, ModuleRepository);
+            }
+        });
+        addValue(value);
+        
+        setParentClassLoader(getClass().getClassLoader());
+    }
+
+}