From 0cc67489f4a0aafdcf95db3ecc08a6da9f24e25e Mon Sep 17 00:00:00 2001 From: Robbie Bise Date: Tue, 19 Mar 2024 13:46:25 -0500 Subject: [PATCH] fix some things break some others --- comp-cli/src/person.py | 4 +-- comp-dotnet/project/MyClass.cs | 2 ++ comp-dotnet/project/Program.cs | 2 +- ....GeneratedMSBuildEditorConfig.editorconfig | 2 +- .../netcoreapp2.2/dotnet-sample.assets.cache | Bin 40726 -> 40726 bytes .../coverage_metrics/CoverageMetrics.java | 25 ++++++++++++------ 6 files changed, 22 insertions(+), 13 deletions(-) diff --git a/comp-cli/src/person.py b/comp-cli/src/person.py index 78f9283..cea717e 100644 --- a/comp-cli/src/person.py +++ b/comp-cli/src/person.py @@ -17,14 +17,12 @@ def __init__(self, first=None, last=None): self.gender = None self.religion = None self.compensation = 0 + return self def store_religion(self, religion): self.religion = religion def compute_pay(self): - # TODO: something - # TODO: something - # TODO: something if self.gender == Person.MALE: self.compensation = SOME_VALUE elif self.gender == Person.FEMALE: diff --git a/comp-dotnet/project/MyClass.cs b/comp-dotnet/project/MyClass.cs index da99e45..9a46bb2 100644 --- a/comp-dotnet/project/MyClass.cs +++ b/comp-dotnet/project/MyClass.cs @@ -6,6 +6,8 @@ public class MyClass { public string ReturnMessage() { + int await = 42; + int async = 42; return "Happy coding!"; } } diff --git a/comp-dotnet/project/Program.cs b/comp-dotnet/project/Program.cs index 8bbe9ca..5301779 100644 --- a/comp-dotnet/project/Program.cs +++ b/comp-dotnet/project/Program.cs @@ -2,7 +2,7 @@ namespace HelloWorld { - class Program + static class Program { static void Main(string[] args) { diff --git a/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.GeneratedMSBuildEditorConfig.editorconfig b/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.GeneratedMSBuildEditorConfig.editorconfig index 7a9dc80..74ddaf9 100644 --- a/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.GeneratedMSBuildEditorConfig.editorconfig +++ b/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.GeneratedMSBuildEditorConfig.editorconfig @@ -1,3 +1,3 @@ is_global = true build_property.RootNamespace = dotnet_sample -build_property.ProjectDir = /Users/theil.bise/repos/monorepo/Monorepo-Example/comp-dotnet/project/ +build_property.ProjectDir = /Users/theil.bise/repos/monorepo/GitHub-Monorepo-Example/comp-dotnet/project/ diff --git a/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.assets.cache b/comp-dotnet/project/obj/Debug/netcoreapp2.2/dotnet-sample.assets.cache index 8e4d66d3832bd0a29f86487bbc18bb09236b8673..ec3f27910b170f3f6c4f65c25887e51f4197157a 100644 GIT binary patch delta 51 zcmV-30L=fEz5RM?nk#002H0%oRM?nk#005GWoet=Rc?|~~?CeVo<`gb!bQ$)_+5iYkAVT{` Jn~Sk1?w;Xm6i@&F diff --git a/comp-maven/src/main/java/coverage_metrics/CoverageMetrics.java b/comp-maven/src/main/java/coverage_metrics/CoverageMetrics.java index 965228c..edfd370 100644 --- a/comp-maven/src/main/java/coverage_metrics/CoverageMetrics.java +++ b/comp-maven/src/main/java/coverage_metrics/CoverageMetrics.java @@ -1,6 +1,7 @@ package coverage_metrics; import java.security.SecureRandom; +import java.util.List; /* * @@ -89,14 +90,22 @@ public static boolean all0sAnd1s(String val){ } return all; } -private int generateRandom() throws java.io.UnsupportedEncodingException{ - SecureRandom sr = new SecureRandom(); - sr.setSeed(123456L); - int v = sr.nextInt(32); - - sr = new SecureRandom("abcdefghijklmnop".getBytes("us-ascii")); - v = sr.nextInt(32); - return v; + } +class Entity implements Cloneable { // Noncompliant, using `Cloneable` + + public int value; + public List children; // deep copy wanted + + @Override + public Entity clone() { + try { + Entity copy = (Entity) super.clone(); // invariant not enforced, because no constructor is caled + copy.children = children.stream().map(Entity::clone).toList(); + return copy; + } catch (CloneNotSupportedException e) { // this will not happen due to behavioral contract + throw new AssertionError(); + } + } }