Doc edits

Convex-Dev · Oct 8, 2024 · 2303452 · 2303452
1 parent 20be455
commit 2303452
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/convex-core/src/main/java/convex/core/data/Cells.java b/convex-core/src/main/java/convex/core/data/Cells.java
@@ -265,7 +265,7 @@ public static void visitBranches(ACell a, Consumer<ACell> visitor) {
 	/**
 	 * Intern a Cell permanently in memory (for JVM lifetime). 
 	 * 
-	 * SECURITY: do not do this for any generated structure from external sources. The could DoS your memory.
+	 * SECURITY: do not do this for any generated structure from external sources. Attackers could DoS your memory.
 	 * 
 	 * @param <T> Type of Cell
 	 * @param value Value to intern

diff --git a/convex-core/src/main/java/convex/core/data/Encoder.java b/convex-core/src/main/java/convex/core/data/Encoder.java
@@ -4,7 +4,7 @@
 import convex.core.store.AStore;
 
 /**
- * Encoder for stores
+ * Encoder for CAD3 data / stores
  */
 public class Encoder {
 

diff --git a/convex-core/src/main/java/convex/core/data/Format.java b/convex-core/src/main/java/convex/core/data/Format.java
@@ -622,7 +622,6 @@ private static ANumeric readNumeric(byte tag, Blob blob, int offset) throws BadF
 		// TODO Auto-generated method stub
 		if (tag<0x19) return CVMLong.read(tag,blob,offset);
 		if (tag == 0x19) return CVMBigInteger.read(blob,offset);
-		// Double is special, we enforce a canonical NaN
 		if (tag == Tag.DOUBLE) return CVMDouble.read(tag,blob,offset);
 
 		throw new BadFormatException(badTagMessage(tag));