diff --git a/registrar/.project b/registrar/.project new file mode 100644 index 0000000..a7a5759 --- /dev/null +++ b/registrar/.project @@ -0,0 +1,28 @@ + + + registrar + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + + + + 1732679506747 + + 30 + + org.eclipse.core.resources.regexFilterMatcher + node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__ + + + + diff --git a/registrar/.settings/org.eclipse.core.resources.prefs b/registrar/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/registrar/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/registrar/.settings/org.eclipse.jdt.core.prefs b/registrar/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..9a7984b --- /dev/null +++ b/registrar/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,11 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=21 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=21 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning +org.eclipse.jdt.core.compiler.release=enabled +org.eclipse.jdt.core.compiler.source=21 diff --git a/registrar/src/registrar/Main.java b/registrar/src/registrar/Main.java new file mode 100644 index 0000000..1206754 --- /dev/null +++ b/registrar/src/registrar/Main.java @@ -0,0 +1,30 @@ +package registrar; + +import tester.Tester; + +class Examples { + + ILo testList = new Cons( + 1, + new Cons(2, new Mt()) + ); + + void testTest(Tester t) { + t.checkExpect(1, 1); + } +} + +interface ILo {} + +class Cons implements ILo { + + T first; + ILo rest; + + Cons(T first, ILo rest) { + this.first = first; + this.rest = rest; + } +} + +class Mt implements ILo {}