enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 22:01:42 +03:00
Code Issues Projects Releases Wiki Activity

Adjust generateCheckedArgumentRead to return correct expected type (#5769)

Browse Source 
Correctly get the expected type and return an IllegalArgument if no Enso type.

![image](https://user-images.githubusercontent.com/4699705/221263862-bbc122ca-b11f-49f3-b7cf-6294ea811a22.png)
This commit is contained in:
James Dunkerley 2023-02-27 17:23:45 +00:00 committed by GitHub
parent 43144e102e
commit ba3d45e782
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 72 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
engine/runtime/src/main/java/org/enso/interpreter/runtime/builtin/Builtins.java
View File

@ -248,7 +248,7 @@ public class Builtins {
.map(
line -> {
String[] builtinMeta = line.split(":");
if (builtinMeta.length < 2 || builtinMeta.length > 3) {
if (builtinMeta.length < 2 || builtinMeta.length > 4) {
java.lang.System.out.println(Arrays.toString(builtinMeta));
throw new CompilerError("Invalid builtin metadata in: " + line);
}

3
lib/scala/interpreter-dsl/src/main/java/org/enso/interpreter/dsl/BuiltinType.java
View File

@ -12,4 +12,7 @@ public @interface BuiltinType {
/** Fully qualified name as available in stdlib */
String name() default "";
/** Underlying type name of the builtin */
String underlyingTypeName() default "";
}

13
lib/scala/interpreter-dsl/src/main/java/org/enso/interpreter/dsl/BuiltinsProcessor.java
View File

@ -41,7 +41,7 @@ public class BuiltinsProcessor extends AbstractProcessor {
private record Specialized(String owner, String methodName) {}
private Map<Specialized, List<ExecutableElement>> specializedMethods = new HashMap<>();
private final Map<Specialized, List<ExecutableElement>> specializedMethods = new HashMap<>();
@Override
public final boolean process(Set<? extends TypeElement> annotations, RoundEnvironment roundEnv) {
@ -91,11 +91,11 @@ public class BuiltinsProcessor extends AbstractProcessor {
processingEnv.getFiler().createSourceFile(builtinType.fullyQualifiedName());
Optional<String> stdLibName =
annotation.stdlibName().isEmpty() ? Optional.empty() : Optional.of(annotation.stdlibName());
generateBuiltinType(gen, builtinType, stdLibName);
generateBuiltinType(gen, builtinType, stdLibName, elt.getSimpleName().toString());
}
private void generateBuiltinType(
JavaFileObject gen, ClassName builtinType, Optional<String> stdLibName) throws IOException {
JavaFileObject gen, ClassName builtinType, Optional<String> stdLibName, String underlyingTypeName) throws IOException {
try (PrintWriter out = new PrintWriter(gen.openWriter())) {
out.println("package " + builtinType.pkg() + ";");
out.println();
@ -103,8 +103,8 @@ public class BuiltinsProcessor extends AbstractProcessor {
out.println("import " + importPkg + ";");
}
out.println();
String stdLib = stdLibName.map(n -> "(name = \"" + n + "\")").orElse("");
out.println("@BuiltinType" + stdLib);
String builtinTypeAnnotation = "@BuiltinType(" + stdLibName.map(n -> "name = \"" + n + "\", ").orElse("") + "underlyingTypeName = \"" + underlyingTypeName + "\")";
out.println(builtinTypeAnnotation);
out.println("public class " + builtinType.name() + " extends Builtin {");
out.println("""
@Override
@ -238,11 +238,8 @@ public class BuiltinsProcessor extends AbstractProcessor {
annotation.description(),
method.getSimpleName().toString(),
annotation.autoRegister());
} else {
return;
}
} else {
MethodNodeClassGenerator classGenerator =
new NoSpecializationClassGenerator(
method, builtinMethodNode, ownerClass, stdLibOwnerClass);

21
lib/scala/interpreter-dsl/src/main/java/org/enso/interpreter/dsl/MethodProcessor.java
View File

@ -423,7 +423,8 @@ public class MethodProcessor extends BuiltinsMetadataProcessor<MethodProcessor.M
private void generateCheckedArgumentRead(
PrintWriter out, MethodDefinition.ArgumentDefinition arg, String argsArray) {
String castName = "TypesGen.expect" + capitalize(arg.getTypeName());
String builtinName = capitalize(arg.getTypeName());
String castName = "TypesGen.expect" + builtinName;
String varName = mkArgumentInternalVarName(arg);
out.println(" " + arg.getTypeName() + " " + varName + ";");
out.println(" try {");
@ -432,15 +433,19 @@ public class MethodProcessor extends BuiltinsMetadataProcessor<MethodProcessor.M
out.println(" } catch (UnexpectedResultException e) {");
out.println(" com.oracle.truffle.api.CompilerDirectives.transferToInterpreter();");
out.println(" var builtins = EnsoContext.get(this).getBuiltins();");
out.println(
" var expected = builtins.fromTypeSystem(TypesGen.getName(arguments[arg"
+ arg.getPosition()
+ "Idx]));");
out.println(
" var error = builtins.error().makeTypeError(expected, arguments[arg"
out.println(" var ensoTypeName = org.enso.interpreter.runtime.type.ConstantsGen.getEnsoTypeName(\"" + builtinName + "\");");
out.println(" var error = (ensoTypeName != null)");
out.println(" ? builtins.error().makeTypeError(builtins.fromTypeSystem(ensoTypeName), arguments[arg"
+ arg.getPosition()
+ "Idx], \""
+ varName
+ "\")");
out.println(" : builtins.error().makeUnsupportedArgumentsError(new Object[] { arguments[arg"
+ arg.getPosition()
+ "Idx] }, \"Unsupported argument for "
+ varName
+ " expected a "
+ builtinName
+ "\");");
out.println(" throw new PanicException(error,this);");
out.println(" }");
@ -559,7 +564,7 @@ public class MethodProcessor extends BuiltinsMetadataProcessor<MethodProcessor.M
protected MethodMetadataEntry toMetadataEntry(String line) {
String[] elements = line.split(":");
if (elements.length != 4) throw new RuntimeException("invalid builtin metadata entry: " + line);
return new MethodMetadataEntry(elements[0], elements[1], Boolean.valueOf(elements[2]), Boolean.valueOf(elements[3]));
return new MethodMetadataEntry(elements[0], elements[1], Boolean.parseBoolean(elements[2]), Boolean.parseBoolean(elements[3]));
}
private static final String DATAFLOW_ERROR_PROFILE = "IsDataflowErrorConditionProfile";

64
lib/scala/interpreter-dsl/src/main/java/org/enso/interpreter/dsl/TypeProcessor.java
View File

@ -11,7 +11,6 @@ import java.io.PrintWriter;
import java.io.Writer;
import java.util.*;
import org.apache.commons.lang3.StringUtils;
import org.openide.util.lookup.ServiceProvider;
@SupportedAnnotationTypes("org.enso.interpreter.dsl.BuiltinType")
@ -22,12 +21,14 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
private JavaFileObject jfo = null;
private class BuiltinTypeConstr {
private String tpeName;
private String fullName;
private final String tpeName;
private final String fullName;
private final String builtinTypeName;
BuiltinTypeConstr(String tpeName, String fullName) {
BuiltinTypeConstr(String tpeName, String fullName, String builtinTypeName) {
this.tpeName = tpeName;
this.fullName = fullName;
this.builtinTypeName = builtinTypeName;
}
public String getFullName() {
@ -37,6 +38,10 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
public String getTpeName() {
return tpeName;
}
public String getBuiltinTypeName() {
return builtinTypeName;
}
}
public static final String NODE_PKG = "org.enso.interpreter.node.expression.builtin";
@ -71,7 +76,8 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
processingEnv.getFiler(),
ensoTypeName,
pkgName + "." + clazzName,
builtinTypeAnnotation.name());
builtinTypeAnnotation.name(),
builtinTypeAnnotation.underlyingTypeName());
}
}
return true;
@ -87,7 +93,7 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
* @param writer a writer to the metadata resource
* @param pastEntries entries from the previously created metadata file, if any. Entries that
* should not be appended to {@code writer} should be removed
* @throws IOException
* @throws IOException - if an I/O error occurred
*/
@Override
protected void storeMetadata(Writer writer, Map<String, TypeMetadataEntry> pastEntries) throws IOException {
@ -100,6 +106,8 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
+ constr.getTpeName()
+ ":"
+ constr.getFullName()
+ ":"
+ constr.builtinTypeName
+ "\n");
if (pastEntries.containsKey(entry.getKey())) {
pastEntries.remove(entry.getKey());
@ -111,23 +119,42 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
out.println();
out.println("public class " + ConstantsGenClass + " {");
out.println();
var lookup = new HashMap<String, String>();
for (Filer f : builtinTypes.keySet()) {
for (Map.Entry<String, BuiltinTypeConstr> entry : builtinTypes.get(f).entrySet()) {
BuiltinTypeConstr constr = entry.getValue();
if (!constr.getFullName().isEmpty()) {
generateEntry(entry.getKey().toUpperCase(), constr.getFullName(), out);
var name = entry.getKey().toUpperCase();
generateEntry(name, constr.getFullName(), out);
if (!constr.getBuiltinTypeName().equals("")) {
lookup.put(constr.getBuiltinTypeName(), name);
}
}
}
}
pastEntries
.values()
.forEach(
entry ->
entry.stdlibName().ifPresent(n -> generateEntry(entry.ensoName().toUpperCase(), n, out))
);
.forEach((k, v) -> {
v.stdlibName().ifPresent(name -> generateEntry(v.ensoName().toUpperCase(), name, out));
v.builtinTypeName().ifPresent(builtinTypeName -> lookup.put(builtinTypeName, k.toUpperCase()));
});
out.println();
out.println(" public static String getEnsoTypeName(String builtinName) {");
out.println(" return switch (builtinName) {");
out.println(" case \"Long\" -> " + ConstantsGenClass + ".INTEGER;");
out.println(" case \"Double\" -> " + ConstantsGenClass + ".DECIMAL;");
out.println(" case \"Text\" -> " + ConstantsGenClass + ".TEXT;");
lookup.forEach((k, v) ->
out.println(" case \"" + k + "\" -> " + ConstantsGenClass + "." + v + ";")
);
out.println(" default -> null;");
out.println(" };");
out.println(" }");
out.println();
out.println("}");
}
}
@ -152,13 +179,13 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
}
protected void registerBuiltinType(
Filer f, String name, String clazzName, String fullName) {
Filer f, String name, String clazzName, String fullName, String builtinTypeName) {
Map<String, BuiltinTypeConstr> classes = builtinTypes.get(f);
if (classes == null) {
classes = new HashMap<>();
builtinTypes.put(f, classes);
}
classes.put(name, new BuiltinTypeConstr(clazzName, fullName));
classes.put(name, new BuiltinTypeConstr(clazzName, fullName, builtinTypeName));
}
@Override
@ -180,11 +207,11 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
return SourceVersion.latest();
}
public record TypeMetadataEntry(String ensoName, String clazzName, Optional<String> stdlibName) implements MetadataEntry {
public record TypeMetadataEntry(String ensoName, String clazzName, Optional<String> stdlibName, Optional<String> builtinTypeName) implements MetadataEntry {
@Override
public String toString() {
return ensoName + ":" + clazzName + ":" + stdlibName.orElse("");
return ensoName + ":" + clazzName + ":" + stdlibName.orElse("") + ":" + builtinTypeName.orElse("");
}
@Override
@ -201,7 +228,8 @@ public class TypeProcessor extends BuiltinsMetadataProcessor<TypeProcessor.TypeM
public static TypeMetadataEntry fromStringToMetadataEntry(String line) {
String[] elements = line.split(":");
if (elements.length < 2) throw new RuntimeException("invalid builtin metadata entry: " + line);
Optional<String> stdLibName = elements.length == 3 ? Optional.of(elements[2]) : Optional.empty();
return new TypeMetadataEntry(elements[0], elements[1], stdLibName);
Optional<String> stdLibName = elements.length >= 3 ? Optional.of(elements[2]) : Optional.empty();
Optional<String> builtinTypeName = elements.length == 4 ? Optional.of(elements[3]) : Optional.empty();
return new TypeMetadataEntry(elements[0], elements[1], stdLibName, builtinTypeName);
}
}