Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Specs for java.lang.System, java.lang.Integer, java.lang.Float, java.util.concurrent.atomic.AtomicBoolean/Integer/Long/Reference + Minor improvements to java.util.ArrayList, java.util.LinkedList #21

Merged
merged 95 commits into from
Dec 12, 2023

Conversation

dog-m
Copy link
Collaborator

@dog-m dog-m commented Nov 13, 2023

Key changes:

  • Added spec for java.lang.Float.
  • Added spec for java.lang.System.
  • Added spec for java.lang.SecurityManager.
  • Added spec for java.util.concurrent.atomic.AtomicBoolean.
  • Added spec for java.util.concurrent.atomic.AtomicInteger.
  • Added spec for java.util.concurrent.atomic.AtomicLong.
  • Added spec for java.util.concurrent.atomic.AtomicReference.
  • Added implementation for some incomplete methods in java.util.ArrayList (and relevant classes).
  • Added implementation for some incomplete methods in java.util.LinkedList (and relevant classes).
  • Added partial implementation for java.util.Spliterators.
  • Added more (relevant) type declarations.
  • Repurposed java.util.stream.*Spliterator classes for use as companions of java.util.Spliterators.
  • Introduced utility classes:
    • runtime/utils/SymbolicInputStream
    • runtime/utils/VoidInputStream
    • runtime/utils/VoidOutputStream
  • Minor fixes for java.lang.StringBuffer.
  • Using a newer naming convention for special methods (eg. <clinit> instead of __clinit__).
  • Skeletons for future directions.

…yList.SubList` + Minor simplification via inlining
…l" class implementations + Added relevant type declarations
…g utility "void" I/O stream implementations to a separate package
spec/java/io/Console.lsl Show resolved Hide resolved
spec/java/lang/ClassLoader.lsl Outdated Show resolved Hide resolved
spec/java/lang/Double.main.lsl Show resolved Hide resolved
spec/java/lang/Double.main.lsl Show resolved Hide resolved
spec/java/lang/Double.main.lsl Show resolved Hide resolved
spec/java/util/stream/DoubleStream.lsl Show resolved Hide resolved
spec/java/util/stream/DoubleStream.lsl Outdated Show resolved Hide resolved
spec/runtime/utils/SymbolicInputStream.lsl Outdated Show resolved Hide resolved
spec/runtime/utils/VoidInputStream.lsl Outdated Show resolved Hide resolved
spec/runtime/utils/VoidOutputStream.main.lsl Outdated Show resolved Hide resolved
dog-m added 24 commits November 24, 2023 11:13
…result of `java.lang.Object#toString` constant and non-symbolic
…e description for `java.util.Spliterators` + Minor comment fix for `java.lang.SecurityManager`
…lementation for "array of `Object`s"-focused spliterator automaton
…ator to use one from `java.util.Spliterators`
@alexeev509 alexeev509 merged commit 79ff35f into main Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants