Add preserves_all helper

Summary: Make it easier for pure analysis passes to mark their property interactions.

Reviewed By: jimmycFB

Differential Revision: D47448886

fbshipit-source-id: 2c9e3148a0dcf7faa2430f9179d9ee4a176dd1d4

libredex/RedexProperties.h

@@ -71,4 +71,26 @@ inline const PropertyName UltralightCodePatterns("UltralightCodePatterns");
 
 } // namespace names
 
+namespace simple {
+
+// Only use for plain analysis passes. Otherwise it may be better to be
+// explicit.
+inline PropertyInteractions preserves_all() {
+  using namespace redex_properties::interactions;
+  using namespace redex_properties::names;
+  return {
+      {DexLimitsObeyed, Preserves},
+      {HasSourceBlocks, Preserves},
+      {NeedsEverythingPublic, Preserves},
+      {NeedsInjectionIdLowering, Preserves},
+      {NoInitClassInstructions, Preserves},
+      {NoResolvablePureRefs, Preserves},
+      {NoSpuriousGetClassCalls, Preserves},
+      {RenameClass, Preserves},
+      {UltralightCodePatterns, Preserves},
+  };
+}
+
+} // namespace simple
+
 } // namespace redex_properties