Class Node.SideEffectFlags

  • Enclosing class:
    Node

    public static class Node.SideEffectFlags
    extends java.lang.Object
    A helper class for getting and setting the side-effect flags.
    • Constructor Detail

      • SideEffectFlags

        public SideEffectFlags()
      • SideEffectFlags

        public SideEffectFlags​(int value)
    • Method Detail

      • valueOf

        public int valueOf()
      • setAllFlags

        public void setAllFlags()
        All side-effect occur and the returned results are non-local.
      • clearAllFlags

        public void clearAllFlags()
        No side-effects occur and the returned results are local.
      • areAllFlagsSet

        public boolean areAllFlagsSet()
      • clearSideEffectFlags

        public void clearSideEffectFlags()
        Preserve the return result flag, but clear the others: no global state change, no throws, no this change, no arguments change
      • setMutatesGlobalState

        public void setMutatesGlobalState()
      • setThrows

        public void setThrows()
      • setMutatesThis

        public void setMutatesThis()
      • setMutatesArguments

        public void setMutatesArguments()
      • setReturnsTainted

        public void setReturnsTainted()