1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
package com.seaofnodes.simple;
import com.seaofnodes.simple.codegen.CodeGen;
import com.seaofnodes.simple.codegen.ParseAllTestSupport;
import com.seaofnodes.simple.type.TypeInteger;
import java.nio.file.Files;
import java.nio.file.Path;
import org.junit.Test;
import static org.junit.Assert.*;
public class ParseAllTest {
@Test public void testTypeOnlyFileHasNoConstructor() throws Exception {
Path base = Path.of("build/objs");
Files.createDirectories(base);
Path root = Files.createTempDirectory(base,"type-only-");
Files.createDirectory(root.resolve("A"));
Files.writeString(root.resolve("A/B.smp"),"int x = 0;");
for( String src : new String[]{
"B? b = null; return 0;",
"val readB = { B b -> 0; }; return 0;"} ) {
Files.writeString(root.resolve("A.smp"),src);
CodeGen code = new CodeGen(root.toString(),root.resolve("obj").toString(),
"A",null,123,true,TypeInteger.BOT).driver(CodeGen.Phase.TypeCheck);
assertEquals("0",Eval2.eval(code,0));
}
}
@Test public void testRequiredTypesBelongToTheirSource() throws Exception {
Path base = Path.of("build/objs");
Files.createDirectories(base);
Path root = Files.createTempDirectory(base,"required-types-");
Files.createDirectory(root.resolve("App"));
Files.writeString(root.resolve("App.smp"),"val marker = 0;");
Files.writeString(root.resolve("App/Main.smp"),"return A.x+C.y;");
Files.writeString(root.resolve("App/A.smp"),"int x = 0; val readB = { B b -> b.x; };");
Files.writeString(root.resolve("App/B.smp"),"int x = 0;");
Files.writeString(root.resolve("App/C.smp"),"int y = 0;");
CodeGen code = new CodeGen(root.toString(),root.resolve("obj").toString(),
"App/Main",null,123,true,TypeInteger.BOT).parse();
ParseAllTestSupport.checkRequiredTypes(code);
}
}
|
