diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/.org.eclipse.egit.core.cmp/.location b/.metadata/.plugins/org.eclipse.core.resources/.projects/.org.eclipse.egit.core.cmp/.location index fa0feae..5eade1a 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/.org.eclipse.egit.core.cmp/.location and b/.metadata/.plugins/org.eclipse.core.resources/.projects/.org.eclipse.egit.core.cmp/.location differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.egit.core/GitProjectData.properties index b11561f..186318c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:09 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.jdt.core/state.dat index c9df7ac..6ae54aa 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.jdt.core/state.dat and b/.metadata/.plugins/org.eclipse.core.resources/.projects/abstraction/org.eclipse.jdt.core/state.dat differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.egit.core/GitProjectData.properties index b11561f..a11985c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:08 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.jdt.core/state.dat deleted file mode 100644 index 07ee1e1..0000000 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/accumulators/org.eclipse.jdt.core/state.dat and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.egit.core/GitProjectData.properties index b11561f..186318c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:09 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.jdt.core/state.dat deleted file mode 100644 index 18aac2a..0000000 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/fibonacci/org.eclipse.jdt.core/state.dat and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.egit.core/GitProjectData.properties index b11561f..186318c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:09 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.jdt.core/state.dat deleted file mode 100644 index 40e7df2..0000000 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/generics/org.eclipse.jdt.core/state.dat and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.egit.core/GitProjectData.properties index b11561f..186318c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:09 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.jdt.core/state.dat index 7a19154..12a011a 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.jdt.core/state.dat and b/.metadata/.plugins/org.eclipse.core.resources/.projects/mastermind/org.eclipse.jdt.core/state.dat differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.egit.core/GitProjectData.properties b/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.egit.core/GitProjectData.properties index b11561f..186318c 100644 --- a/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.egit.core/GitProjectData.properties +++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.egit.core/GitProjectData.properties @@ -1,3 +1,3 @@ #GitProjectData -#Thu Nov 21 00:04:34 EST 2024 +#Tue Dec 03 08:17:09 EST 2024 .gitdir=../.git diff --git a/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.jdt.core/state.dat b/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.jdt.core/state.dat index dbaef6a..6ae54aa 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.jdt.core/state.dat and b/.metadata/.plugins/org.eclipse.core.resources/.projects/trees/org.eclipse.jdt.core/state.dat differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index b/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index index 54ab559..9d5973b 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index and b/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index differ diff --git a/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources b/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources index 25679c2..598f386 100644 Binary files a/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources and b/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources differ diff --git a/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs index c0e492e..217c0c1 100644 --- a/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs +++ b/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -1,4 +1,4 @@ eclipse.preferences.version=1 -platformState=898993722738329 +platformState=912091304600930 quickStart=false tipsAndTricks=true diff --git a/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi b/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi index f3092d8..4672f74 100644 --- a/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi +++ b/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi @@ -1,14 +1,14 @@ - + activeSchemeId:org.eclipse.ui.defaultAcceleratorConfiguration - + - + topLevel shellMaximized @@ -139,7 +139,7 @@ - + org.eclipse.e4.secondaryDataStack Java Debug @@ -229,29 +229,17 @@ categoryTag:Help - + EditorStack org.eclipse.e4.primaryDataStack - - + + Editor removeOnHide org.eclipse.jdt.ui.CompilationUnitEditor - - - Editor - removeOnHide - org.eclipse.jdt.ui.CompilationUnitEditor - - - - Editor - removeOnHide - org.eclipse.jdt.ui.CompilationUnitEditor - - - + + Editor removeOnHide org.eclipse.jdt.ui.CompilationUnitEditor @@ -287,7 +275,7 @@ - + View categoryTag:General @@ -453,7 +441,7 @@ Draggable - + toolbarSeparator @@ -461,8 +449,8 @@ Draggable - - + + toolbarSeparator @@ -486,7 +474,7 @@ Draggable - + toolbarSeparator diff --git a/.metadata/.plugins/org.eclipse.jdt.core/1012296427.index b/.metadata/.plugins/org.eclipse.jdt.core/1012296427.index deleted file mode 100644 index 9f4b29a..0000000 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/1012296427.index and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/1865797976.index b/.metadata/.plugins/org.eclipse.jdt.core/1865797976.index index b1ec210..1039909 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/1865797976.index and b/.metadata/.plugins/org.eclipse.jdt.core/1865797976.index differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/3443351165.index b/.metadata/.plugins/org.eclipse.jdt.core/3443351165.index deleted file mode 100644 index 75e221d..0000000 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/3443351165.index and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/3487212494.index b/.metadata/.plugins/org.eclipse.jdt.core/3487212494.index index ac90d14..b84aedc 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/3487212494.index and b/.metadata/.plugins/org.eclipse.jdt.core/3487212494.index differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/3659629937.index b/.metadata/.plugins/org.eclipse.jdt.core/3659629937.index deleted file mode 100644 index b12f723..0000000 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/3659629937.index and /dev/null differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/assumedExternalFilesCache b/.metadata/.plugins/org.eclipse.jdt.core/assumedExternalFilesCache index 593f470..b2eff76 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/assumedExternalFilesCache and b/.metadata/.plugins/org.eclipse.jdt.core/assumedExternalFilesCache differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache b/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache index 3f04136..6c79ce8 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache and b/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps b/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps index 2fe9678..04f4de1 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps and b/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/nonChainingJarsCache b/.metadata/.plugins/org.eclipse.jdt.core/nonChainingJarsCache index b2eff76..beec669 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/nonChainingJarsCache and b/.metadata/.plugins/org.eclipse.jdt.core/nonChainingJarsCache differ diff --git a/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt b/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt index 3269009..fc057ec 100644 --- a/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt +++ b/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt @@ -1,10 +1,9 @@ -INDEX VERSION 1.134+/home/jacob/Projects/CS3/.metadata/.plugins/org.eclipse.jdt.core -3443351165.index -3024544230.index -1865797976.index +INDEX VERSION 1.134+/home/jacob/School/CS3/.metadata/.plugins/org.eclipse.jdt.core 972395290.index -1012296427.index -3659629937.index -3051291202.index +500292351.index +783481251.index +1865797976.index 365334263.index +3051291202.index 3487212494.index +2954488155.index diff --git a/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat b/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat index f9f1180..7a7864c 100644 Binary files a/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat and b/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat differ diff --git a/.metadata/.plugins/org.eclipse.jdt.ui/dialog_settings.xml b/.metadata/.plugins/org.eclipse.jdt.ui/dialog_settings.xml index 8e0e177..663fb61 100644 --- a/.metadata/.plugins/org.eclipse.jdt.ui/dialog_settings.xml +++ b/.metadata/.plugins/org.eclipse.jdt.ui/dialog_settings.xml @@ -35,16 +35,16 @@
- + - +
- + - +
diff --git a/.metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml b/.metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml index 50881cd..e843527 100644 --- a/.metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml +++ b/.metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml @@ -7,17 +7,26 @@ +
- - + + - - + +
+
+ + +
+
+ + +
diff --git a/.metadata/version.ini b/.metadata/version.ini index 8742cf6..ac80da1 100644 --- a/.metadata/version.ini +++ b/.metadata/version.ini @@ -1,3 +1,3 @@ -#Mon Nov 25 21:18:51 EST 2024 +#Tue Dec 03 08:16:11 EST 2024 org.eclipse.core.runtime=2 org.eclipse.platform=4.33.0.v20240903-0240 diff --git a/abstraction/.classpath b/abstraction/.classpath deleted file mode 100644 index 91fefed..0000000 --- a/abstraction/.classpath +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - diff --git a/deque/.project b/deque/.project new file mode 100644 index 0000000..d5830f6 --- /dev/null +++ b/deque/.project @@ -0,0 +1,28 @@ + + + deque + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + + + + 1733232021426 + + 30 + + org.eclipse.core.resources.regexFilterMatcher + node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__ + + + + diff --git a/deque/.settings/org.eclipse.core.resources.prefs b/deque/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..99f26c0 --- /dev/null +++ b/deque/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/=UTF-8 diff --git a/deque/.settings/org.eclipse.jdt.core.prefs b/deque/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..9a7984b --- /dev/null +++ b/deque/.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/deque/src/deque/Main.java b/deque/src/deque/Main.java new file mode 100644 index 0000000..0ee3146 --- /dev/null +++ b/deque/src/deque/Main.java @@ -0,0 +1,68 @@ +package deque; + +import tester.Tester; + +class Examples { + + Sentinel exampleSentinel; + + void init() { + exampleSentinel = new Sentinel(); + } + + void testSentinel(Tester t) { + init(); + t.checkExpect(exampleSentinel.nxt, exampleSentinel); + } +} + +// A doubly-linked list element. +abstract class ANode { + + PointsTo nxt; // Next element. + PointsTo pre; // Previous element. + + ANode(PointsTo nxt, PointsTo pre) { + this.nxt = nxt; + this.pre = pre; + } +} + +// Self-referential node. +abstract class ASRefNode { + + ASRefNode nxt; + ASRefNode pre; + + ASRefNode() { + this.nxt = this; + this.pre = this; + } +} + +class Deque { + + Sentinel sentinel; + + Deque(Sentinel sentinel) { + this.sentinel = sentinel; + } +} + +class Sentinel extends ANode> { + + Sentinel() { + super(null, null); + this.nxt = this; + } +} + +class Node extends ANode> { + + T val; + + Node(T val) { + super(null, null); + this.val = val; + } +} diff --git a/trees/.classpath b/trees/.classpath deleted file mode 100644 index 91fefed..0000000 --- a/trees/.classpath +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - -