Document overlay class and overlay method models

Owen Jones · Owen Jones · commit 7cf35b104816 · 2018-09-14T14:09:44.000+01:00
diff --git a/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java
@@ -1,4 +1,8 @@
 package org.cprover;
 
+/**
+ * Overlay classes are documented above `is_overlay_class()` in
+ * jbmc/src/java_bytecode/java_class_loader.cpp.
+ */
 public @interface OverlayClassImplementation {
 }
diff --git a/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java
@@ -1,4 +1,8 @@
 package org.cprover;
 
+/**
+ * Overlay methods are documented above
+ * `java_bytecode_convert_classt::is_overlay_method`.
+ */
 public @interface OverlayMethodImplementation {
 }

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,8 @@`
`1`	`1`	`package org.cprover;`
`2`	`2`
	`3`	`+/**`
	`4`	+ * Overlay classes are documented above `is_overlay_class()` in
	`5`	`+ * jbmc/src/java_bytecode/java_class_loader.cpp.`
	`6`	`+ */`
`3`	`7`	`public @interface OverlayClassImplementation {`
`4`	`8`	`}`