Add new constants to ASAtom (#696)

Author: LonelyMidoriya

src/main/java/org/verapdf/as/ASAtom.java

@@ -264,6 +264,7 @@ public class ASAtom implements Comparable<ASAtom> {
     public static final ASAtom FDF = new ASAtom("FDF");
     public static final ASAtom FF = new ASAtom("Ff");
     public static final ASAtom FIELDS = new ASAtom("Fields");
+    public static final ASAtom FIGURE = new ASAtom("Figure");
     public static final ASAtom FILE_ATTACHMENT = new ASAtom("FileAttachment");
     public static final ASAtom FILESPEC = new ASAtom("Filespec");
     public static final ASAtom FILTER = new ASAtom("Filter");
@@ -288,6 +289,7 @@ public class ASAtom implements Comparable<ASAtom> {
     public static final ASAtom FONT_WEIGHT = new ASAtom("FontWeight");
     public static final ASAtom FORM = new ASAtom("Form");
     public static final ASAtom FORMTYPE = new ASAtom("FormType");
+    public static final ASAtom FORMULA = new ASAtom("Formula");
     public static final ASAtom FREE_TEXT = new ASAtom("FreeText");
     public static final ASAtom FRM = new ASAtom("FRM");
     public static final ASAtom FS = new ASAtom("FS");

src/main/java/org/verapdf/pd/PDAnnotation.java

@@ -280,4 +280,14 @@ public PD3DStream get3DD() {
 		}
 		return null;
 	}
+
+    public static Boolean isOutsideCropBox(PDPage page, PDAnnotation annotation) {
+        double[] cropBox = page.getCropBox();
+        double[] rectangle = annotation.getRect();
+        if (rectangle != null && rectangle.length >= 4) {
+            return cropBox[1] >= rectangle[3] || cropBox[0] >= rectangle[2]
+                    || cropBox[3] <= rectangle[1] || cropBox[2] <= rectangle[0];
+        }
+        return null;
+    }
 }